argc=5
-M 256
file2=30_select_Case6.170_starter_15_
checking files mod 256 from 0 to 255
case_no=182 label=Case6.170 nb_sol=0 ticks=207722 tps=100 nb_sec=2077
case_no=182 label=Case6.170 nb_sol=0 ticks=227438 tps=100 nb_sec=2274
case_no=182 label=Case6.170 nb_sol=0 ticks=266949 tps=100 nb_sec=2669
case_no=182 label=Case6.170 nb_sol=0 ticks=269839 tps=100 nb_sec=2698
case_no=182 label=Case6.170 nb_sol=0 ticks=210716 tps=100 nb_sec=2107
case_no=182 label=Case6.170 nb_sol=0 ticks=161463 tps=100 nb_sec=1614
case_no=182 label=Case6.170 nb_sol=0 ticks=199990 tps=100 nb_sec=1999
case_no=182 label=Case6.170 nb_sol=0 ticks=260411 tps=100 nb_sec=2604
case_no=182 label=Case6.170 nb_sol=0 ticks=222882 tps=100 nb_sec=2228
case_no=182 label=Case6.170 nb_sol=0 ticks=302564 tps=100 nb_sec=3025
case_no=182 label=Case6.170 nb_sol=0 ticks=297766 tps=100 nb_sec=2977
case_no=182 label=Case6.170 nb_sol=0 ticks=312488 tps=100 nb_sec=3124
case_no=182 label=Case6.170 nb_sol=0 ticks=344736 tps=100 nb_sec=3447
case_no=182 label=Case6.170 nb_sol=0 ticks=326378 tps=100 nb_sec=3263
case_no=182 label=Case6.170 nb_sol=0 ticks=468338 tps=100 nb_sec=4683
case_no=182 label=Case6.170 nb_sol=0 ticks=285865 tps=100 nb_sec=2858
case_no=182 label=Case6.170 nb_sol=0 ticks=277877 tps=100 nb_sec=2778
case_no=182 label=Case6.170 nb_sol=0 ticks=285349 tps=100 nb_sec=2853
case_no=182 label=Case6.170 nb_sol=0 ticks=194659 tps=100 nb_sec=1946
case_no=182 label=Case6.170 nb_sol=0 ticks=160210 tps=100 nb_sec=1602
case_no=182 label=Case6.170 nb_sol=0 ticks=176655 tps=100 nb_sec=1766
case_no=182 label=Case6.170 nb_sol=0 ticks=278892 tps=100 nb_sec=2788
case_no=182 label=Case6.170 nb_sol=0 ticks=128413 tps=100 nb_sec=1284
case_no=182 label=Case6.170 nb_sol=0 ticks=131402 tps=100 nb_sec=1314
case_no=182 label=Case6.170 nb_sol=0 ticks=111691 tps=100 nb_sec=1116
case_no=182 label=Case6.170 nb_sol=0 ticks=128213 tps=100 nb_sec=1282
case_no=182 label=Case6.170 nb_sol=0 ticks=180346 tps=100 nb_sec=1803
case_no=182 label=Case6.170 nb_sol=0 ticks=369941 tps=100 nb_sec=3699
case_no=182 label=Case6.170 nb_sol=0 ticks=232756 tps=100 nb_sec=2327
case_no=182 label=Case6.170 nb_sol=0 ticks=281512 tps=100 nb_sec=2815
case_no=182 label=Case6.170 nb_sol=0 ticks=355090 tps=100 nb_sec=3550
case_no=182 label=Case6.170 nb_sol=0 ticks=313293 tps=100 nb_sec=3132
case_no=182 label=Case6.170 nb_sol=0 ticks=291406 tps=100 nb_sec=2914
case_no=182 label=Case6.170 nb_sol=0 ticks=433885 tps=100 nb_sec=4338
case_no=182 label=Case6.170 nb_sol=0 ticks=256576 tps=100 nb_sec=2565
case_no=182 label=Case6.170 nb_sol=0 ticks=188477 tps=100 nb_sec=1884
case_no=182 label=Case6.170 nb_sol=0 ticks=152918 tps=100 nb_sec=1529
case_no=182 label=Case6.170 nb_sol=0 ticks=175230 tps=100 nb_sec=1752
case_no=182 label=Case6.170 nb_sol=0 ticks=286809 tps=100 nb_sec=2868
case_no=182 label=Case6.170 nb_sol=0 ticks=145215 tps=100 nb_sec=1452
case_no=182 label=Case6.170 nb_sol=0 ticks=135205 tps=100 nb_sec=1352
case_no=182 label=Case6.170 nb_sol=0 ticks=145957 tps=100 nb_sec=1459
case_no=182 label=Case6.170 nb_sol=0 ticks=181930 tps=100 nb_sec=1819
case_no=182 label=Case6.170 nb_sol=0 ticks=320356 tps=100 nb_sec=3203
case_no=182 label=Case6.170 nb_sol=0 ticks=344381 tps=100 nb_sec=3443
case_no=182 label=Case6.170 nb_sol=0 ticks=251949 tps=100 nb_sec=2519
case_no=182 label=Case6.170 nb_sol=0 ticks=209743 tps=100 nb_sec=2097
case_no=182 label=Case6.170 nb_sol=0 ticks=201269 tps=100 nb_sec=2012
case_no=182 label=Case6.170 nb_sol=0 ticks=337327 tps=100 nb_sec=3373
case_no=182 label=Case6.170 nb_sol=0 ticks=307378 tps=100 nb_sec=3073
case_no=182 label=Case6.170 nb_sol=0 ticks=231599 tps=100 nb_sec=2315
case_no=182 label=Case6.170 nb_sol=0 ticks=285414 tps=100 nb_sec=2854
case_no=182 label=Case6.170 nb_sol=0 ticks=339019 tps=100 nb_sec=3390
case_no=182 label=Case6.170 nb_sol=0 ticks=126022 tps=100 nb_sec=1260
case_no=182 label=Case6.170 nb_sol=0 ticks=177072 tps=100 nb_sec=1770
case_no=182 label=Case6.170 nb_sol=0 ticks=269141 tps=100 nb_sec=2691
case_no=182 label=Case6.170 nb_sol=0 ticks=321164 tps=100 nb_sec=3211
case_no=182 label=Case6.170 nb_sol=0 ticks=216712 tps=100 nb_sec=2167
case_no=182 label=Case6.170 nb_sol=0 ticks=259475 tps=100 nb_sec=2594
case_no=182 label=Case6.170 nb_sol=0 ticks=141823 tps=100 nb_sec=1418
case_no=182 label=Case6.170 nb_sol=0 ticks=312622 tps=100 nb_sec=3126
case_no=182 label=Case6.170 nb_sol=0 ticks=264035 tps=100 nb_sec=2640
case_no=182 label=Case6.170 nb_sol=0 ticks=197575 tps=100 nb_sec=1975
case_no=182 label=Case6.170 nb_sol=0 ticks=171092 tps=100 nb_sec=1710
case_no=182 label=Case6.170 nb_sol=0 ticks=185210 tps=100 nb_sec=1852
case_no=182 label=Case6.170 nb_sol=0 ticks=215725 tps=100 nb_sec=2157
case_no=182 label=Case6.170 nb_sol=0 ticks=181609 tps=100 nb_sec=1816
case_no=182 label=Case6.170 nb_sol=0 ticks=246621 tps=100 nb_sec=2466
case_no=182 label=Case6.170 nb_sol=0 ticks=348962 tps=100 nb_sec=3489
case_no=182 label=Case6.170 nb_sol=0 ticks=268328 tps=100 nb_sec=2683
case_no=182 label=Case6.170 nb_sol=0 ticks=275716 tps=100 nb_sec=2757
case_no=182 label=Case6.170 nb_sol=0 ticks=343989 tps=100 nb_sec=3439
case_no=182 label=Case6.170 nb_sol=0 ticks=223600 tps=100 nb_sec=2236
case_no=182 label=Case6.170 nb_sol=0 ticks=204190 tps=100 nb_sec=2041
case_no=182 label=Case6.170 nb_sol=0 ticks=287944 tps=100 nb_sec=2879
case_no=182 label=Case6.170 nb_sol=0 ticks=169922 tps=100 nb_sec=1699
case_no=182 label=Case6.170 nb_sol=0 ticks=240037 tps=100 nb_sec=2400
case_no=182 label=Case6.170 nb_sol=0 ticks=177672 tps=100 nb_sec=1776
case_no=182 label=Case6.170 nb_sol=0 ticks=356948 tps=100 nb_sec=3569
case_no=182 label=Case6.170 nb_sol=0 ticks=329468 tps=100 nb_sec=3294
case_no=182 label=Case6.170 nb_sol=0 ticks=221907 tps=100 nb_sec=2219
case_no=182 label=Case6.170 nb_sol=0 ticks=263109 tps=100 nb_sec=2631
case_no=182 label=Case6.170 nb_sol=0 ticks=444307 tps=100 nb_sec=4443
case_no=182 label=Case6.170 nb_sol=0 ticks=343331 tps=100 nb_sec=3433
case_no=182 label=Case6.170 nb_sol=0 ticks=257369 tps=100 nb_sec=2573
case_no=182 label=Case6.170 nb_sol=0 ticks=281834 tps=100 nb_sec=2818
case_no=182 label=Case6.170 nb_sol=0 ticks=249112 tps=100 nb_sec=2491
case_no=182 label=Case6.170 nb_sol=0 ticks=195235 tps=100 nb_sec=1952
case_no=182 label=Case6.170 nb_sol=0 ticks=246087 tps=100 nb_sec=2460
case_no=182 label=Case6.170 nb_sol=0 ticks=206760 tps=100 nb_sec=2067
case_no=182 label=Case6.170 nb_sol=0 ticks=157461 tps=100 nb_sec=1574
case_no=182 label=Case6.170 nb_sol=0 ticks=253343 tps=100 nb_sec=2533
case_no=182 label=Case6.170 nb_sol=0 ticks=246396 tps=100 nb_sec=2463
case_no=182 label=Case6.170 nb_sol=0 ticks=191628 tps=100 nb_sec=1916
case_no=182 label=Case6.170 nb_sol=0 ticks=207549 tps=100 nb_sec=2075
case_no=182 label=Case6.170 nb_sol=0 ticks=183361 tps=100 nb_sec=1833
case_no=182 label=Case6.170 nb_sol=0 ticks=190897 tps=100 nb_sec=1908
case_no=182 label=Case6.170 nb_sol=0 ticks=284378 tps=100 nb_sec=2843
case_no=182 label=Case6.170 nb_sol=0 ticks=267815 tps=100 nb_sec=2678
case_no=182 label=Case6.170 nb_sol=0 ticks=217535 tps=100 nb_sec=2175
case_no=182 label=Case6.170 nb_sol=0 ticks=196330 tps=100 nb_sec=1963
case_no=182 label=Case6.170 nb_sol=0 ticks=264654 tps=100 nb_sec=2646
case_no=182 label=Case6.170 nb_sol=0 ticks=229815 tps=100 nb_sec=2298
case_no=182 label=Case6.170 nb_sol=0 ticks=355076 tps=100 nb_sec=3550
case_no=182 label=Case6.170 nb_sol=0 ticks=225584 tps=100 nb_sec=2255
case_no=182 label=Case6.170 nb_sol=0 ticks=281412 tps=100 nb_sec=2814
case_no=182 label=Case6.170 nb_sol=0 ticks=261747 tps=100 nb_sec=2617
case_no=182 label=Case6.170 nb_sol=0 ticks=200097 tps=100 nb_sec=2000
case_no=182 label=Case6.170 nb_sol=0 ticks=217379 tps=100 nb_sec=2173
case_no=182 label=Case6.170 nb_sol=0 ticks=265179 tps=100 nb_sec=2651
case_no=182 label=Case6.170 nb_sol=0 ticks=260257 tps=100 nb_sec=2602
case_no=182 label=Case6.170 nb_sol=0 ticks=253819 tps=100 nb_sec=2538
case_no=182 label=Case6.170 nb_sol=0 ticks=185008 tps=100 nb_sec=1850
case_no=182 label=Case6.170 nb_sol=0 ticks=143794 tps=100 nb_sec=1437
case_no=182 label=Case6.170 nb_sol=0 ticks=224020 tps=100 nb_sec=2240
case_no=182 label=Case6.170 nb_sol=0 ticks=247144 tps=100 nb_sec=2471
case_no=182 label=Case6.170 nb_sol=0 ticks=231453 tps=100 nb_sec=2314
case_no=182 label=Case6.170 nb_sol=0 ticks=209783 tps=100 nb_sec=2097
case_no=182 label=Case6.170 nb_sol=0 ticks=182124 tps=100 nb_sec=1821
case_no=182 label=Case6.170 nb_sol=0 ticks=247609 tps=100 nb_sec=2476
case_no=182 label=Case6.170 nb_sol=0 ticks=238146 tps=100 nb_sec=2381
case_no=182 label=Case6.170 nb_sol=0 ticks=270644 tps=100 nb_sec=2706
case_no=182 label=Case6.170 nb_sol=0 ticks=196539 tps=100 nb_sec=1965
case_no=182 label=Case6.170 nb_sol=0 ticks=169722 tps=100 nb_sec=1697
case_no=182 label=Case6.170 nb_sol=0 ticks=186442 tps=100 nb_sec=1864
case_no=182 label=Case6.170 nb_sol=0 ticks=177624 tps=100 nb_sec=1776
case_no=182 label=Case6.170 nb_sol=0 ticks=163156 tps=100 nb_sec=1631
case_no=182 label=Case6.170 nb_sol=0 ticks=252712 tps=100 nb_sec=2527
case_no=182 label=Case6.170 nb_sol=0 ticks=168882 tps=100 nb_sec=1688
case_no=182 label=Case6.170 nb_sol=0 ticks=255097 tps=100 nb_sec=2550
case_no=182 label=Case6.170 nb_sol=0 ticks=188674 tps=100 nb_sec=1886
case_no=182 label=Case6.170 nb_sol=0 ticks=166804 tps=100 nb_sec=1668
case_no=182 label=Case6.170 nb_sol=0 ticks=175954 tps=100 nb_sec=1759
case_no=182 label=Case6.170 nb_sol=0 ticks=214539 tps=100 nb_sec=2145
case_no=182 label=Case6.170 nb_sol=0 ticks=187587 tps=100 nb_sec=1875
case_no=182 label=Case6.170 nb_sol=0 ticks=150594 tps=100 nb_sec=1505
case_no=182 label=Case6.170 nb_sol=0 ticks=142282 tps=100 nb_sec=1422
case_no=182 label=Case6.170 nb_sol=0 ticks=141923 tps=100 nb_sec=1419
case_no=182 label=Case6.170 nb_sol=0 ticks=154277 tps=100 nb_sec=1542
case_no=182 label=Case6.170 nb_sol=0 ticks=291793 tps=100 nb_sec=2917
case_no=182 label=Case6.170 nb_sol=0 ticks=226682 tps=100 nb_sec=2266
case_no=182 label=Case6.170 nb_sol=0 ticks=303734 tps=100 nb_sec=3037
case_no=182 label=Case6.170 nb_sol=0 ticks=222186 tps=100 nb_sec=2221
case_no=182 label=Case6.170 nb_sol=0 ticks=248723 tps=100 nb_sec=2487
case_no=182 label=Case6.170 nb_sol=0 ticks=146775 tps=100 nb_sec=1467
case_no=182 label=Case6.170 nb_sol=0 ticks=192959 tps=100 nb_sec=1929
case_no=182 label=Case6.170 nb_sol=0 ticks=220555 tps=100 nb_sec=2205
case_no=182 label=Case6.170 nb_sol=0 ticks=241514 tps=100 nb_sec=2415
case_no=182 label=Case6.170 nb_sol=0 ticks=100130 tps=100 nb_sec=1001
case_no=182 label=Case6.170 nb_sol=0 ticks=282913 tps=100 nb_sec=2829
case_no=182 label=Case6.170 nb_sol=0 ticks=233702 tps=100 nb_sec=2337
case_no=182 label=Case6.170 nb_sol=0 ticks=278882 tps=100 nb_sec=2788
case_no=182 label=Case6.170 nb_sol=0 ticks=230827 tps=100 nb_sec=2308
case_no=182 label=Case6.170 nb_sol=0 ticks=179208 tps=100 nb_sec=1792
case_no=182 label=Case6.170 nb_sol=0 ticks=207812 tps=100 nb_sec=2078
case_no=182 label=Case6.170 nb_sol=0 ticks=200183 tps=100 nb_sec=2001
case_no=182 label=Case6.170 nb_sol=0 ticks=216585 tps=100 nb_sec=2165
case_no=182 label=Case6.170 nb_sol=0 ticks=232615 tps=100 nb_sec=2326
case_no=182 label=Case6.170 nb_sol=0 ticks=201811 tps=100 nb_sec=2018
case_no=182 label=Case6.170 nb_sol=0 ticks=219022 tps=100 nb_sec=2190
case_no=182 label=Case6.170 nb_sol=0 ticks=243304 tps=100 nb_sec=2433
case_no=182 label=Case6.170 nb_sol=0 ticks=171088 tps=100 nb_sec=1710
case_no=182 label=Case6.170 nb_sol=0 ticks=193512 tps=100 nb_sec=1935
case_no=182 label=Case6.170 nb_sol=0 ticks=111810 tps=100 nb_sec=1118
case_no=182 label=Case6.170 nb_sol=0 ticks=203086 tps=100 nb_sec=2030
case_no=182 label=Case6.170 nb_sol=0 ticks=201804 tps=100 nb_sec=2018
case_no=182 label=Case6.170 nb_sol=0 ticks=173346 tps=100 nb_sec=1733
case_no=182 label=Case6.170 nb_sol=0 ticks=178045 tps=100 nb_sec=1780
case_no=182 label=Case6.170 nb_sol=0 ticks=137779 tps=100 nb_sec=1377
case_no=182 label=Case6.170 nb_sol=0 ticks=101626 tps=100 nb_sec=1016
case_no=182 label=Case6.170 nb_sol=0 ticks=124828 tps=100 nb_sec=1248
case_no=182 label=Case6.170 nb_sol=0 ticks=200228 tps=100 nb_sec=2002
case_no=182 label=Case6.170 nb_sol=0 ticks=185729 tps=100 nb_sec=1857
case_no=182 label=Case6.170 nb_sol=0 ticks=283582 tps=100 nb_sec=2835
case_no=182 label=Case6.170 nb_sol=0 ticks=384583 tps=100 nb_sec=3845
case_no=182 label=Case6.170 nb_sol=0 ticks=237873 tps=100 nb_sec=2378
case_no=182 label=Case6.170 nb_sol=0 ticks=193918 tps=100 nb_sec=1939
case_no=182 label=Case6.170 nb_sol=0 ticks=223813 tps=100 nb_sec=2238
case_no=182 label=Case6.170 nb_sol=0 ticks=175756 tps=100 nb_sec=1757
case_no=182 label=Case6.170 nb_sol=0 ticks=148611 tps=100 nb_sec=1486
case_no=182 label=Case6.170 nb_sol=0 ticks=208212 tps=100 nb_sec=2082
case_no=182 label=Case6.170 nb_sol=0 ticks=105911 tps=100 nb_sec=1059
case_no=182 label=Case6.170 nb_sol=0 ticks=207915 tps=100 nb_sec=2079
case_no=182 label=Case6.170 nb_sol=0 ticks=203546 tps=100 nb_sec=2035
case_no=182 label=Case6.170 nb_sol=0 ticks=168859 tps=100 nb_sec=1688
case_no=182 label=Case6.170 nb_sol=0 ticks=168575 tps=100 nb_sec=1685
case_no=182 label=Case6.170 nb_sol=0 ticks=268252 tps=100 nb_sec=2682
case_no=182 label=Case6.170 nb_sol=0 ticks=186209 tps=100 nb_sec=1862
case_no=182 label=Case6.170 nb_sol=0 ticks=239392 tps=100 nb_sec=2393
case_no=182 label=Case6.170 nb_sol=0 ticks=283374 tps=100 nb_sec=2833
case_no=182 label=Case6.170 nb_sol=0 ticks=154609 tps=100 nb_sec=1546
case_no=182 label=Case6.170 nb_sol=0 ticks=257261 tps=100 nb_sec=2572
case_no=182 label=Case6.170 nb_sol=0 ticks=220990 tps=100 nb_sec=2209
case_no=182 label=Case6.170 nb_sol=0 ticks=176924 tps=100 nb_sec=1769
case_no=182 label=Case6.170 nb_sol=0 ticks=106131 tps=100 nb_sec=1061
case_no=182 label=Case6.170 nb_sol=0 ticks=229226 tps=100 nb_sec=2292
case_no=182 label=Case6.170 nb_sol=0 ticks=195315 tps=100 nb_sec=1953
case_no=182 label=Case6.170 nb_sol=0 ticks=186424 tps=100 nb_sec=1864
case_no=182 label=Case6.170 nb_sol=0 ticks=218857 tps=100 nb_sec=2188
case_no=182 label=Case6.170 nb_sol=0 ticks=124459 tps=100 nb_sec=1244
case_no=182 label=Case6.170 nb_sol=0 ticks=279287 tps=100 nb_sec=2792
case_no=182 label=Case6.170 nb_sol=0 ticks=198707 tps=100 nb_sec=1987
case_no=182 label=Case6.170 nb_sol=0 ticks=207673 tps=100 nb_sec=2076
case_no=182 label=Case6.170 nb_sol=0 ticks=217448 tps=100 nb_sec=2174
case_no=182 label=Case6.170 nb_sol=0 ticks=214654 tps=100 nb_sec=2146
case_no=182 label=Case6.170 nb_sol=0 ticks=149872 tps=100 nb_sec=1498
case_no=182 label=Case6.170 nb_sol=0 ticks=213121 tps=100 nb_sec=2131
case_no=182 label=Case6.170 nb_sol=0 ticks=224275 tps=100 nb_sec=2242
case_no=182 label=Case6.170 nb_sol=0 ticks=148376 tps=100 nb_sec=1483
case_no=182 label=Case6.170 nb_sol=0 ticks=241540 tps=100 nb_sec=2415
case_no=182 label=Case6.170 nb_sol=0 ticks=185710 tps=100 nb_sec=1857
case_no=182 label=Case6.170 nb_sol=0 ticks=154737 tps=100 nb_sec=1547
case_no=182 label=Case6.170 nb_sol=0 ticks=177873 tps=100 nb_sec=1778
case_no=182 label=Case6.170 nb_sol=0 ticks=269606 tps=100 nb_sec=2696
case_no=182 label=Case6.170 nb_sol=0 ticks=273381 tps=100 nb_sec=2733
case_no=182 label=Case6.170 nb_sol=0 ticks=237680 tps=100 nb_sec=2376
case_no=182 label=Case6.170 nb_sol=0 ticks=264152 tps=100 nb_sec=2641
case_no=182 label=Case6.170 nb_sol=0 ticks=224046 tps=100 nb_sec=2240
case_no=182 label=Case6.170 nb_sol=0 ticks=261546 tps=100 nb_sec=2615
case_no=182 label=Case6.170 nb_sol=0 ticks=171479 tps=100 nb_sec=1714
case_no=182 label=Case6.170 nb_sol=0 ticks=216790 tps=100 nb_sec=2167
case_no=182 label=Case6.170 nb_sol=0 ticks=174646 tps=100 nb_sec=1746
case_no=182 label=Case6.170 nb_sol=0 ticks=161351 tps=100 nb_sec=1613
case_no=182 label=Case6.170 nb_sol=0 ticks=151256 tps=100 nb_sec=1512
case_no=182 label=Case6.170 nb_sol=0 ticks=124197 tps=100 nb_sec=1241
case_no=182 label=Case6.170 nb_sol=0 ticks=221274 tps=100 nb_sec=2212
case_no=182 label=Case6.170 nb_sol=0 ticks=152142 tps=100 nb_sec=1521
case_no=182 label=Case6.170 nb_sol=0 ticks=189811 tps=100 nb_sec=1898
case_no=182 label=Case6.170 nb_sol=0 ticks=235990 tps=100 nb_sec=2359
case_no=182 label=Case6.170 nb_sol=0 ticks=179324 tps=100 nb_sec=1793
case_no=182 label=Case6.170 nb_sol=0 ticks=139071 tps=100 nb_sec=1390
case_no=182 label=Case6.170 nb_sol=0 ticks=213535 tps=100 nb_sec=2135
case_no=182 label=Case6.170 nb_sol=0 ticks=215438 tps=100 nb_sec=2154
case_no=182 label=Case6.170 nb_sol=0 ticks=164268 tps=100 nb_sec=1642
case_no=182 label=Case6.170 nb_sol=0 ticks=210617 tps=100 nb_sec=2106
case_no=182 label=Case6.170 nb_sol=0 ticks=156439 tps=100 nb_sec=1564
case_no=182 label=Case6.170 nb_sol=0 ticks=161032 tps=100 nb_sec=1610
case_no=182 label=Case6.170 nb_sol=0 ticks=191820 tps=100 nb_sec=1918
case_no=182 label=Case6.170 nb_sol=0 ticks=158581 tps=100 nb_sec=1585
case_no=182 label=Case6.170 nb_sol=0 ticks=157568 tps=100 nb_sec=1575
case_no=182 label=Case6.170 nb_sol=0 ticks=262475 tps=100 nb_sec=2624
case_no=182 label=Case6.170 nb_sol=0 ticks=290112 tps=100 nb_sec=2901
case_no=182 label=Case6.170 nb_sol=0 ticks=204939 tps=100 nb_sec=2049
case_no=182 label=Case6.170 nb_sol=0 ticks=189181 tps=100 nb_sec=1891
case_no=182 label=Case6.170 nb_sol=0 ticks=166792 tps=100 nb_sec=1667
case_no=182 label=Case6.170 nb_sol=0 ticks=218202 tps=100 nb_sec=2182
case_no=182 label=Case6.170 nb_sol=0 ticks=208161 tps=100 nb_sec=2081
case_no=182 label=Case6.170 nb_sol=0 ticks=181661 tps=100 nb_sec=1816
case_no=182 label=Case6.170 nb_sol=0 ticks=218289 tps=100 nb_sec=2182
case_no=182 label=Case6.170 nb_sol=0 ticks=170868 tps=100 nb_sec=1708
case_no=182 label=Case6.170 nb_sol=0 ticks=196099 tps=100 nb_sec=1960
case_no=182 label=Case6.170 nb_sol=0 ticks=167081 tps=100 nb_sec=1670
case_no=182 label=Case6.170 nb_sol=0 ticks=163568 tps=100 nb_sec=1635
case_no=182 label=Case6.170 nb_sol=0 ticks=191258 tps=100 nb_sec=1912
case_no=182 label=Case6.170 nb_sol=0 ticks=194022 tps=100 nb_sec=1940
case_no=182 label=Case6.170 nb_sol=0 ticks=198709 tps=100 nb_sec=1987
Nb_sol=0
Nb_sec=564627
6-12:50:27 or 156 hours
missing cases:
none