argc=5
-M 1024
file2=30_select_Case6.158_starter_15_
checking files mod 1024 from 0 to 1023
case_no=170 label=Case6.158 nb_sol=0 ticks=558773 tps=100 nb_sec=5587
case_no=170 label=Case6.158 nb_sol=0 ticks=571374 tps=100 nb_sec=5713
case_no=170 label=Case6.158 nb_sol=0 ticks=711800 tps=100 nb_sec=7118
case_no=170 label=Case6.158 nb_sol=0 ticks=483959 tps=100 nb_sec=4839
case_no=170 label=Case6.158 nb_sol=0 ticks=450838 tps=100 nb_sec=4508
case_no=170 label=Case6.158 nb_sol=0 ticks=480517 tps=100 nb_sec=4805
case_no=170 label=Case6.158 nb_sol=0 ticks=548571 tps=100 nb_sec=5485
case_no=170 label=Case6.158 nb_sol=0 ticks=263055 tps=100 nb_sec=2630
case_no=170 label=Case6.158 nb_sol=0 ticks=444695 tps=100 nb_sec=4446
case_no=170 label=Case6.158 nb_sol=0 ticks=457892 tps=100 nb_sec=4578
case_no=170 label=Case6.158 nb_sol=0 ticks=943149 tps=100 nb_sec=9431
case_no=170 label=Case6.158 nb_sol=0 ticks=715085 tps=100 nb_sec=7150
case_no=170 label=Case6.158 nb_sol=0 ticks=766965 tps=100 nb_sec=7669
case_no=170 label=Case6.158 nb_sol=0 ticks=674795 tps=100 nb_sec=6747
case_no=170 label=Case6.158 nb_sol=0 ticks=492820 tps=100 nb_sec=4928
case_no=170 label=Case6.158 nb_sol=0 ticks=561843 tps=100 nb_sec=5618
case_no=170 label=Case6.158 nb_sol=0 ticks=477769 tps=100 nb_sec=4777
case_no=170 label=Case6.158 nb_sol=0 ticks=726835 tps=100 nb_sec=7268
case_no=170 label=Case6.158 nb_sol=0 ticks=617793 tps=100 nb_sec=6177
case_no=170 label=Case6.158 nb_sol=0 ticks=478522 tps=100 nb_sec=4785
case_no=170 label=Case6.158 nb_sol=0 ticks=642890 tps=100 nb_sec=6428
case_no=170 label=Case6.158 nb_sol=0 ticks=1351716 tps=100 nb_sec=13517
case_no=170 label=Case6.158 nb_sol=0 ticks=314954 tps=100 nb_sec=3149
case_no=170 label=Case6.158 nb_sol=0 ticks=492245 tps=100 nb_sec=4922
case_no=170 label=Case6.158 nb_sol=0 ticks=774646 tps=100 nb_sec=7746
case_no=170 label=Case6.158 nb_sol=0 ticks=873076 tps=100 nb_sec=8730
case_no=170 label=Case6.158 nb_sol=0 ticks=1097734 tps=100 nb_sec=10977
case_no=170 label=Case6.158 nb_sol=0 ticks=778765 tps=100 nb_sec=7787
case_no=170 label=Case6.158 nb_sol=0 ticks=643846 tps=100 nb_sec=6438
case_no=170 label=Case6.158 nb_sol=0 ticks=703095 tps=100 nb_sec=7030
case_no=170 label=Case6.158 nb_sol=0 ticks=410150 tps=100 nb_sec=4101
case_no=170 label=Case6.158 nb_sol=0 ticks=483253 tps=100 nb_sec=4832
case_no=170 label=Case6.158 nb_sol=0 ticks=629035 tps=100 nb_sec=6290
case_no=170 label=Case6.158 nb_sol=0 ticks=1062256 tps=100 nb_sec=10622
case_no=170 label=Case6.158 nb_sol=0 ticks=712257 tps=100 nb_sec=7122
case_no=170 label=Case6.158 nb_sol=0 ticks=540360 tps=100 nb_sec=5403
case_no=170 label=Case6.158 nb_sol=0 ticks=556318 tps=100 nb_sec=5563
case_no=170 label=Case6.158 nb_sol=0 ticks=446655 tps=100 nb_sec=4466
case_no=170 label=Case6.158 nb_sol=0 ticks=659408 tps=100 nb_sec=6594
case_no=170 label=Case6.158 nb_sol=0 ticks=398065 tps=100 nb_sec=3980
case_no=170 label=Case6.158 nb_sol=0 ticks=858157 tps=100 nb_sec=8581
case_no=170 label=Case6.158 nb_sol=0 ticks=556261 tps=100 nb_sec=5562
case_no=170 label=Case6.158 nb_sol=0 ticks=610080 tps=100 nb_sec=6100
case_no=170 label=Case6.158 nb_sol=0 ticks=465830 tps=100 nb_sec=4658
case_no=170 label=Case6.158 nb_sol=0 ticks=613893 tps=100 nb_sec=6138
case_no=170 label=Case6.158 nb_sol=0 ticks=532012 tps=100 nb_sec=5320
case_no=170 label=Case6.158 nb_sol=0 ticks=554704 tps=100 nb_sec=5547
case_no=170 label=Case6.158 nb_sol=0 ticks=969419 tps=100 nb_sec=9694
case_no=170 label=Case6.158 nb_sol=0 ticks=349920 tps=100 nb_sec=3499
case_no=170 label=Case6.158 nb_sol=0 ticks=656881 tps=100 nb_sec=6568
case_no=170 label=Case6.158 nb_sol=0 ticks=432684 tps=100 nb_sec=4326
case_no=170 label=Case6.158 nb_sol=0 ticks=701297 tps=100 nb_sec=7012
case_no=170 label=Case6.158 nb_sol=0 ticks=341265 tps=100 nb_sec=3412
case_no=170 label=Case6.158 nb_sol=0 ticks=603103 tps=100 nb_sec=6031
case_no=170 label=Case6.158 nb_sol=0 ticks=272714 tps=100 nb_sec=2727
case_no=170 label=Case6.158 nb_sol=0 ticks=655742 tps=100 nb_sec=6557
case_no=170 label=Case6.158 nb_sol=0 ticks=506110 tps=100 nb_sec=5061
case_no=170 label=Case6.158 nb_sol=0 ticks=604487 tps=100 nb_sec=6044
case_no=170 label=Case6.158 nb_sol=0 ticks=748009 tps=100 nb_sec=7480
case_no=170 label=Case6.158 nb_sol=0 ticks=608059 tps=100 nb_sec=6080
case_no=170 label=Case6.158 nb_sol=0 ticks=307872 tps=100 nb_sec=3078
case_no=170 label=Case6.158 nb_sol=0 ticks=494462 tps=100 nb_sec=4944
case_no=170 label=Case6.158 nb_sol=0 ticks=722914 tps=100 nb_sec=7229
case_no=170 label=Case6.158 nb_sol=0 ticks=650065 tps=100 nb_sec=6500
case_no=170 label=Case6.158 nb_sol=0 ticks=246471 tps=100 nb_sec=2464
case_no=170 label=Case6.158 nb_sol=0 ticks=774711 tps=100 nb_sec=7747
case_no=170 label=Case6.158 nb_sol=0 ticks=278546 tps=100 nb_sec=2785
case_no=170 label=Case6.158 nb_sol=0 ticks=568032 tps=100 nb_sec=5680
case_no=170 label=Case6.158 nb_sol=0 ticks=371191 tps=100 nb_sec=3711
case_no=170 label=Case6.158 nb_sol=0 ticks=586219 tps=100 nb_sec=5862
case_no=170 label=Case6.158 nb_sol=0 ticks=763620 tps=100 nb_sec=7636
case_no=170 label=Case6.158 nb_sol=0 ticks=547104 tps=100 nb_sec=5471
case_no=170 label=Case6.158 nb_sol=0 ticks=683922 tps=100 nb_sec=6839
case_no=170 label=Case6.158 nb_sol=0 ticks=684751 tps=100 nb_sec=6847
case_no=170 label=Case6.158 nb_sol=0 ticks=714542 tps=100 nb_sec=7145
case_no=170 label=Case6.158 nb_sol=0 ticks=809234 tps=100 nb_sec=8092
case_no=170 label=Case6.158 nb_sol=0 ticks=747259 tps=100 nb_sec=7472
case_no=170 label=Case6.158 nb_sol=0 ticks=1005616 tps=100 nb_sec=10056
case_no=170 label=Case6.158 nb_sol=0 ticks=1261467 tps=100 nb_sec=12614
case_no=170 label=Case6.158 nb_sol=0 ticks=889007 tps=100 nb_sec=8890
case_no=170 label=Case6.158 nb_sol=0 ticks=775397 tps=100 nb_sec=7753
case_no=170 label=Case6.158 nb_sol=0 ticks=953545 tps=100 nb_sec=9535
case_no=170 label=Case6.158 nb_sol=0 ticks=769509 tps=100 nb_sec=7695
case_no=170 label=Case6.158 nb_sol=0 ticks=867236 tps=100 nb_sec=8672
case_no=170 label=Case6.158 nb_sol=0 ticks=1004956 tps=100 nb_sec=10049
case_no=170 label=Case6.158 nb_sol=0 ticks=772137 tps=100 nb_sec=7721
case_no=170 label=Case6.158 nb_sol=0 ticks=749245 tps=100 nb_sec=7492
case_no=170 label=Case6.158 nb_sol=0 ticks=1082514 tps=100 nb_sec=10825
case_no=170 label=Case6.158 nb_sol=0 ticks=879003 tps=100 nb_sec=8790
case_no=170 label=Case6.158 nb_sol=0 ticks=917389 tps=100 nb_sec=9173
case_no=170 label=Case6.158 nb_sol=0 ticks=1050084 tps=100 nb_sec=10500
case_no=170 label=Case6.158 nb_sol=0 ticks=704832 tps=100 nb_sec=7048
case_no=170 label=Case6.158 nb_sol=0 ticks=518323 tps=100 nb_sec=5183
case_no=170 label=Case6.158 nb_sol=0 ticks=911442 tps=100 nb_sec=9114
case_no=170 label=Case6.158 nb_sol=0 ticks=852542 tps=100 nb_sec=8525
case_no=170 label=Case6.158 nb_sol=0 ticks=765779 tps=100 nb_sec=7657
case_no=170 label=Case6.158 nb_sol=0 ticks=760191 tps=100 nb_sec=7601
case_no=170 label=Case6.158 nb_sol=0 ticks=996560 tps=100 nb_sec=9965
case_no=170 label=Case6.158 nb_sol=0 ticks=1217659 tps=100 nb_sec=12176
case_no=170 label=Case6.158 nb_sol=0 ticks=640271 tps=100 nb_sec=6402
case_no=170 label=Case6.158 nb_sol=0 ticks=1211178 tps=100 nb_sec=12111
case_no=170 label=Case6.158 nb_sol=0 ticks=540597 tps=100 nb_sec=5405
case_no=170 label=Case6.158 nb_sol=0 ticks=851366 tps=100 nb_sec=8513
case_no=170 label=Case6.158 nb_sol=0 ticks=1066910 tps=100 nb_sec=10669
case_no=170 label=Case6.158 nb_sol=0 ticks=503639 tps=100 nb_sec=5036
case_no=170 label=Case6.158 nb_sol=0 ticks=840759 tps=100 nb_sec=8407
case_no=170 label=Case6.158 nb_sol=0 ticks=996364 tps=100 nb_sec=9963
case_no=170 label=Case6.158 nb_sol=0 ticks=665987 tps=100 nb_sec=6659
case_no=170 label=Case6.158 nb_sol=0 ticks=520363 tps=100 nb_sec=5203
case_no=170 label=Case6.158 nb_sol=0 ticks=871834 tps=100 nb_sec=8718
case_no=170 label=Case6.158 nb_sol=0 ticks=332605 tps=100 nb_sec=3326
case_no=170 label=Case6.158 nb_sol=0 ticks=853419 tps=100 nb_sec=8534
case_no=170 label=Case6.158 nb_sol=0 ticks=789181 tps=100 nb_sec=7891
case_no=170 label=Case6.158 nb_sol=0 ticks=338477 tps=100 nb_sec=3384
case_no=170 label=Case6.158 nb_sol=0 ticks=718507 tps=100 nb_sec=7185
case_no=170 label=Case6.158 nb_sol=0 ticks=770708 tps=100 nb_sec=7707
case_no=170 label=Case6.158 nb_sol=0 ticks=783132 tps=100 nb_sec=7831
case_no=170 label=Case6.158 nb_sol=0 ticks=593906 tps=100 nb_sec=5939
case_no=170 label=Case6.158 nb_sol=0 ticks=739684 tps=100 nb_sec=7396
case_no=170 label=Case6.158 nb_sol=0 ticks=705857 tps=100 nb_sec=7058
case_no=170 label=Case6.158 nb_sol=0 ticks=590698 tps=100 nb_sec=5906
case_no=170 label=Case6.158 nb_sol=0 ticks=601406 tps=100 nb_sec=6014
case_no=170 label=Case6.158 nb_sol=0 ticks=745429 tps=100 nb_sec=7454
case_no=170 label=Case6.158 nb_sol=0 ticks=630338 tps=100 nb_sec=6303
case_no=170 label=Case6.158 nb_sol=0 ticks=781119 tps=100 nb_sec=7811
case_no=170 label=Case6.158 nb_sol=0 ticks=657391 tps=100 nb_sec=6573
case_no=170 label=Case6.158 nb_sol=0 ticks=687241 tps=100 nb_sec=6872
case_no=170 label=Case6.158 nb_sol=0 ticks=657540 tps=100 nb_sec=6575
case_no=170 label=Case6.158 nb_sol=0 ticks=654426 tps=100 nb_sec=6544
case_no=170 label=Case6.158 nb_sol=0 ticks=685440 tps=100 nb_sec=6854
case_no=170 label=Case6.158 nb_sol=0 ticks=724856 tps=100 nb_sec=7248
case_no=170 label=Case6.158 nb_sol=0 ticks=582965 tps=100 nb_sec=5829
case_no=170 label=Case6.158 nb_sol=0 ticks=634288 tps=100 nb_sec=6342
case_no=170 label=Case6.158 nb_sol=0 ticks=582693 tps=100 nb_sec=5826
case_no=170 label=Case6.158 nb_sol=0 ticks=776141 tps=100 nb_sec=7761
case_no=170 label=Case6.158 nb_sol=0 ticks=849400 tps=100 nb_sec=8494
case_no=170 label=Case6.158 nb_sol=0 ticks=631284 tps=100 nb_sec=6312
case_no=170 label=Case6.158 nb_sol=0 ticks=759425 tps=100 nb_sec=7594
case_no=170 label=Case6.158 nb_sol=0 ticks=912922 tps=100 nb_sec=9129
case_no=170 label=Case6.158 nb_sol=0 ticks=735150 tps=100 nb_sec=7351
case_no=170 label=Case6.158 nb_sol=0 ticks=855800 tps=100 nb_sec=8558
case_no=170 label=Case6.158 nb_sol=0 ticks=643014 tps=100 nb_sec=6430
case_no=170 label=Case6.158 nb_sol=0 ticks=776276 tps=100 nb_sec=7762
case_no=170 label=Case6.158 nb_sol=0 ticks=485490 tps=100 nb_sec=4854
case_no=170 label=Case6.158 nb_sol=0 ticks=700039 tps=100 nb_sec=7000
case_no=170 label=Case6.158 nb_sol=0 ticks=528470 tps=100 nb_sec=5284
case_no=170 label=Case6.158 nb_sol=0 ticks=420552 tps=100 nb_sec=4205
case_no=170 label=Case6.158 nb_sol=0 ticks=238963 tps=100 nb_sec=2389
case_no=170 label=Case6.158 nb_sol=0 ticks=669264 tps=100 nb_sec=6692
case_no=170 label=Case6.158 nb_sol=0 ticks=329009 tps=100 nb_sec=3290
case_no=170 label=Case6.158 nb_sol=0 ticks=794751 tps=100 nb_sec=7947
case_no=170 label=Case6.158 nb_sol=0 ticks=591850 tps=100 nb_sec=5918
case_no=170 label=Case6.158 nb_sol=0 ticks=687579 tps=100 nb_sec=6875
case_no=170 label=Case6.158 nb_sol=0 ticks=578549 tps=100 nb_sec=5785
case_no=170 label=Case6.158 nb_sol=0 ticks=669707 tps=100 nb_sec=6697
case_no=170 label=Case6.158 nb_sol=0 ticks=620381 tps=100 nb_sec=6203
case_no=170 label=Case6.158 nb_sol=0 ticks=736135 tps=100 nb_sec=7361
case_no=170 label=Case6.158 nb_sol=0 ticks=764348 tps=100 nb_sec=7643
case_no=170 label=Case6.158 nb_sol=0 ticks=663733 tps=100 nb_sec=6637
case_no=170 label=Case6.158 nb_sol=0 ticks=670612 tps=100 nb_sec=6706
case_no=170 label=Case6.158 nb_sol=0 ticks=421049 tps=100 nb_sec=4210
case_no=170 label=Case6.158 nb_sol=0 ticks=566945 tps=100 nb_sec=5669
case_no=170 label=Case6.158 nb_sol=0 ticks=658323 tps=100 nb_sec=6583
case_no=170 label=Case6.158 nb_sol=0 ticks=673027 tps=100 nb_sec=6730
case_no=170 label=Case6.158 nb_sol=0 ticks=602685 tps=100 nb_sec=6026
case_no=170 label=Case6.158 nb_sol=0 ticks=550027 tps=100 nb_sec=5500
case_no=170 label=Case6.158 nb_sol=0 ticks=651609 tps=100 nb_sec=6516
case_no=170 label=Case6.158 nb_sol=0 ticks=630696 tps=100 nb_sec=6306
case_no=170 label=Case6.158 nb_sol=0 ticks=630222 tps=100 nb_sec=6302
case_no=170 label=Case6.158 nb_sol=0 ticks=659300 tps=100 nb_sec=6593
case_no=170 label=Case6.158 nb_sol=0 ticks=760288 tps=100 nb_sec=7602
case_no=170 label=Case6.158 nb_sol=0 ticks=704271 tps=100 nb_sec=7042
case_no=170 label=Case6.158 nb_sol=0 ticks=596596 tps=100 nb_sec=5965
case_no=170 label=Case6.158 nb_sol=0 ticks=859825 tps=100 nb_sec=8598
case_no=170 label=Case6.158 nb_sol=0 ticks=377594 tps=100 nb_sec=3775
case_no=170 label=Case6.158 nb_sol=0 ticks=605929 tps=100 nb_sec=6059
case_no=170 label=Case6.158 nb_sol=0 ticks=449506 tps=100 nb_sec=4495
case_no=170 label=Case6.158 nb_sol=0 ticks=733053 tps=100 nb_sec=7330
case_no=170 label=Case6.158 nb_sol=0 ticks=565737 tps=100 nb_sec=5657
case_no=170 label=Case6.158 nb_sol=0 ticks=717556 tps=100 nb_sec=7175
case_no=170 label=Case6.158 nb_sol=0 ticks=547197 tps=100 nb_sec=5471
case_no=170 label=Case6.158 nb_sol=0 ticks=610399 tps=100 nb_sec=6103
case_no=170 label=Case6.158 nb_sol=0 ticks=370712 tps=100 nb_sec=3707
case_no=170 label=Case6.158 nb_sol=0 ticks=506293 tps=100 nb_sec=5062
case_no=170 label=Case6.158 nb_sol=0 ticks=479198 tps=100 nb_sec=4791
case_no=170 label=Case6.158 nb_sol=0 ticks=440967 tps=100 nb_sec=4409
case_no=170 label=Case6.158 nb_sol=0 ticks=461515 tps=100 nb_sec=4615
case_no=170 label=Case6.158 nb_sol=0 ticks=749716 tps=100 nb_sec=7497
case_no=170 label=Case6.158 nb_sol=0 ticks=626299 tps=100 nb_sec=6262
case_no=170 label=Case6.158 nb_sol=0 ticks=436824 tps=100 nb_sec=4368
case_no=170 label=Case6.158 nb_sol=0 ticks=352853 tps=100 nb_sec=3528
case_no=170 label=Case6.158 nb_sol=0 ticks=740628 tps=100 nb_sec=7406
case_no=170 label=Case6.158 nb_sol=0 ticks=580598 tps=100 nb_sec=5805
case_no=170 label=Case6.158 nb_sol=0 ticks=729205 tps=100 nb_sec=7292
case_no=170 label=Case6.158 nb_sol=0 ticks=279062 tps=100 nb_sec=2790
case_no=170 label=Case6.158 nb_sol=0 ticks=618133 tps=100 nb_sec=6181
case_no=170 label=Case6.158 nb_sol=0 ticks=647452 tps=100 nb_sec=6474
case_no=170 label=Case6.158 nb_sol=0 ticks=649750 tps=100 nb_sec=6497
case_no=170 label=Case6.158 nb_sol=0 ticks=311228 tps=100 nb_sec=3112
case_no=170 label=Case6.158 nb_sol=0 ticks=679675 tps=100 nb_sec=6796
case_no=170 label=Case6.158 nb_sol=0 ticks=735355 tps=100 nb_sec=7353
case_no=170 label=Case6.158 nb_sol=0 ticks=607859 tps=100 nb_sec=6078
case_no=170 label=Case6.158 nb_sol=0 ticks=415723 tps=100 nb_sec=4157
case_no=170 label=Case6.158 nb_sol=0 ticks=312977 tps=100 nb_sec=3129
case_no=170 label=Case6.158 nb_sol=0 ticks=611515 tps=100 nb_sec=6115
case_no=170 label=Case6.158 nb_sol=0 ticks=621463 tps=100 nb_sec=6214
case_no=170 label=Case6.158 nb_sol=0 ticks=562493 tps=100 nb_sec=5624
case_no=170 label=Case6.158 nb_sol=0 ticks=585326 tps=100 nb_sec=5853
case_no=170 label=Case6.158 nb_sol=0 ticks=275421 tps=100 nb_sec=2754
case_no=170 label=Case6.158 nb_sol=0 ticks=318496 tps=100 nb_sec=3184
case_no=170 label=Case6.158 nb_sol=0 ticks=344183 tps=100 nb_sec=3441
case_no=170 label=Case6.158 nb_sol=0 ticks=321233 tps=100 nb_sec=3212
case_no=170 label=Case6.158 nb_sol=0 ticks=333809 tps=100 nb_sec=3338
case_no=170 label=Case6.158 nb_sol=0 ticks=307855 tps=100 nb_sec=3078
case_no=170 label=Case6.158 nb_sol=0 ticks=427884 tps=100 nb_sec=4278
case_no=170 label=Case6.158 nb_sol=0 ticks=386538 tps=100 nb_sec=3865
case_no=170 label=Case6.158 nb_sol=0 ticks=350355 tps=100 nb_sec=3503
case_no=170 label=Case6.158 nb_sol=0 ticks=408678 tps=100 nb_sec=4086
case_no=170 label=Case6.158 nb_sol=0 ticks=372019 tps=100 nb_sec=3720
case_no=170 label=Case6.158 nb_sol=0 ticks=547369 tps=100 nb_sec=5473
case_no=170 label=Case6.158 nb_sol=0 ticks=368247 tps=100 nb_sec=3682
case_no=170 label=Case6.158 nb_sol=0 ticks=401506 tps=100 nb_sec=4015
case_no=170 label=Case6.158 nb_sol=0 ticks=400026 tps=100 nb_sec=4000
case_no=170 label=Case6.158 nb_sol=0 ticks=715102 tps=100 nb_sec=7151
case_no=170 label=Case6.158 nb_sol=0 ticks=560558 tps=100 nb_sec=5605
case_no=170 label=Case6.158 nb_sol=0 ticks=458472 tps=100 nb_sec=4584
case_no=170 label=Case6.158 nb_sol=0 ticks=472359 tps=100 nb_sec=4723
case_no=170 label=Case6.158 nb_sol=0 ticks=746559 tps=100 nb_sec=7465
case_no=170 label=Case6.158 nb_sol=0 ticks=354473 tps=100 nb_sec=3544
case_no=170 label=Case6.158 nb_sol=0 ticks=325678 tps=100 nb_sec=3256
case_no=170 label=Case6.158 nb_sol=0 ticks=360629 tps=100 nb_sec=3606
case_no=170 label=Case6.158 nb_sol=0 ticks=366561 tps=100 nb_sec=3665
case_no=170 label=Case6.158 nb_sol=0 ticks=438366 tps=100 nb_sec=4383
case_no=170 label=Case6.158 nb_sol=0 ticks=301731 tps=100 nb_sec=3017
case_no=170 label=Case6.158 nb_sol=0 ticks=399783 tps=100 nb_sec=3997
case_no=170 label=Case6.158 nb_sol=0 ticks=443149 tps=100 nb_sec=4431
case_no=170 label=Case6.158 nb_sol=0 ticks=335527 tps=100 nb_sec=3355
case_no=170 label=Case6.158 nb_sol=0 ticks=493953 tps=100 nb_sec=4939
case_no=170 label=Case6.158 nb_sol=0 ticks=447126 tps=100 nb_sec=4471
case_no=170 label=Case6.158 nb_sol=0 ticks=700798 tps=100 nb_sec=7007
case_no=170 label=Case6.158 nb_sol=0 ticks=450919 tps=100 nb_sec=4509
case_no=170 label=Case6.158 nb_sol=0 ticks=315485 tps=100 nb_sec=3154
case_no=170 label=Case6.158 nb_sol=0 ticks=508911 tps=100 nb_sec=5089
case_no=170 label=Case6.158 nb_sol=0 ticks=394632 tps=100 nb_sec=3946
case_no=170 label=Case6.158 nb_sol=0 ticks=606485 tps=100 nb_sec=6064
case_no=170 label=Case6.158 nb_sol=0 ticks=334831 tps=100 nb_sec=3348
case_no=170 label=Case6.158 nb_sol=0 ticks=653226 tps=100 nb_sec=6532
case_no=170 label=Case6.158 nb_sol=0 ticks=315318 tps=100 nb_sec=3153
case_no=170 label=Case6.158 nb_sol=0 ticks=418826 tps=100 nb_sec=4188
case_no=170 label=Case6.158 nb_sol=0 ticks=320914 tps=100 nb_sec=3209
case_no=170 label=Case6.158 nb_sol=0 ticks=414002 tps=100 nb_sec=4140
case_no=170 label=Case6.158 nb_sol=0 ticks=724196 tps=100 nb_sec=7241
case_no=170 label=Case6.158 nb_sol=0 ticks=345174 tps=100 nb_sec=3451
case_no=170 label=Case6.158 nb_sol=0 ticks=461916 tps=100 nb_sec=4619
case_no=170 label=Case6.158 nb_sol=0 ticks=266270 tps=100 nb_sec=2662
case_no=170 label=Case6.158 nb_sol=0 ticks=712121 tps=100 nb_sec=7121
case_no=170 label=Case6.158 nb_sol=0 ticks=531842 tps=100 nb_sec=5318
case_no=170 label=Case6.158 nb_sol=0 ticks=561226 tps=100 nb_sec=5612
case_no=170 label=Case6.158 nb_sol=0 ticks=413673 tps=100 nb_sec=4136
case_no=170 label=Case6.158 nb_sol=0 ticks=494689 tps=100 nb_sec=4946
case_no=170 label=Case6.158 nb_sol=0 ticks=564299 tps=100 nb_sec=5642
case_no=170 label=Case6.158 nb_sol=0 ticks=548729 tps=100 nb_sec=5487
case_no=170 label=Case6.158 nb_sol=0 ticks=739550 tps=100 nb_sec=7395
case_no=170 label=Case6.158 nb_sol=0 ticks=408842 tps=100 nb_sec=4088
case_no=170 label=Case6.158 nb_sol=0 ticks=573417 tps=100 nb_sec=5734
case_no=170 label=Case6.158 nb_sol=0 ticks=346891 tps=100 nb_sec=3468
case_no=170 label=Case6.158 nb_sol=0 ticks=687816 tps=100 nb_sec=6878
case_no=170 label=Case6.158 nb_sol=0 ticks=722878 tps=100 nb_sec=7228
case_no=170 label=Case6.158 nb_sol=0 ticks=631034 tps=100 nb_sec=6310
case_no=170 label=Case6.158 nb_sol=0 ticks=690675 tps=100 nb_sec=6906
case_no=170 label=Case6.158 nb_sol=0 ticks=809301 tps=100 nb_sec=8093
case_no=170 label=Case6.158 nb_sol=0 ticks=726633 tps=100 nb_sec=7266
case_no=170 label=Case6.158 nb_sol=0 ticks=666735 tps=100 nb_sec=6667
case_no=170 label=Case6.158 nb_sol=0 ticks=607197 tps=100 nb_sec=6071
case_no=170 label=Case6.158 nb_sol=0 ticks=604554 tps=100 nb_sec=6045
case_no=170 label=Case6.158 nb_sol=0 ticks=340026 tps=100 nb_sec=3400
case_no=170 label=Case6.158 nb_sol=0 ticks=638937 tps=100 nb_sec=6389
case_no=170 label=Case6.158 nb_sol=0 ticks=765554 tps=100 nb_sec=7655
case_no=170 label=Case6.158 nb_sol=0 ticks=846370 tps=100 nb_sec=8463
case_no=170 label=Case6.158 nb_sol=0 ticks=642933 tps=100 nb_sec=6429
case_no=170 label=Case6.158 nb_sol=0 ticks=848812 tps=100 nb_sec=8488
case_no=170 label=Case6.158 nb_sol=0 ticks=815697 tps=100 nb_sec=8156
case_no=170 label=Case6.158 nb_sol=0 ticks=907397 tps=100 nb_sec=9073
case_no=170 label=Case6.158 nb_sol=0 ticks=806263 tps=100 nb_sec=8062
case_no=170 label=Case6.158 nb_sol=0 ticks=840301 tps=100 nb_sec=8403
case_no=170 label=Case6.158 nb_sol=0 ticks=857508 tps=100 nb_sec=8575
case_no=170 label=Case6.158 nb_sol=0 ticks=766339 tps=100 nb_sec=7663
case_no=170 label=Case6.158 nb_sol=0 ticks=452305 tps=100 nb_sec=4523
case_no=170 label=Case6.158 nb_sol=0 ticks=721842 tps=100 nb_sec=7218
case_no=170 label=Case6.158 nb_sol=0 ticks=558878 tps=100 nb_sec=5588
case_no=170 label=Case6.158 nb_sol=0 ticks=624824 tps=100 nb_sec=6248
case_no=170 label=Case6.158 nb_sol=0 ticks=546341 tps=100 nb_sec=5463
case_no=170 label=Case6.158 nb_sol=0 ticks=661666 tps=100 nb_sec=6616
case_no=170 label=Case6.158 nb_sol=0 ticks=543664 tps=100 nb_sec=5436
case_no=170 label=Case6.158 nb_sol=0 ticks=633212 tps=100 nb_sec=6332
case_no=170 label=Case6.158 nb_sol=0 ticks=547576 tps=100 nb_sec=5475
case_no=170 label=Case6.158 nb_sol=0 ticks=596305 tps=100 nb_sec=5963
case_no=170 label=Case6.158 nb_sol=0 ticks=562247 tps=100 nb_sec=5622
case_no=170 label=Case6.158 nb_sol=0 ticks=657235 tps=100 nb_sec=6572
case_no=170 label=Case6.158 nb_sol=0 ticks=720920 tps=100 nb_sec=7209
case_no=170 label=Case6.158 nb_sol=0 ticks=620028 tps=100 nb_sec=6200
case_no=170 label=Case6.158 nb_sol=0 ticks=694983 tps=100 nb_sec=6949
case_no=170 label=Case6.158 nb_sol=0 ticks=582555 tps=100 nb_sec=5825
case_no=170 label=Case6.158 nb_sol=0 ticks=374417 tps=100 nb_sec=3744
case_no=170 label=Case6.158 nb_sol=0 ticks=738778 tps=100 nb_sec=7387
case_no=170 label=Case6.158 nb_sol=0 ticks=341383 tps=100 nb_sec=3413
case_no=170 label=Case6.158 nb_sol=0 ticks=472385 tps=100 nb_sec=4723
case_no=170 label=Case6.158 nb_sol=0 ticks=465147 tps=100 nb_sec=4651
case_no=170 label=Case6.158 nb_sol=0 ticks=614465 tps=100 nb_sec=6144
case_no=170 label=Case6.158 nb_sol=0 ticks=886598 tps=100 nb_sec=8865
case_no=170 label=Case6.158 nb_sol=0 ticks=364299 tps=100 nb_sec=3642
case_no=170 label=Case6.158 nb_sol=0 ticks=297413 tps=100 nb_sec=2974
case_no=170 label=Case6.158 nb_sol=0 ticks=479566 tps=100 nb_sec=4795
case_no=170 label=Case6.158 nb_sol=0 ticks=466180 tps=100 nb_sec=4661
case_no=170 label=Case6.158 nb_sol=0 ticks=417644 tps=100 nb_sec=4176
case_no=170 label=Case6.158 nb_sol=0 ticks=528580 tps=100 nb_sec=5285
case_no=170 label=Case6.158 nb_sol=0 ticks=368214 tps=100 nb_sec=3682
case_no=170 label=Case6.158 nb_sol=0 ticks=309140 tps=100 nb_sec=3091
case_no=170 label=Case6.158 nb_sol=0 ticks=561474 tps=100 nb_sec=5614
case_no=170 label=Case6.158 nb_sol=0 ticks=494349 tps=100 nb_sec=4943
case_no=170 label=Case6.158 nb_sol=0 ticks=350535 tps=100 nb_sec=3505
case_no=170 label=Case6.158 nb_sol=0 ticks=524143 tps=100 nb_sec=5241
case_no=170 label=Case6.158 nb_sol=0 ticks=302437 tps=100 nb_sec=3024
case_no=170 label=Case6.158 nb_sol=0 ticks=665008 tps=100 nb_sec=6650
case_no=170 label=Case6.158 nb_sol=0 ticks=675593 tps=100 nb_sec=6755
case_no=170 label=Case6.158 nb_sol=0 ticks=363514 tps=100 nb_sec=3635
case_no=170 label=Case6.158 nb_sol=0 ticks=520103 tps=100 nb_sec=5201
case_no=170 label=Case6.158 nb_sol=0 ticks=306992 tps=100 nb_sec=3069
case_no=170 label=Case6.158 nb_sol=0 ticks=685499 tps=100 nb_sec=6854
case_no=170 label=Case6.158 nb_sol=0 ticks=474744 tps=100 nb_sec=4747
case_no=170 label=Case6.158 nb_sol=0 ticks=724951 tps=100 nb_sec=7249
case_no=170 label=Case6.158 nb_sol=0 ticks=362829 tps=100 nb_sec=3628
case_no=170 label=Case6.158 nb_sol=0 ticks=353321 tps=100 nb_sec=3533
case_no=170 label=Case6.158 nb_sol=0 ticks=430191 tps=100 nb_sec=4301
case_no=170 label=Case6.158 nb_sol=0 ticks=363029 tps=100 nb_sec=3630
case_no=170 label=Case6.158 nb_sol=0 ticks=512403 tps=100 nb_sec=5124
case_no=170 label=Case6.158 nb_sol=0 ticks=430039 tps=100 nb_sec=4300
case_no=170 label=Case6.158 nb_sol=0 ticks=379943 tps=100 nb_sec=3799
case_no=170 label=Case6.158 nb_sol=0 ticks=761919 tps=100 nb_sec=7619
case_no=170 label=Case6.158 nb_sol=0 ticks=650590 tps=100 nb_sec=6505
case_no=170 label=Case6.158 nb_sol=0 ticks=403994 tps=100 nb_sec=4039
case_no=170 label=Case6.158 nb_sol=0 ticks=265562 tps=100 nb_sec=2655
case_no=170 label=Case6.158 nb_sol=0 ticks=353998 tps=100 nb_sec=3539
case_no=170 label=Case6.158 nb_sol=0 ticks=660811 tps=100 nb_sec=6608
case_no=170 label=Case6.158 nb_sol=0 ticks=297402 tps=100 nb_sec=2974
case_no=170 label=Case6.158 nb_sol=0 ticks=629282 tps=100 nb_sec=6292
case_no=170 label=Case6.158 nb_sol=0 ticks=313059 tps=100 nb_sec=3130
case_no=170 label=Case6.158 nb_sol=0 ticks=561676 tps=100 nb_sec=5616
case_no=170 label=Case6.158 nb_sol=0 ticks=556121 tps=100 nb_sec=5561
case_no=170 label=Case6.158 nb_sol=0 ticks=487510 tps=100 nb_sec=4875
case_no=170 label=Case6.158 nb_sol=0 ticks=308560 tps=100 nb_sec=3085
case_no=170 label=Case6.158 nb_sol=0 ticks=308947 tps=100 nb_sec=3089
case_no=170 label=Case6.158 nb_sol=0 ticks=867961 tps=100 nb_sec=8679
case_no=170 label=Case6.158 nb_sol=0 ticks=420966 tps=100 nb_sec=4209
case_no=170 label=Case6.158 nb_sol=0 ticks=621657 tps=100 nb_sec=6216
case_no=170 label=Case6.158 nb_sol=0 ticks=571035 tps=100 nb_sec=5710
case_no=170 label=Case6.158 nb_sol=0 ticks=726175 tps=100 nb_sec=7261
case_no=170 label=Case6.158 nb_sol=0 ticks=711705 tps=100 nb_sec=7117
case_no=170 label=Case6.158 nb_sol=0 ticks=949465 tps=100 nb_sec=9494
case_no=170 label=Case6.158 nb_sol=0 ticks=880783 tps=100 nb_sec=8807
case_no=170 label=Case6.158 nb_sol=0 ticks=794215 tps=100 nb_sec=7942
case_no=170 label=Case6.158 nb_sol=0 ticks=415028 tps=100 nb_sec=4150
case_no=170 label=Case6.158 nb_sol=0 ticks=833112 tps=100 nb_sec=8331
case_no=170 label=Case6.158 nb_sol=0 ticks=666094 tps=100 nb_sec=6660
case_no=170 label=Case6.158 nb_sol=0 ticks=593192 tps=100 nb_sec=5931
case_no=170 label=Case6.158 nb_sol=0 ticks=274768 tps=100 nb_sec=2747
case_no=170 label=Case6.158 nb_sol=0 ticks=458033 tps=100 nb_sec=4580
case_no=170 label=Case6.158 nb_sol=0 ticks=515614 tps=100 nb_sec=5156
case_no=170 label=Case6.158 nb_sol=0 ticks=655791 tps=100 nb_sec=6557
case_no=170 label=Case6.158 nb_sol=0 ticks=478789 tps=100 nb_sec=4787
case_no=170 label=Case6.158 nb_sol=0 ticks=593353 tps=100 nb_sec=5933
case_no=170 label=Case6.158 nb_sol=0 ticks=607157 tps=100 nb_sec=6071
case_no=170 label=Case6.158 nb_sol=0 ticks=878667 tps=100 nb_sec=8786
case_no=170 label=Case6.158 nb_sol=0 ticks=653470 tps=100 nb_sec=6534
case_no=170 label=Case6.158 nb_sol=0 ticks=694262 tps=100 nb_sec=6942
case_no=170 label=Case6.158 nb_sol=0 ticks=692611 tps=100 nb_sec=6926
case_no=170 label=Case6.158 nb_sol=0 ticks=617615 tps=100 nb_sec=6176
case_no=170 label=Case6.158 nb_sol=0 ticks=282562 tps=100 nb_sec=2825
case_no=170 label=Case6.158 nb_sol=0 ticks=465128 tps=100 nb_sec=4651
case_no=170 label=Case6.158 nb_sol=0 ticks=604443 tps=100 nb_sec=6044
case_no=170 label=Case6.158 nb_sol=0 ticks=370952 tps=100 nb_sec=3709
case_no=170 label=Case6.158 nb_sol=0 ticks=743612 tps=100 nb_sec=7436
case_no=170 label=Case6.158 nb_sol=0 ticks=401711 tps=100 nb_sec=4017
case_no=170 label=Case6.158 nb_sol=0 ticks=506183 tps=100 nb_sec=5061
case_no=170 label=Case6.158 nb_sol=0 ticks=705548 tps=100 nb_sec=7055
case_no=170 label=Case6.158 nb_sol=0 ticks=656600 tps=100 nb_sec=6566
case_no=170 label=Case6.158 nb_sol=0 ticks=677594 tps=100 nb_sec=6775
case_no=170 label=Case6.158 nb_sol=0 ticks=352528 tps=100 nb_sec=3525
case_no=170 label=Case6.158 nb_sol=0 ticks=741091 tps=100 nb_sec=7410
case_no=170 label=Case6.158 nb_sol=0 ticks=685808 tps=100 nb_sec=6858
case_no=170 label=Case6.158 nb_sol=0 ticks=827830 tps=100 nb_sec=8278
case_no=170 label=Case6.158 nb_sol=0 ticks=359680 tps=100 nb_sec=3596
case_no=170 label=Case6.158 nb_sol=0 ticks=449456 tps=100 nb_sec=4494
case_no=170 label=Case6.158 nb_sol=0 ticks=449890 tps=100 nb_sec=4498
case_no=170 label=Case6.158 nb_sol=0 ticks=707997 tps=100 nb_sec=7079
case_no=170 label=Case6.158 nb_sol=0 ticks=661375 tps=100 nb_sec=6613
case_no=170 label=Case6.158 nb_sol=0 ticks=692982 tps=100 nb_sec=6929
case_no=170 label=Case6.158 nb_sol=0 ticks=647529 tps=100 nb_sec=6475
case_no=170 label=Case6.158 nb_sol=0 ticks=828758 tps=100 nb_sec=8287
case_no=170 label=Case6.158 nb_sol=0 ticks=592266 tps=100 nb_sec=5922
case_no=170 label=Case6.158 nb_sol=0 ticks=580044 tps=100 nb_sec=5800
case_no=170 label=Case6.158 nb_sol=0 ticks=641002 tps=100 nb_sec=6410
case_no=170 label=Case6.158 nb_sol=0 ticks=536406 tps=100 nb_sec=5364
case_no=170 label=Case6.158 nb_sol=0 ticks=746397 tps=100 nb_sec=7463
case_no=170 label=Case6.158 nb_sol=0 ticks=661069 tps=100 nb_sec=6610
case_no=170 label=Case6.158 nb_sol=0 ticks=740368 tps=100 nb_sec=7403
case_no=170 label=Case6.158 nb_sol=0 ticks=617607 tps=100 nb_sec=6176
case_no=170 label=Case6.158 nb_sol=0 ticks=715844 tps=100 nb_sec=7158
case_no=170 label=Case6.158 nb_sol=0 ticks=494407 tps=100 nb_sec=4944
case_no=170 label=Case6.158 nb_sol=0 ticks=679646 tps=100 nb_sec=6796
case_no=170 label=Case6.158 nb_sol=0 ticks=928352 tps=100 nb_sec=9283
case_no=170 label=Case6.158 nb_sol=0 ticks=433462 tps=100 nb_sec=4334
case_no=170 label=Case6.158 nb_sol=0 ticks=639035 tps=100 nb_sec=6390
case_no=170 label=Case6.158 nb_sol=0 ticks=764418 tps=100 nb_sec=7644
case_no=170 label=Case6.158 nb_sol=0 ticks=331601 tps=100 nb_sec=3316
case_no=170 label=Case6.158 nb_sol=0 ticks=523536 tps=100 nb_sec=5235
case_no=170 label=Case6.158 nb_sol=0 ticks=452034 tps=100 nb_sec=4520
case_no=170 label=Case6.158 nb_sol=0 ticks=521366 tps=100 nb_sec=5213
case_no=170 label=Case6.158 nb_sol=0 ticks=630011 tps=100 nb_sec=6300
case_no=170 label=Case6.158 nb_sol=0 ticks=363418 tps=100 nb_sec=3634
case_no=170 label=Case6.158 nb_sol=0 ticks=557361 tps=100 nb_sec=5573
case_no=170 label=Case6.158 nb_sol=0 ticks=266119 tps=100 nb_sec=2661
case_no=170 label=Case6.158 nb_sol=0 ticks=736834 tps=100 nb_sec=7368
case_no=170 label=Case6.158 nb_sol=0 ticks=862962 tps=100 nb_sec=8629
case_no=170 label=Case6.158 nb_sol=0 ticks=417236 tps=100 nb_sec=4172
case_no=170 label=Case6.158 nb_sol=0 ticks=506910 tps=100 nb_sec=5069
case_no=170 label=Case6.158 nb_sol=0 ticks=320827 tps=100 nb_sec=3208
case_no=170 label=Case6.158 nb_sol=0 ticks=794606 tps=100 nb_sec=7946
case_no=170 label=Case6.158 nb_sol=0 ticks=748417 tps=100 nb_sec=7484
case_no=170 label=Case6.158 nb_sol=0 ticks=572836 tps=100 nb_sec=5728
case_no=170 label=Case6.158 nb_sol=0 ticks=747909 tps=100 nb_sec=7479
case_no=170 label=Case6.158 nb_sol=0 ticks=307407 tps=100 nb_sec=3074
case_no=170 label=Case6.158 nb_sol=0 ticks=918167 tps=100 nb_sec=9181
case_no=170 label=Case6.158 nb_sol=0 ticks=331385 tps=100 nb_sec=3313
case_no=170 label=Case6.158 nb_sol=0 ticks=777822 tps=100 nb_sec=7778
case_no=170 label=Case6.158 nb_sol=0 ticks=783686 tps=100 nb_sec=7836
case_no=170 label=Case6.158 nb_sol=0 ticks=579403 tps=100 nb_sec=5794
case_no=170 label=Case6.158 nb_sol=0 ticks=372613 tps=100 nb_sec=3726
case_no=170 label=Case6.158 nb_sol=0 ticks=799202 tps=100 nb_sec=7992
case_no=170 label=Case6.158 nb_sol=0 ticks=634639 tps=100 nb_sec=6346
case_no=170 label=Case6.158 nb_sol=0 ticks=732479 tps=100 nb_sec=7324
case_no=170 label=Case6.158 nb_sol=0 ticks=355554 tps=100 nb_sec=3555
case_no=170 label=Case6.158 nb_sol=0 ticks=741890 tps=100 nb_sec=7418
case_no=170 label=Case6.158 nb_sol=0 ticks=425964 tps=100 nb_sec=4259
case_no=170 label=Case6.158 nb_sol=0 ticks=410500 tps=100 nb_sec=4105
case_no=170 label=Case6.158 nb_sol=0 ticks=572790 tps=100 nb_sec=5727
case_no=170 label=Case6.158 nb_sol=0 ticks=645089 tps=100 nb_sec=6450
case_no=170 label=Case6.158 nb_sol=0 ticks=518669 tps=100 nb_sec=5186
case_no=170 label=Case6.158 nb_sol=0 ticks=717791 tps=100 nb_sec=7177
case_no=170 label=Case6.158 nb_sol=0 ticks=307046 tps=100 nb_sec=3070
case_no=170 label=Case6.158 nb_sol=0 ticks=437311 tps=100 nb_sec=4373
case_no=170 label=Case6.158 nb_sol=0 ticks=335020 tps=100 nb_sec=3350
case_no=170 label=Case6.158 nb_sol=0 ticks=336308 tps=100 nb_sec=3363
case_no=170 label=Case6.158 nb_sol=0 ticks=624516 tps=100 nb_sec=6245
case_no=170 label=Case6.158 nb_sol=0 ticks=315902 tps=100 nb_sec=3159
case_no=170 label=Case6.158 nb_sol=0 ticks=682606 tps=100 nb_sec=6826
case_no=170 label=Case6.158 nb_sol=0 ticks=258893 tps=100 nb_sec=2588
case_no=170 label=Case6.158 nb_sol=0 ticks=309485 tps=100 nb_sec=3094
case_no=170 label=Case6.158 nb_sol=0 ticks=634780 tps=100 nb_sec=6347
case_no=170 label=Case6.158 nb_sol=0 ticks=320911 tps=100 nb_sec=3209
case_no=170 label=Case6.158 nb_sol=0 ticks=1003817 tps=100 nb_sec=10038
case_no=170 label=Case6.158 nb_sol=0 ticks=360109 tps=100 nb_sec=3601
case_no=170 label=Case6.158 nb_sol=0 ticks=812801 tps=100 nb_sec=8128
case_no=170 label=Case6.158 nb_sol=0 ticks=674752 tps=100 nb_sec=6747
case_no=170 label=Case6.158 nb_sol=0 ticks=507522 tps=100 nb_sec=5075
case_no=170 label=Case6.158 nb_sol=0 ticks=576505 tps=100 nb_sec=5765
case_no=170 label=Case6.158 nb_sol=0 ticks=713916 tps=100 nb_sec=7139
case_no=170 label=Case6.158 nb_sol=0 ticks=595373 tps=100 nb_sec=5953
case_no=170 label=Case6.158 nb_sol=0 ticks=407117 tps=100 nb_sec=4071
case_no=170 label=Case6.158 nb_sol=0 ticks=554715 tps=100 nb_sec=5547
case_no=170 label=Case6.158 nb_sol=0 ticks=411470 tps=100 nb_sec=4114
case_no=170 label=Case6.158 nb_sol=0 ticks=422228 tps=100 nb_sec=4222
case_no=170 label=Case6.158 nb_sol=0 ticks=407033 tps=100 nb_sec=4070
case_no=170 label=Case6.158 nb_sol=0 ticks=377962 tps=100 nb_sec=3779
case_no=170 label=Case6.158 nb_sol=0 ticks=520024 tps=100 nb_sec=5200
case_no=170 label=Case6.158 nb_sol=0 ticks=711942 tps=100 nb_sec=7119
case_no=170 label=Case6.158 nb_sol=0 ticks=1039263 tps=100 nb_sec=10392
case_no=170 label=Case6.158 nb_sol=0 ticks=608927 tps=100 nb_sec=6089
case_no=170 label=Case6.158 nb_sol=0 ticks=554976 tps=100 nb_sec=5549
case_no=170 label=Case6.158 nb_sol=0 ticks=318591 tps=100 nb_sec=3185
case_no=170 label=Case6.158 nb_sol=0 ticks=740206 tps=100 nb_sec=7402
case_no=170 label=Case6.158 nb_sol=0 ticks=405786 tps=100 nb_sec=4057
case_no=170 label=Case6.158 nb_sol=0 ticks=676845 tps=100 nb_sec=6768
case_no=170 label=Case6.158 nb_sol=0 ticks=589857 tps=100 nb_sec=5898
case_no=170 label=Case6.158 nb_sol=0 ticks=548421 tps=100 nb_sec=5484
case_no=170 label=Case6.158 nb_sol=0 ticks=513861 tps=100 nb_sec=5138
case_no=170 label=Case6.158 nb_sol=0 ticks=678578 tps=100 nb_sec=6785
case_no=170 label=Case6.158 nb_sol=0 ticks=696742 tps=100 nb_sec=6967
case_no=170 label=Case6.158 nb_sol=0 ticks=973319 tps=100 nb_sec=9733
case_no=170 label=Case6.158 nb_sol=0 ticks=827448 tps=100 nb_sec=8274
case_no=170 label=Case6.158 nb_sol=0 ticks=652297 tps=100 nb_sec=6522
case_no=170 label=Case6.158 nb_sol=0 ticks=570835 tps=100 nb_sec=5708
case_no=170 label=Case6.158 nb_sol=0 ticks=699479 tps=100 nb_sec=6994
case_no=170 label=Case6.158 nb_sol=0 ticks=618283 tps=100 nb_sec=6182
case_no=170 label=Case6.158 nb_sol=0 ticks=622836 tps=100 nb_sec=6228
case_no=170 label=Case6.158 nb_sol=0 ticks=645579 tps=100 nb_sec=6455
case_no=170 label=Case6.158 nb_sol=0 ticks=602343 tps=100 nb_sec=6023
case_no=170 label=Case6.158 nb_sol=0 ticks=561346 tps=100 nb_sec=5613
case_no=170 label=Case6.158 nb_sol=0 ticks=704609 tps=100 nb_sec=7046
case_no=170 label=Case6.158 nb_sol=0 ticks=712462 tps=100 nb_sec=7124
case_no=170 label=Case6.158 nb_sol=0 ticks=777145 tps=100 nb_sec=7771
case_no=170 label=Case6.158 nb_sol=0 ticks=585306 tps=100 nb_sec=5853
case_no=170 label=Case6.158 nb_sol=0 ticks=674790 tps=100 nb_sec=6747
case_no=170 label=Case6.158 nb_sol=0 ticks=711954 tps=100 nb_sec=7119
case_no=170 label=Case6.158 nb_sol=0 ticks=778021 tps=100 nb_sec=7780
case_no=170 label=Case6.158 nb_sol=0 ticks=790340 tps=100 nb_sec=7903
case_no=170 label=Case6.158 nb_sol=0 ticks=832688 tps=100 nb_sec=8326
case_no=170 label=Case6.158 nb_sol=0 ticks=753476 tps=100 nb_sec=7534
case_no=170 label=Case6.158 nb_sol=0 ticks=409056 tps=100 nb_sec=4090
case_no=170 label=Case6.158 nb_sol=0 ticks=864711 tps=100 nb_sec=8647
case_no=170 label=Case6.158 nb_sol=0 ticks=391719 tps=100 nb_sec=3917
case_no=170 label=Case6.158 nb_sol=0 ticks=642326 tps=100 nb_sec=6423
case_no=170 label=Case6.158 nb_sol=0 ticks=589671 tps=100 nb_sec=5896
case_no=170 label=Case6.158 nb_sol=0 ticks=599682 tps=100 nb_sec=5996
case_no=170 label=Case6.158 nb_sol=0 ticks=734779 tps=100 nb_sec=7347
case_no=170 label=Case6.158 nb_sol=0 ticks=603716 tps=100 nb_sec=6037
case_no=170 label=Case6.158 nb_sol=0 ticks=867587 tps=100 nb_sec=8675
case_no=170 label=Case6.158 nb_sol=0 ticks=750335 tps=100 nb_sec=7503
case_no=170 label=Case6.158 nb_sol=0 ticks=426413 tps=100 nb_sec=4264
case_no=170 label=Case6.158 nb_sol=0 ticks=545899 tps=100 nb_sec=5458
case_no=170 label=Case6.158 nb_sol=0 ticks=804608 tps=100 nb_sec=8046
case_no=170 label=Case6.158 nb_sol=0 ticks=642333 tps=100 nb_sec=6423
case_no=170 label=Case6.158 nb_sol=0 ticks=652577 tps=100 nb_sec=6525
case_no=170 label=Case6.158 nb_sol=0 ticks=601464 tps=100 nb_sec=6014
case_no=170 label=Case6.158 nb_sol=0 ticks=629064 tps=100 nb_sec=6290
case_no=170 label=Case6.158 nb_sol=0 ticks=655223 tps=100 nb_sec=6552
case_no=170 label=Case6.158 nb_sol=0 ticks=434309 tps=100 nb_sec=4343
case_no=170 label=Case6.158 nb_sol=0 ticks=596034 tps=100 nb_sec=5960
case_no=170 label=Case6.158 nb_sol=0 ticks=627992 tps=100 nb_sec=6279
case_no=170 label=Case6.158 nb_sol=0 ticks=599696 tps=100 nb_sec=5996
case_no=170 label=Case6.158 nb_sol=0 ticks=565750 tps=100 nb_sec=5657
case_no=170 label=Case6.158 nb_sol=0 ticks=622892 tps=100 nb_sec=6228
case_no=170 label=Case6.158 nb_sol=0 ticks=906188 tps=100 nb_sec=9061
case_no=170 label=Case6.158 nb_sol=0 ticks=601962 tps=100 nb_sec=6019
case_no=170 label=Case6.158 nb_sol=0 ticks=679004 tps=100 nb_sec=6790
case_no=170 label=Case6.158 nb_sol=0 ticks=643847 tps=100 nb_sec=6438
case_no=170 label=Case6.158 nb_sol=0 ticks=922098 tps=100 nb_sec=9220
case_no=170 label=Case6.158 nb_sol=0 ticks=571991 tps=100 nb_sec=5719
case_no=170 label=Case6.158 nb_sol=0 ticks=657332 tps=100 nb_sec=6573
case_no=170 label=Case6.158 nb_sol=0 ticks=661004 tps=100 nb_sec=6610
case_no=170 label=Case6.158 nb_sol=0 ticks=660278 tps=100 nb_sec=6602
case_no=170 label=Case6.158 nb_sol=0 ticks=685221 tps=100 nb_sec=6852
case_no=170 label=Case6.158 nb_sol=0 ticks=522401 tps=100 nb_sec=5224
case_no=170 label=Case6.158 nb_sol=0 ticks=399896 tps=100 nb_sec=3998
case_no=170 label=Case6.158 nb_sol=0 ticks=331462 tps=100 nb_sec=3314
case_no=170 label=Case6.158 nb_sol=0 ticks=327632 tps=100 nb_sec=3276
case_no=170 label=Case6.158 nb_sol=0 ticks=396156 tps=100 nb_sec=3961
case_no=170 label=Case6.158 nb_sol=0 ticks=640540 tps=100 nb_sec=6405
case_no=170 label=Case6.158 nb_sol=0 ticks=446863 tps=100 nb_sec=4468
case_no=170 label=Case6.158 nb_sol=0 ticks=568999 tps=100 nb_sec=5689
case_no=170 label=Case6.158 nb_sol=0 ticks=607959 tps=100 nb_sec=6079
case_no=170 label=Case6.158 nb_sol=0 ticks=408235 tps=100 nb_sec=4082
case_no=170 label=Case6.158 nb_sol=0 ticks=689047 tps=100 nb_sec=6890
case_no=170 label=Case6.158 nb_sol=0 ticks=581141 tps=100 nb_sec=5811
case_no=170 label=Case6.158 nb_sol=0 ticks=336578 tps=100 nb_sec=3365
case_no=170 label=Case6.158 nb_sol=0 ticks=380853 tps=100 nb_sec=3808
case_no=170 label=Case6.158 nb_sol=0 ticks=488178 tps=100 nb_sec=4881
case_no=170 label=Case6.158 nb_sol=0 ticks=791393 tps=100 nb_sec=7913
case_no=170 label=Case6.158 nb_sol=0 ticks=530899 tps=100 nb_sec=5308
case_no=170 label=Case6.158 nb_sol=0 ticks=529000 tps=100 nb_sec=5290
case_no=170 label=Case6.158 nb_sol=0 ticks=519019 tps=100 nb_sec=5190
case_no=170 label=Case6.158 nb_sol=0 ticks=660082 tps=100 nb_sec=6600
case_no=170 label=Case6.158 nb_sol=0 ticks=323165 tps=100 nb_sec=3231
case_no=170 label=Case6.158 nb_sol=0 ticks=647328 tps=100 nb_sec=6473
case_no=170 label=Case6.158 nb_sol=0 ticks=462202 tps=100 nb_sec=4622
case_no=170 label=Case6.158 nb_sol=0 ticks=400165 tps=100 nb_sec=4001
case_no=170 label=Case6.158 nb_sol=0 ticks=630226 tps=100 nb_sec=6302
case_no=170 label=Case6.158 nb_sol=0 ticks=385108 tps=100 nb_sec=3851
case_no=170 label=Case6.158 nb_sol=0 ticks=657476 tps=100 nb_sec=6574
case_no=170 label=Case6.158 nb_sol=0 ticks=536344 tps=100 nb_sec=5363
case_no=170 label=Case6.158 nb_sol=0 ticks=327352 tps=100 nb_sec=3273
case_no=170 label=Case6.158 nb_sol=0 ticks=793381 tps=100 nb_sec=7933
case_no=170 label=Case6.158 nb_sol=0 ticks=480254 tps=100 nb_sec=4802
case_no=170 label=Case6.158 nb_sol=0 ticks=291269 tps=100 nb_sec=2912
case_no=170 label=Case6.158 nb_sol=0 ticks=573650 tps=100 nb_sec=5736
case_no=170 label=Case6.158 nb_sol=0 ticks=483435 tps=100 nb_sec=4834
case_no=170 label=Case6.158 nb_sol=0 ticks=649515 tps=100 nb_sec=6495
case_no=170 label=Case6.158 nb_sol=0 ticks=403019 tps=100 nb_sec=4030
case_no=170 label=Case6.158 nb_sol=0 ticks=667316 tps=100 nb_sec=6673
case_no=170 label=Case6.158 nb_sol=0 ticks=1144888 tps=100 nb_sec=11448
case_no=170 label=Case6.158 nb_sol=0 ticks=745480 tps=100 nb_sec=7454
case_no=170 label=Case6.158 nb_sol=0 ticks=522086 tps=100 nb_sec=5220
case_no=170 label=Case6.158 nb_sol=0 ticks=692925 tps=100 nb_sec=6929
case_no=170 label=Case6.158 nb_sol=0 ticks=539407 tps=100 nb_sec=5394
case_no=170 label=Case6.158 nb_sol=0 ticks=755890 tps=100 nb_sec=7558
case_no=170 label=Case6.158 nb_sol=0 ticks=306857 tps=100 nb_sec=3068
case_no=170 label=Case6.158 nb_sol=0 ticks=629530 tps=100 nb_sec=6295
case_no=170 label=Case6.158 nb_sol=0 ticks=671787 tps=100 nb_sec=6717
case_no=170 label=Case6.158 nb_sol=0 ticks=306270 tps=100 nb_sec=3062
case_no=170 label=Case6.158 nb_sol=0 ticks=349380 tps=100 nb_sec=3493
case_no=170 label=Case6.158 nb_sol=0 ticks=455583 tps=100 nb_sec=4555
case_no=170 label=Case6.158 nb_sol=0 ticks=692971 tps=100 nb_sec=6929
case_no=170 label=Case6.158 nb_sol=0 ticks=667745 tps=100 nb_sec=6677
case_no=170 label=Case6.158 nb_sol=0 ticks=258913 tps=100 nb_sec=2589
case_no=170 label=Case6.158 nb_sol=0 ticks=387156 tps=100 nb_sec=3871
case_no=170 label=Case6.158 nb_sol=0 ticks=628912 tps=100 nb_sec=6289
case_no=170 label=Case6.158 nb_sol=0 ticks=710583 tps=100 nb_sec=7105
case_no=170 label=Case6.158 nb_sol=0 ticks=242557 tps=100 nb_sec=2425
case_no=170 label=Case6.158 nb_sol=0 ticks=510561 tps=100 nb_sec=5105
case_no=170 label=Case6.158 nb_sol=0 ticks=298393 tps=100 nb_sec=2983
case_no=170 label=Case6.158 nb_sol=0 ticks=763382 tps=100 nb_sec=7633
case_no=170 label=Case6.158 nb_sol=0 ticks=323331 tps=100 nb_sec=3233
case_no=170 label=Case6.158 nb_sol=0 ticks=616001 tps=100 nb_sec=6160
case_no=170 label=Case6.158 nb_sol=0 ticks=294218 tps=100 nb_sec=2942
case_no=170 label=Case6.158 nb_sol=0 ticks=523267 tps=100 nb_sec=5232
case_no=170 label=Case6.158 nb_sol=0 ticks=381135 tps=100 nb_sec=3811
case_no=170 label=Case6.158 nb_sol=0 ticks=491259 tps=100 nb_sec=4912
case_no=170 label=Case6.158 nb_sol=0 ticks=726038 tps=100 nb_sec=7260
case_no=170 label=Case6.158 nb_sol=0 ticks=655266 tps=100 nb_sec=6552
case_no=170 label=Case6.158 nb_sol=0 ticks=287550 tps=100 nb_sec=2875
case_no=170 label=Case6.158 nb_sol=0 ticks=564998 tps=100 nb_sec=5649
case_no=170 label=Case6.158 nb_sol=0 ticks=348835 tps=100 nb_sec=3488
case_no=170 label=Case6.158 nb_sol=0 ticks=663125 tps=100 nb_sec=6631
case_no=170 label=Case6.158 nb_sol=0 ticks=650683 tps=100 nb_sec=6506
case_no=170 label=Case6.158 nb_sol=0 ticks=637539 tps=100 nb_sec=6375
case_no=170 label=Case6.158 nb_sol=0 ticks=274843 tps=100 nb_sec=2748
case_no=170 label=Case6.158 nb_sol=0 ticks=278071 tps=100 nb_sec=2780
case_no=170 label=Case6.158 nb_sol=0 ticks=625137 tps=100 nb_sec=6251
case_no=170 label=Case6.158 nb_sol=0 ticks=361839 tps=100 nb_sec=3618
case_no=170 label=Case6.158 nb_sol=0 ticks=666864 tps=100 nb_sec=6668
case_no=170 label=Case6.158 nb_sol=0 ticks=701893 tps=100 nb_sec=7018
case_no=170 label=Case6.158 nb_sol=0 ticks=321823 tps=100 nb_sec=3218
case_no=170 label=Case6.158 nb_sol=0 ticks=649230 tps=100 nb_sec=6492
case_no=170 label=Case6.158 nb_sol=0 ticks=662712 tps=100 nb_sec=6627
case_no=170 label=Case6.158 nb_sol=0 ticks=264171 tps=100 nb_sec=2641
case_no=170 label=Case6.158 nb_sol=0 ticks=313535 tps=100 nb_sec=3135
case_no=170 label=Case6.158 nb_sol=0 ticks=584555 tps=100 nb_sec=5845
case_no=170 label=Case6.158 nb_sol=0 ticks=510841 tps=100 nb_sec=5108
case_no=170 label=Case6.158 nb_sol=0 ticks=599619 tps=100 nb_sec=5996
case_no=170 label=Case6.158 nb_sol=0 ticks=778555 tps=100 nb_sec=7785
case_no=170 label=Case6.158 nb_sol=0 ticks=528816 tps=100 nb_sec=5288
case_no=170 label=Case6.158 nb_sol=0 ticks=336114 tps=100 nb_sec=3361
case_no=170 label=Case6.158 nb_sol=0 ticks=431475 tps=100 nb_sec=4314
case_no=170 label=Case6.158 nb_sol=0 ticks=645663 tps=100 nb_sec=6456
case_no=170 label=Case6.158 nb_sol=0 ticks=714712 tps=100 nb_sec=7147
case_no=170 label=Case6.158 nb_sol=0 ticks=400877 tps=100 nb_sec=4008
case_no=170 label=Case6.158 nb_sol=0 ticks=815906 tps=100 nb_sec=8159
case_no=170 label=Case6.158 nb_sol=0 ticks=420621 tps=100 nb_sec=4206
case_no=170 label=Case6.158 nb_sol=0 ticks=618323 tps=100 nb_sec=6183
case_no=170 label=Case6.158 nb_sol=0 ticks=382019 tps=100 nb_sec=3820
case_no=170 label=Case6.158 nb_sol=0 ticks=839319 tps=100 nb_sec=8393
case_no=170 label=Case6.158 nb_sol=0 ticks=679651 tps=100 nb_sec=6796
case_no=170 label=Case6.158 nb_sol=0 ticks=695648 tps=100 nb_sec=6956
case_no=170 label=Case6.158 nb_sol=0 ticks=700054 tps=100 nb_sec=7000
case_no=170 label=Case6.158 nb_sol=0 ticks=806740 tps=100 nb_sec=8067
case_no=170 label=Case6.158 nb_sol=0 ticks=826749 tps=100 nb_sec=8267
case_no=170 label=Case6.158 nb_sol=0 ticks=704038 tps=100 nb_sec=7040
case_no=170 label=Case6.158 nb_sol=0 ticks=833247 tps=100 nb_sec=8332
case_no=170 label=Case6.158 nb_sol=0 ticks=808883 tps=100 nb_sec=8088
case_no=170 label=Case6.158 nb_sol=0 ticks=700023 tps=100 nb_sec=7000
case_no=170 label=Case6.158 nb_sol=0 ticks=698397 tps=100 nb_sec=6983
case_no=170 label=Case6.158 nb_sol=0 ticks=496573 tps=100 nb_sec=4965
case_no=170 label=Case6.158 nb_sol=0 ticks=724651 tps=100 nb_sec=7246
case_no=170 label=Case6.158 nb_sol=0 ticks=440417 tps=100 nb_sec=4404
case_no=170 label=Case6.158 nb_sol=0 ticks=751777 tps=100 nb_sec=7517
case_no=170 label=Case6.158 nb_sol=0 ticks=811514 tps=100 nb_sec=8115
case_no=170 label=Case6.158 nb_sol=0 ticks=959117 tps=100 nb_sec=9591
case_no=170 label=Case6.158 nb_sol=0 ticks=500759 tps=100 nb_sec=5007
case_no=170 label=Case6.158 nb_sol=0 ticks=852084 tps=100 nb_sec=8520
case_no=170 label=Case6.158 nb_sol=0 ticks=394435 tps=100 nb_sec=3944
case_no=170 label=Case6.158 nb_sol=0 ticks=625325 tps=100 nb_sec=6253
case_no=170 label=Case6.158 nb_sol=0 ticks=558539 tps=100 nb_sec=5585
case_no=170 label=Case6.158 nb_sol=0 ticks=370683 tps=100 nb_sec=3706
case_no=170 label=Case6.158 nb_sol=0 ticks=714619 tps=100 nb_sec=7146
case_no=170 label=Case6.158 nb_sol=0 ticks=646874 tps=100 nb_sec=6468
case_no=170 label=Case6.158 nb_sol=0 ticks=772538 tps=100 nb_sec=7725
case_no=170 label=Case6.158 nb_sol=0 ticks=590432 tps=100 nb_sec=5904
case_no=170 label=Case6.158 nb_sol=0 ticks=780100 tps=100 nb_sec=7801
case_no=170 label=Case6.158 nb_sol=0 ticks=398896 tps=100 nb_sec=3988
case_no=170 label=Case6.158 nb_sol=0 ticks=912370 tps=100 nb_sec=9123
case_no=170 label=Case6.158 nb_sol=0 ticks=623073 tps=100 nb_sec=6230
case_no=170 label=Case6.158 nb_sol=0 ticks=514194 tps=100 nb_sec=5141
case_no=170 label=Case6.158 nb_sol=0 ticks=502252 tps=100 nb_sec=5022
case_no=170 label=Case6.158 nb_sol=0 ticks=926031 tps=100 nb_sec=9260
case_no=170 label=Case6.158 nb_sol=0 ticks=548010 tps=100 nb_sec=5480
case_no=170 label=Case6.158 nb_sol=0 ticks=490084 tps=100 nb_sec=4900
case_no=170 label=Case6.158 nb_sol=0 ticks=607709 tps=100 nb_sec=6077
case_no=170 label=Case6.158 nb_sol=0 ticks=740258 tps=100 nb_sec=7402
case_no=170 label=Case6.158 nb_sol=0 ticks=404897 tps=100 nb_sec=4048
case_no=170 label=Case6.158 nb_sol=0 ticks=891217 tps=100 nb_sec=8912
case_no=170 label=Case6.158 nb_sol=0 ticks=805362 tps=100 nb_sec=8053
case_no=170 label=Case6.158 nb_sol=0 ticks=771915 tps=100 nb_sec=7719
case_no=170 label=Case6.158 nb_sol=0 ticks=447615 tps=100 nb_sec=4476
case_no=170 label=Case6.158 nb_sol=0 ticks=673940 tps=100 nb_sec=6739
case_no=170 label=Case6.158 nb_sol=0 ticks=810524 tps=100 nb_sec=8105
case_no=170 label=Case6.158 nb_sol=0 ticks=796273 tps=100 nb_sec=7962
case_no=170 label=Case6.158 nb_sol=0 ticks=464410 tps=100 nb_sec=4644
case_no=170 label=Case6.158 nb_sol=0 ticks=659230 tps=100 nb_sec=6592
case_no=170 label=Case6.158 nb_sol=0 ticks=771854 tps=100 nb_sec=7718
case_no=170 label=Case6.158 nb_sol=0 ticks=635932 tps=100 nb_sec=6359
case_no=170 label=Case6.158 nb_sol=0 ticks=614802 tps=100 nb_sec=6148
case_no=170 label=Case6.158 nb_sol=0 ticks=540135 tps=100 nb_sec=5401
case_no=170 label=Case6.158 nb_sol=0 ticks=656260 tps=100 nb_sec=6562
case_no=170 label=Case6.158 nb_sol=0 ticks=720565 tps=100 nb_sec=7205
case_no=170 label=Case6.158 nb_sol=0 ticks=627507 tps=100 nb_sec=6275
case_no=170 label=Case6.158 nb_sol=0 ticks=587885 tps=100 nb_sec=5878
case_no=170 label=Case6.158 nb_sol=0 ticks=779475 tps=100 nb_sec=7794
case_no=170 label=Case6.158 nb_sol=0 ticks=670153 tps=100 nb_sec=6701
case_no=170 label=Case6.158 nb_sol=0 ticks=323509 tps=100 nb_sec=3235
case_no=170 label=Case6.158 nb_sol=0 ticks=707806 tps=100 nb_sec=7078
case_no=170 label=Case6.158 nb_sol=0 ticks=590868 tps=100 nb_sec=5908
case_no=170 label=Case6.158 nb_sol=0 ticks=563372 tps=100 nb_sec=5633
case_no=170 label=Case6.158 nb_sol=0 ticks=461856 tps=100 nb_sec=4618
case_no=170 label=Case6.158 nb_sol=0 ticks=506461 tps=100 nb_sec=5064
case_no=170 label=Case6.158 nb_sol=0 ticks=720116 tps=100 nb_sec=7201
case_no=170 label=Case6.158 nb_sol=0 ticks=359217 tps=100 nb_sec=3592
case_no=170 label=Case6.158 nb_sol=0 ticks=587386 tps=100 nb_sec=5873
case_no=170 label=Case6.158 nb_sol=0 ticks=485703 tps=100 nb_sec=4857
case_no=170 label=Case6.158 nb_sol=0 ticks=695401 tps=100 nb_sec=6954
case_no=170 label=Case6.158 nb_sol=0 ticks=486127 tps=100 nb_sec=4861
case_no=170 label=Case6.158 nb_sol=0 ticks=462498 tps=100 nb_sec=4624
case_no=170 label=Case6.158 nb_sol=0 ticks=314295 tps=100 nb_sec=3142
case_no=170 label=Case6.158 nb_sol=0 ticks=320388 tps=100 nb_sec=3203
case_no=170 label=Case6.158 nb_sol=0 ticks=292058 tps=100 nb_sec=2920
case_no=170 label=Case6.158 nb_sol=0 ticks=638949 tps=100 nb_sec=6389
case_no=170 label=Case6.158 nb_sol=0 ticks=375986 tps=100 nb_sec=3759
case_no=170 label=Case6.158 nb_sol=0 ticks=467048 tps=100 nb_sec=4670
case_no=170 label=Case6.158 nb_sol=0 ticks=641133 tps=100 nb_sec=6411
case_no=170 label=Case6.158 nb_sol=0 ticks=725673 tps=100 nb_sec=7256
case_no=170 label=Case6.158 nb_sol=0 ticks=330299 tps=100 nb_sec=3302
case_no=170 label=Case6.158 nb_sol=0 ticks=609221 tps=100 nb_sec=6092
case_no=170 label=Case6.158 nb_sol=0 ticks=778447 tps=100 nb_sec=7784
case_no=170 label=Case6.158 nb_sol=0 ticks=603719 tps=100 nb_sec=6037
case_no=170 label=Case6.158 nb_sol=0 ticks=761729 tps=100 nb_sec=7617
case_no=170 label=Case6.158 nb_sol=0 ticks=626589 tps=100 nb_sec=6265
case_no=170 label=Case6.158 nb_sol=0 ticks=333086 tps=100 nb_sec=3330
case_no=170 label=Case6.158 nb_sol=0 ticks=614386 tps=100 nb_sec=6143
case_no=170 label=Case6.158 nb_sol=0 ticks=694794 tps=100 nb_sec=6947
case_no=170 label=Case6.158 nb_sol=0 ticks=669758 tps=100 nb_sec=6697
case_no=170 label=Case6.158 nb_sol=0 ticks=301914 tps=100 nb_sec=3019
case_no=170 label=Case6.158 nb_sol=0 ticks=650594 tps=100 nb_sec=6505
case_no=170 label=Case6.158 nb_sol=0 ticks=588631 tps=100 nb_sec=5886
case_no=170 label=Case6.158 nb_sol=0 ticks=452861 tps=100 nb_sec=4528
case_no=170 label=Case6.158 nb_sol=0 ticks=579900 tps=100 nb_sec=5799
case_no=170 label=Case6.158 nb_sol=0 ticks=375104 tps=100 nb_sec=3751
case_no=170 label=Case6.158 nb_sol=0 ticks=441746 tps=100 nb_sec=4417
case_no=170 label=Case6.158 nb_sol=0 ticks=556492 tps=100 nb_sec=5564
case_no=170 label=Case6.158 nb_sol=0 ticks=516788 tps=100 nb_sec=5167
case_no=170 label=Case6.158 nb_sol=0 ticks=707925 tps=100 nb_sec=7079
case_no=170 label=Case6.158 nb_sol=0 ticks=989178 tps=100 nb_sec=9891
case_no=170 label=Case6.158 nb_sol=0 ticks=528100 tps=100 nb_sec=5281
case_no=170 label=Case6.158 nb_sol=0 ticks=571985 tps=100 nb_sec=5719
case_no=170 label=Case6.158 nb_sol=0 ticks=622976 tps=100 nb_sec=6229
case_no=170 label=Case6.158 nb_sol=0 ticks=447649 tps=100 nb_sec=4476
case_no=170 label=Case6.158 nb_sol=0 ticks=402109 tps=100 nb_sec=4021
case_no=170 label=Case6.158 nb_sol=0 ticks=582619 tps=100 nb_sec=5826
case_no=170 label=Case6.158 nb_sol=0 ticks=567953 tps=100 nb_sec=5679
case_no=170 label=Case6.158 nb_sol=0 ticks=715258 tps=100 nb_sec=7152
case_no=170 label=Case6.158 nb_sol=0 ticks=505334 tps=100 nb_sec=5053
case_no=170 label=Case6.158 nb_sol=0 ticks=652723 tps=100 nb_sec=6527
case_no=170 label=Case6.158 nb_sol=0 ticks=557101 tps=100 nb_sec=5571
case_no=170 label=Case6.158 nb_sol=0 ticks=496790 tps=100 nb_sec=4967
case_no=170 label=Case6.158 nb_sol=0 ticks=269994 tps=100 nb_sec=2699
case_no=170 label=Case6.158 nb_sol=0 ticks=313596 tps=100 nb_sec=3135
case_no=170 label=Case6.158 nb_sol=0 ticks=272443 tps=100 nb_sec=2724
case_no=170 label=Case6.158 nb_sol=0 ticks=280451 tps=100 nb_sec=2804
case_no=170 label=Case6.158 nb_sol=0 ticks=720927 tps=100 nb_sec=7209
case_no=170 label=Case6.158 nb_sol=0 ticks=337203 tps=100 nb_sec=3372
case_no=170 label=Case6.158 nb_sol=0 ticks=742483 tps=100 nb_sec=7424
case_no=170 label=Case6.158 nb_sol=0 ticks=599727 tps=100 nb_sec=5997
case_no=170 label=Case6.158 nb_sol=0 ticks=432238 tps=100 nb_sec=4322
case_no=170 label=Case6.158 nb_sol=0 ticks=395117 tps=100 nb_sec=3951
case_no=170 label=Case6.158 nb_sol=0 ticks=602545 tps=100 nb_sec=6025
case_no=170 label=Case6.158 nb_sol=0 ticks=471327 tps=100 nb_sec=4713
case_no=170 label=Case6.158 nb_sol=0 ticks=1086064 tps=100 nb_sec=10860
case_no=170 label=Case6.158 nb_sol=0 ticks=475639 tps=100 nb_sec=4756
case_no=170 label=Case6.158 nb_sol=0 ticks=880459 tps=100 nb_sec=8804
case_no=170 label=Case6.158 nb_sol=0 ticks=878764 tps=100 nb_sec=8787
case_no=170 label=Case6.158 nb_sol=0 ticks=749730 tps=100 nb_sec=7497
case_no=170 label=Case6.158 nb_sol=0 ticks=1044809 tps=100 nb_sec=10448
case_no=170 label=Case6.158 nb_sol=0 ticks=613856 tps=100 nb_sec=6138
case_no=170 label=Case6.158 nb_sol=0 ticks=514593 tps=100 nb_sec=5145
case_no=170 label=Case6.158 nb_sol=0 ticks=724555 tps=100 nb_sec=7245
case_no=170 label=Case6.158 nb_sol=0 ticks=592614 tps=100 nb_sec=5926
case_no=170 label=Case6.158 nb_sol=0 ticks=717778 tps=100 nb_sec=7177
case_no=170 label=Case6.158 nb_sol=0 ticks=1110883 tps=100 nb_sec=11108
case_no=170 label=Case6.158 nb_sol=0 ticks=504615 tps=100 nb_sec=5046
case_no=170 label=Case6.158 nb_sol=0 ticks=662694 tps=100 nb_sec=6626
case_no=170 label=Case6.158 nb_sol=0 ticks=552727 tps=100 nb_sec=5527
case_no=170 label=Case6.158 nb_sol=0 ticks=962961 tps=100 nb_sec=9629
case_no=170 label=Case6.158 nb_sol=0 ticks=1029760 tps=100 nb_sec=10297
case_no=170 label=Case6.158 nb_sol=0 ticks=814278 tps=100 nb_sec=8142
case_no=170 label=Case6.158 nb_sol=0 ticks=704453 tps=100 nb_sec=7044
case_no=170 label=Case6.158 nb_sol=0 ticks=616230 tps=100 nb_sec=6162
case_no=170 label=Case6.158 nb_sol=0 ticks=500038 tps=100 nb_sec=5000
case_no=170 label=Case6.158 nb_sol=0 ticks=763355 tps=100 nb_sec=7633
case_no=170 label=Case6.158 nb_sol=0 ticks=536078 tps=100 nb_sec=5360
case_no=170 label=Case6.158 nb_sol=0 ticks=393749 tps=100 nb_sec=3937
case_no=170 label=Case6.158 nb_sol=0 ticks=749749 tps=100 nb_sec=7497
case_no=170 label=Case6.158 nb_sol=0 ticks=633767 tps=100 nb_sec=6337
case_no=170 label=Case6.158 nb_sol=0 ticks=380706 tps=100 nb_sec=3807
case_no=170 label=Case6.158 nb_sol=0 ticks=577015 tps=100 nb_sec=5770
case_no=170 label=Case6.158 nb_sol=0 ticks=430956 tps=100 nb_sec=4309
case_no=170 label=Case6.158 nb_sol=0 ticks=352311 tps=100 nb_sec=3523
case_no=170 label=Case6.158 nb_sol=0 ticks=558793 tps=100 nb_sec=5587
case_no=170 label=Case6.158 nb_sol=0 ticks=400259 tps=100 nb_sec=4002
case_no=170 label=Case6.158 nb_sol=0 ticks=799090 tps=100 nb_sec=7990
case_no=170 label=Case6.158 nb_sol=0 ticks=747632 tps=100 nb_sec=7476
case_no=170 label=Case6.158 nb_sol=0 ticks=372288 tps=100 nb_sec=3722
case_no=170 label=Case6.158 nb_sol=0 ticks=700288 tps=100 nb_sec=7002
case_no=170 label=Case6.158 nb_sol=0 ticks=654529 tps=100 nb_sec=6545
case_no=170 label=Case6.158 nb_sol=0 ticks=809994 tps=100 nb_sec=8099
case_no=170 label=Case6.158 nb_sol=0 ticks=561311 tps=100 nb_sec=5613
case_no=170 label=Case6.158 nb_sol=0 ticks=723336 tps=100 nb_sec=7233
case_no=170 label=Case6.158 nb_sol=0 ticks=603860 tps=100 nb_sec=6038
case_no=170 label=Case6.158 nb_sol=0 ticks=628073 tps=100 nb_sec=6280
case_no=170 label=Case6.158 nb_sol=0 ticks=276678 tps=100 nb_sec=2766
case_no=170 label=Case6.158 nb_sol=0 ticks=425195 tps=100 nb_sec=4251
case_no=170 label=Case6.158 nb_sol=0 ticks=455367 tps=100 nb_sec=4553
case_no=170 label=Case6.158 nb_sol=0 ticks=250260 tps=100 nb_sec=2502
case_no=170 label=Case6.158 nb_sol=0 ticks=398147 tps=100 nb_sec=3981
case_no=170 label=Case6.158 nb_sol=0 ticks=386568 tps=100 nb_sec=3865
case_no=170 label=Case6.158 nb_sol=0 ticks=272257 tps=100 nb_sec=2722
case_no=170 label=Case6.158 nb_sol=0 ticks=365829 tps=100 nb_sec=3658
case_no=170 label=Case6.158 nb_sol=0 ticks=290393 tps=100 nb_sec=2903
case_no=170 label=Case6.158 nb_sol=0 ticks=298908 tps=100 nb_sec=2989
case_no=170 label=Case6.158 nb_sol=0 ticks=560715 tps=100 nb_sec=5607
case_no=170 label=Case6.158 nb_sol=0 ticks=215071 tps=100 nb_sec=2150
case_no=170 label=Case6.158 nb_sol=0 ticks=665209 tps=100 nb_sec=6652
case_no=170 label=Case6.158 nb_sol=0 ticks=316970 tps=100 nb_sec=3169
case_no=170 label=Case6.158 nb_sol=0 ticks=378623 tps=100 nb_sec=3786
case_no=170 label=Case6.158 nb_sol=0 ticks=541146 tps=100 nb_sec=5411
case_no=170 label=Case6.158 nb_sol=0 ticks=250837 tps=100 nb_sec=2508
case_no=170 label=Case6.158 nb_sol=0 ticks=536365 tps=100 nb_sec=5363
case_no=170 label=Case6.158 nb_sol=0 ticks=329665 tps=100 nb_sec=3296
case_no=170 label=Case6.158 nb_sol=0 ticks=501370 tps=100 nb_sec=5013
case_no=170 label=Case6.158 nb_sol=0 ticks=331656 tps=100 nb_sec=3316
case_no=170 label=Case6.158 nb_sol=0 ticks=695948 tps=100 nb_sec=6959
case_no=170 label=Case6.158 nb_sol=0 ticks=562983 tps=100 nb_sec=5629
case_no=170 label=Case6.158 nb_sol=0 ticks=373398 tps=100 nb_sec=3733
case_no=170 label=Case6.158 nb_sol=0 ticks=286482 tps=100 nb_sec=2864
case_no=170 label=Case6.158 nb_sol=0 ticks=499459 tps=100 nb_sec=4994
case_no=170 label=Case6.158 nb_sol=0 ticks=564006 tps=100 nb_sec=5640
case_no=170 label=Case6.158 nb_sol=0 ticks=263388 tps=100 nb_sec=2633
case_no=170 label=Case6.158 nb_sol=0 ticks=608072 tps=100 nb_sec=6080
case_no=170 label=Case6.158 nb_sol=0 ticks=593961 tps=100 nb_sec=5939
case_no=170 label=Case6.158 nb_sol=0 ticks=389944 tps=100 nb_sec=3899
case_no=170 label=Case6.158 nb_sol=0 ticks=315357 tps=100 nb_sec=3153
case_no=170 label=Case6.158 nb_sol=0 ticks=478724 tps=100 nb_sec=4787
case_no=170 label=Case6.158 nb_sol=0 ticks=609698 tps=100 nb_sec=6096
case_no=170 label=Case6.158 nb_sol=0 ticks=397274 tps=100 nb_sec=3972
case_no=170 label=Case6.158 nb_sol=0 ticks=561530 tps=100 nb_sec=5615
case_no=170 label=Case6.158 nb_sol=0 ticks=502249 tps=100 nb_sec=5022
case_no=170 label=Case6.158 nb_sol=0 ticks=436680 tps=100 nb_sec=4366
case_no=170 label=Case6.158 nb_sol=0 ticks=211823 tps=100 nb_sec=2118
case_no=170 label=Case6.158 nb_sol=0 ticks=640965 tps=100 nb_sec=6409
case_no=170 label=Case6.158 nb_sol=0 ticks=609485 tps=100 nb_sec=6094
case_no=170 label=Case6.158 nb_sol=0 ticks=627546 tps=100 nb_sec=6275
case_no=170 label=Case6.158 nb_sol=0 ticks=782286 tps=100 nb_sec=7822
case_no=170 label=Case6.158 nb_sol=0 ticks=654005 tps=100 nb_sec=6540
case_no=170 label=Case6.158 nb_sol=0 ticks=352828 tps=100 nb_sec=3528
case_no=170 label=Case6.158 nb_sol=0 ticks=446052 tps=100 nb_sec=4460
case_no=170 label=Case6.158 nb_sol=0 ticks=209445 tps=100 nb_sec=2094
case_no=170 label=Case6.158 nb_sol=0 ticks=415367 tps=100 nb_sec=4153
case_no=170 label=Case6.158 nb_sol=0 ticks=297142 tps=100 nb_sec=2971
case_no=170 label=Case6.158 nb_sol=0 ticks=236165 tps=100 nb_sec=2361
case_no=170 label=Case6.158 nb_sol=0 ticks=621966 tps=100 nb_sec=6219
case_no=170 label=Case6.158 nb_sol=0 ticks=635733 tps=100 nb_sec=6357
case_no=170 label=Case6.158 nb_sol=0 ticks=594674 tps=100 nb_sec=5946
case_no=170 label=Case6.158 nb_sol=0 ticks=574776 tps=100 nb_sec=5747
case_no=170 label=Case6.158 nb_sol=0 ticks=619967 tps=100 nb_sec=6199
case_no=170 label=Case6.158 nb_sol=0 ticks=346380 tps=100 nb_sec=3463
case_no=170 label=Case6.158 nb_sol=0 ticks=773701 tps=100 nb_sec=7737
case_no=170 label=Case6.158 nb_sol=0 ticks=590623 tps=100 nb_sec=5906
case_no=170 label=Case6.158 nb_sol=0 ticks=621935 tps=100 nb_sec=6219
case_no=170 label=Case6.158 nb_sol=0 ticks=460480 tps=100 nb_sec=4604
case_no=170 label=Case6.158 nb_sol=0 ticks=349602 tps=100 nb_sec=3496
case_no=170 label=Case6.158 nb_sol=0 ticks=493114 tps=100 nb_sec=4931
case_no=170 label=Case6.158 nb_sol=0 ticks=633256 tps=100 nb_sec=6332
case_no=170 label=Case6.158 nb_sol=0 ticks=317281 tps=100 nb_sec=3172
case_no=170 label=Case6.158 nb_sol=0 ticks=352675 tps=100 nb_sec=3526
case_no=170 label=Case6.158 nb_sol=0 ticks=503973 tps=100 nb_sec=5039
case_no=170 label=Case6.158 nb_sol=0 ticks=733730 tps=100 nb_sec=7337
case_no=170 label=Case6.158 nb_sol=0 ticks=386261 tps=100 nb_sec=3862
case_no=170 label=Case6.158 nb_sol=0 ticks=620293 tps=100 nb_sec=6202
case_no=170 label=Case6.158 nb_sol=0 ticks=363192 tps=100 nb_sec=3631
case_no=170 label=Case6.158 nb_sol=0 ticks=322294 tps=100 nb_sec=3222
case_no=170 label=Case6.158 nb_sol=0 ticks=271755 tps=100 nb_sec=2717
case_no=170 label=Case6.158 nb_sol=0 ticks=786418 tps=100 nb_sec=7864
case_no=170 label=Case6.158 nb_sol=0 ticks=298672 tps=100 nb_sec=2986
case_no=170 label=Case6.158 nb_sol=0 ticks=449450 tps=100 nb_sec=4494
case_no=170 label=Case6.158 nb_sol=0 ticks=644833 tps=100 nb_sec=6448
case_no=170 label=Case6.158 nb_sol=0 ticks=464737 tps=100 nb_sec=4647
case_no=170 label=Case6.158 nb_sol=0 ticks=530102 tps=100 nb_sec=5301
case_no=170 label=Case6.158 nb_sol=0 ticks=619931 tps=100 nb_sec=6199
case_no=170 label=Case6.158 nb_sol=0 ticks=576645 tps=100 nb_sec=5766
case_no=170 label=Case6.158 nb_sol=0 ticks=895556 tps=100 nb_sec=8955
case_no=170 label=Case6.158 nb_sol=0 ticks=747715 tps=100 nb_sec=7477
case_no=170 label=Case6.158 nb_sol=0 ticks=693884 tps=100 nb_sec=6938
case_no=170 label=Case6.158 nb_sol=0 ticks=617708 tps=100 nb_sec=6177
case_no=170 label=Case6.158 nb_sol=0 ticks=762464 tps=100 nb_sec=7624
case_no=170 label=Case6.158 nb_sol=0 ticks=628456 tps=100 nb_sec=6284
case_no=170 label=Case6.158 nb_sol=0 ticks=832423 tps=100 nb_sec=8324
case_no=170 label=Case6.158 nb_sol=0 ticks=528254 tps=100 nb_sec=5282
case_no=170 label=Case6.158 nb_sol=0 ticks=409224 tps=100 nb_sec=4092
case_no=170 label=Case6.158 nb_sol=0 ticks=708403 tps=100 nb_sec=7084
case_no=170 label=Case6.158 nb_sol=0 ticks=580562 tps=100 nb_sec=5805
case_no=170 label=Case6.158 nb_sol=0 ticks=858618 tps=100 nb_sec=8586
case_no=170 label=Case6.158 nb_sol=0 ticks=748587 tps=100 nb_sec=7485
case_no=170 label=Case6.158 nb_sol=0 ticks=693905 tps=100 nb_sec=6939
case_no=170 label=Case6.158 nb_sol=0 ticks=355305 tps=100 nb_sec=3553
case_no=170 label=Case6.158 nb_sol=0 ticks=647044 tps=100 nb_sec=6470
case_no=170 label=Case6.158 nb_sol=0 ticks=688121 tps=100 nb_sec=6881
case_no=170 label=Case6.158 nb_sol=0 ticks=638294 tps=100 nb_sec=6382
case_no=170 label=Case6.158 nb_sol=0 ticks=319468 tps=100 nb_sec=3194
case_no=170 label=Case6.158 nb_sol=0 ticks=775390 tps=100 nb_sec=7753
case_no=170 label=Case6.158 nb_sol=0 ticks=508250 tps=100 nb_sec=5082
case_no=170 label=Case6.158 nb_sol=0 ticks=648923 tps=100 nb_sec=6489
case_no=170 label=Case6.158 nb_sol=0 ticks=506190 tps=100 nb_sec=5061
case_no=170 label=Case6.158 nb_sol=0 ticks=504689 tps=100 nb_sec=5046
case_no=170 label=Case6.158 nb_sol=0 ticks=521566 tps=100 nb_sec=5215
case_no=170 label=Case6.158 nb_sol=0 ticks=671979 tps=100 nb_sec=6719
case_no=170 label=Case6.158 nb_sol=0 ticks=731970 tps=100 nb_sec=7319
case_no=170 label=Case6.158 nb_sol=0 ticks=335919 tps=100 nb_sec=3359
case_no=170 label=Case6.158 nb_sol=0 ticks=482466 tps=100 nb_sec=4824
case_no=170 label=Case6.158 nb_sol=0 ticks=490661 tps=100 nb_sec=4906
case_no=170 label=Case6.158 nb_sol=0 ticks=653228 tps=100 nb_sec=6532
case_no=170 label=Case6.158 nb_sol=0 ticks=714749 tps=100 nb_sec=7147
case_no=170 label=Case6.158 nb_sol=0 ticks=368042 tps=100 nb_sec=3680
case_no=170 label=Case6.158 nb_sol=0 ticks=311449 tps=100 nb_sec=3114
case_no=170 label=Case6.158 nb_sol=0 ticks=622100 tps=100 nb_sec=6221
case_no=170 label=Case6.158 nb_sol=0 ticks=519560 tps=100 nb_sec=5195
case_no=170 label=Case6.158 nb_sol=0 ticks=702010 tps=100 nb_sec=7020
case_no=170 label=Case6.158 nb_sol=0 ticks=843265 tps=100 nb_sec=8432
case_no=170 label=Case6.158 nb_sol=0 ticks=541826 tps=100 nb_sec=5418
case_no=170 label=Case6.158 nb_sol=0 ticks=797408 tps=100 nb_sec=7974
case_no=170 label=Case6.158 nb_sol=0 ticks=707458 tps=100 nb_sec=7074
case_no=170 label=Case6.158 nb_sol=0 ticks=556004 tps=100 nb_sec=5560
case_no=170 label=Case6.158 nb_sol=0 ticks=689413 tps=100 nb_sec=6894
case_no=170 label=Case6.158 nb_sol=0 ticks=272992 tps=100 nb_sec=2729
case_no=170 label=Case6.158 nb_sol=0 ticks=384967 tps=100 nb_sec=3849
case_no=170 label=Case6.158 nb_sol=0 ticks=405770 tps=100 nb_sec=4057
case_no=170 label=Case6.158 nb_sol=0 ticks=540594 tps=100 nb_sec=5405
case_no=170 label=Case6.158 nb_sol=0 ticks=541305 tps=100 nb_sec=5413
case_no=170 label=Case6.158 nb_sol=0 ticks=663709 tps=100 nb_sec=6637
case_no=170 label=Case6.158 nb_sol=0 ticks=397442 tps=100 nb_sec=3974
case_no=170 label=Case6.158 nb_sol=0 ticks=605755 tps=100 nb_sec=6057
case_no=170 label=Case6.158 nb_sol=0 ticks=385420 tps=100 nb_sec=3854
case_no=170 label=Case6.158 nb_sol=0 ticks=662355 tps=100 nb_sec=6623
case_no=170 label=Case6.158 nb_sol=0 ticks=231674 tps=100 nb_sec=2316
case_no=170 label=Case6.158 nb_sol=0 ticks=735809 tps=100 nb_sec=7358
case_no=170 label=Case6.158 nb_sol=0 ticks=585774 tps=100 nb_sec=5857
case_no=170 label=Case6.158 nb_sol=0 ticks=619872 tps=100 nb_sec=6198
case_no=170 label=Case6.158 nb_sol=0 ticks=462653 tps=100 nb_sec=4626
case_no=170 label=Case6.158 nb_sol=0 ticks=722151 tps=100 nb_sec=7221
case_no=170 label=Case6.158 nb_sol=0 ticks=321915 tps=100 nb_sec=3219
case_no=170 label=Case6.158 nb_sol=0 ticks=495752 tps=100 nb_sec=4957
case_no=170 label=Case6.158 nb_sol=0 ticks=482232 tps=100 nb_sec=4822
case_no=170 label=Case6.158 nb_sol=0 ticks=384111 tps=100 nb_sec=3841
case_no=170 label=Case6.158 nb_sol=0 ticks=670218 tps=100 nb_sec=6702
case_no=170 label=Case6.158 nb_sol=0 ticks=721486 tps=100 nb_sec=7214
case_no=170 label=Case6.158 nb_sol=0 ticks=637705 tps=100 nb_sec=6377
case_no=170 label=Case6.158 nb_sol=0 ticks=489493 tps=100 nb_sec=4894
case_no=170 label=Case6.158 nb_sol=0 ticks=553129 tps=100 nb_sec=5531
case_no=170 label=Case6.158 nb_sol=0 ticks=321099 tps=100 nb_sec=3210
case_no=170 label=Case6.158 nb_sol=0 ticks=602042 tps=100 nb_sec=6020
case_no=170 label=Case6.158 nb_sol=0 ticks=367384 tps=100 nb_sec=3673
case_no=170 label=Case6.158 nb_sol=0 ticks=527108 tps=100 nb_sec=5271
case_no=170 label=Case6.158 nb_sol=0 ticks=310610 tps=100 nb_sec=3106
case_no=170 label=Case6.158 nb_sol=0 ticks=337929 tps=100 nb_sec=3379
case_no=170 label=Case6.158 nb_sol=0 ticks=572846 tps=100 nb_sec=5728
case_no=170 label=Case6.158 nb_sol=0 ticks=578482 tps=100 nb_sec=5784
case_no=170 label=Case6.158 nb_sol=0 ticks=767068 tps=100 nb_sec=7670
case_no=170 label=Case6.158 nb_sol=0 ticks=357267 tps=100 nb_sec=3572
case_no=170 label=Case6.158 nb_sol=0 ticks=683183 tps=100 nb_sec=6831
case_no=170 label=Case6.158 nb_sol=0 ticks=295548 tps=100 nb_sec=2955
case_no=170 label=Case6.158 nb_sol=0 ticks=354624 tps=100 nb_sec=3546
case_no=170 label=Case6.158 nb_sol=0 ticks=568070 tps=100 nb_sec=5680
case_no=170 label=Case6.158 nb_sol=0 ticks=255859 tps=100 nb_sec=2558
case_no=170 label=Case6.158 nb_sol=0 ticks=320845 tps=100 nb_sec=3208
case_no=170 label=Case6.158 nb_sol=0 ticks=315927 tps=100 nb_sec=3159
case_no=170 label=Case6.158 nb_sol=0 ticks=273226 tps=100 nb_sec=2732
case_no=170 label=Case6.158 nb_sol=0 ticks=555975 tps=100 nb_sec=5559
case_no=170 label=Case6.158 nb_sol=0 ticks=688496 tps=100 nb_sec=6884
case_no=170 label=Case6.158 nb_sol=0 ticks=375820 tps=100 nb_sec=3758
case_no=170 label=Case6.158 nb_sol=0 ticks=535844 tps=100 nb_sec=5358
case_no=170 label=Case6.158 nb_sol=0 ticks=566613 tps=100 nb_sec=5666
case_no=170 label=Case6.158 nb_sol=0 ticks=477218 tps=100 nb_sec=4772
case_no=170 label=Case6.158 nb_sol=0 ticks=566652 tps=100 nb_sec=5666
case_no=170 label=Case6.158 nb_sol=0 ticks=450865 tps=100 nb_sec=4508
case_no=170 label=Case6.158 nb_sol=0 ticks=361295 tps=100 nb_sec=3612
case_no=170 label=Case6.158 nb_sol=0 ticks=387366 tps=100 nb_sec=3873
case_no=170 label=Case6.158 nb_sol=0 ticks=365557 tps=100 nb_sec=3655
case_no=170 label=Case6.158 nb_sol=0 ticks=266648 tps=100 nb_sec=2666
case_no=170 label=Case6.158 nb_sol=0 ticks=351299 tps=100 nb_sec=3512
case_no=170 label=Case6.158 nb_sol=0 ticks=306371 tps=100 nb_sec=3063
case_no=170 label=Case6.158 nb_sol=0 ticks=278111 tps=100 nb_sec=2781
case_no=170 label=Case6.158 nb_sol=0 ticks=214272 tps=100 nb_sec=2142
case_no=170 label=Case6.158 nb_sol=0 ticks=247365 tps=100 nb_sec=2473
case_no=170 label=Case6.158 nb_sol=0 ticks=288092 tps=100 nb_sec=2880
case_no=170 label=Case6.158 nb_sol=0 ticks=290513 tps=100 nb_sec=2905
case_no=170 label=Case6.158 nb_sol=0 ticks=501988 tps=100 nb_sec=5019
case_no=170 label=Case6.158 nb_sol=0 ticks=323961 tps=100 nb_sec=3239
case_no=170 label=Case6.158 nb_sol=0 ticks=740019 tps=100 nb_sec=7400
case_no=170 label=Case6.158 nb_sol=0 ticks=285572 tps=100 nb_sec=2855
case_no=170 label=Case6.158 nb_sol=0 ticks=332503 tps=100 nb_sec=3325
case_no=170 label=Case6.158 nb_sol=0 ticks=446022 tps=100 nb_sec=4460
case_no=170 label=Case6.158 nb_sol=0 ticks=582312 tps=100 nb_sec=5823
case_no=170 label=Case6.158 nb_sol=0 ticks=436950 tps=100 nb_sec=4369
case_no=170 label=Case6.158 nb_sol=0 ticks=222130 tps=100 nb_sec=2221
case_no=170 label=Case6.158 nb_sol=0 ticks=327061 tps=100 nb_sec=3270
case_no=170 label=Case6.158 nb_sol=0 ticks=250175 tps=100 nb_sec=2501
case_no=170 label=Case6.158 nb_sol=0 ticks=311847 tps=100 nb_sec=3118
case_no=170 label=Case6.158 nb_sol=0 ticks=380038 tps=100 nb_sec=3800
case_no=170 label=Case6.158 nb_sol=0 ticks=221007 tps=100 nb_sec=2210
case_no=170 label=Case6.158 nb_sol=0 ticks=253694 tps=100 nb_sec=2536
case_no=170 label=Case6.158 nb_sol=0 ticks=226570 tps=100 nb_sec=2265
case_no=170 label=Case6.158 nb_sol=0 ticks=524496 tps=100 nb_sec=5244
case_no=170 label=Case6.158 nb_sol=0 ticks=254004 tps=100 nb_sec=2540
case_no=170 label=Case6.158 nb_sol=0 ticks=306862 tps=100 nb_sec=3068
case_no=170 label=Case6.158 nb_sol=0 ticks=321897 tps=100 nb_sec=3218
case_no=170 label=Case6.158 nb_sol=0 ticks=347817 tps=100 nb_sec=3478
case_no=170 label=Case6.158 nb_sol=0 ticks=329737 tps=100 nb_sec=3297
case_no=170 label=Case6.158 nb_sol=0 ticks=328829 tps=100 nb_sec=3288
case_no=170 label=Case6.158 nb_sol=0 ticks=416535 tps=100 nb_sec=4165
case_no=170 label=Case6.158 nb_sol=0 ticks=259606 tps=100 nb_sec=2596
case_no=170 label=Case6.158 nb_sol=0 ticks=638335 tps=100 nb_sec=6383
case_no=170 label=Case6.158 nb_sol=0 ticks=629058 tps=100 nb_sec=6290
case_no=170 label=Case6.158 nb_sol=0 ticks=678362 tps=100 nb_sec=6783
case_no=170 label=Case6.158 nb_sol=0 ticks=555767 tps=100 nb_sec=5557
case_no=170 label=Case6.158 nb_sol=0 ticks=766627 tps=100 nb_sec=7666
case_no=170 label=Case6.158 nb_sol=0 ticks=694549 tps=100 nb_sec=6945
case_no=170 label=Case6.158 nb_sol=0 ticks=777362 tps=100 nb_sec=7773
case_no=170 label=Case6.158 nb_sol=0 ticks=506481 tps=100 nb_sec=5064
Nb_sol=0
Nb_sec=5847753
67-16:22:33 or 1624 hours
missing cases:
none