argc=5
-M 256
file2=30_select_Case6.100_starter_15_
checking files mod 256 from 0 to 255
case_no=112 label=Case6.100 nb_sol=0 ticks=216968 tps=100 nb_sec=2169
case_no=112 label=Case6.100 nb_sol=0 ticks=258379 tps=100 nb_sec=2583
case_no=112 label=Case6.100 nb_sol=0 ticks=173531 tps=100 nb_sec=1735
case_no=112 label=Case6.100 nb_sol=0 ticks=175530 tps=100 nb_sec=1755
case_no=112 label=Case6.100 nb_sol=0 ticks=150911 tps=100 nb_sec=1509
case_no=112 label=Case6.100 nb_sol=0 ticks=148867 tps=100 nb_sec=1488
case_no=112 label=Case6.100 nb_sol=0 ticks=388217 tps=100 nb_sec=3882
case_no=112 label=Case6.100 nb_sol=0 ticks=173415 tps=100 nb_sec=1734
case_no=112 label=Case6.100 nb_sol=0 ticks=318582 tps=100 nb_sec=3185
case_no=112 label=Case6.100 nb_sol=0 ticks=201570 tps=100 nb_sec=2015
case_no=112 label=Case6.100 nb_sol=0 ticks=375888 tps=100 nb_sec=3758
case_no=112 label=Case6.100 nb_sol=0 ticks=267703 tps=100 nb_sec=2677
case_no=112 label=Case6.100 nb_sol=0 ticks=350215 tps=100 nb_sec=3502
case_no=112 label=Case6.100 nb_sol=0 ticks=248169 tps=100 nb_sec=2481
case_no=112 label=Case6.100 nb_sol=0 ticks=199526 tps=100 nb_sec=1995
case_no=112 label=Case6.100 nb_sol=0 ticks=97481 tps=100 nb_sec=974
case_no=112 label=Case6.100 nb_sol=0 ticks=304609 tps=100 nb_sec=3046
case_no=112 label=Case6.100 nb_sol=0 ticks=260124 tps=100 nb_sec=2601
case_no=112 label=Case6.100 nb_sol=0 ticks=403643 tps=100 nb_sec=4036
case_no=112 label=Case6.100 nb_sol=0 ticks=309384 tps=100 nb_sec=3093
case_no=112 label=Case6.100 nb_sol=0 ticks=206916 tps=100 nb_sec=2069
case_no=112 label=Case6.100 nb_sol=0 ticks=76343 tps=100 nb_sec=763
case_no=112 label=Case6.100 nb_sol=0 ticks=187878 tps=100 nb_sec=1878
case_no=112 label=Case6.100 nb_sol=0 ticks=241928 tps=100 nb_sec=2419
case_no=112 label=Case6.100 nb_sol=0 ticks=383966 tps=100 nb_sec=3839
case_no=112 label=Case6.100 nb_sol=0 ticks=169322 tps=100 nb_sec=1693
case_no=112 label=Case6.100 nb_sol=0 ticks=235648 tps=100 nb_sec=2356
case_no=112 label=Case6.100 nb_sol=0 ticks=310120 tps=100 nb_sec=3101
case_no=112 label=Case6.100 nb_sol=0 ticks=186879 tps=100 nb_sec=1868
case_no=112 label=Case6.100 nb_sol=0 ticks=171305 tps=100 nb_sec=1713
case_no=112 label=Case6.100 nb_sol=0 ticks=321482 tps=100 nb_sec=3214
case_no=112 label=Case6.100 nb_sol=0 ticks=164401 tps=100 nb_sec=1644
case_no=112 label=Case6.100 nb_sol=0 ticks=262717 tps=100 nb_sec=2627
case_no=112 label=Case6.100 nb_sol=0 ticks=146042 tps=100 nb_sec=1460
case_no=112 label=Case6.100 nb_sol=0 ticks=254172 tps=100 nb_sec=2541
case_no=112 label=Case6.100 nb_sol=0 ticks=182281 tps=100 nb_sec=1822
case_no=112 label=Case6.100 nb_sol=0 ticks=282468 tps=100 nb_sec=2824
case_no=112 label=Case6.100 nb_sol=0 ticks=218617 tps=100 nb_sec=2186
case_no=112 label=Case6.100 nb_sol=0 ticks=255990 tps=100 nb_sec=2559
case_no=112 label=Case6.100 nb_sol=0 ticks=247606 tps=100 nb_sec=2476
case_no=112 label=Case6.100 nb_sol=0 ticks=258190 tps=100 nb_sec=2581
case_no=112 label=Case6.100 nb_sol=0 ticks=235547 tps=100 nb_sec=2355
case_no=112 label=Case6.100 nb_sol=0 ticks=295256 tps=100 nb_sec=2952
case_no=112 label=Case6.100 nb_sol=0 ticks=208856 tps=100 nb_sec=2088
case_no=112 label=Case6.100 nb_sol=0 ticks=198923 tps=100 nb_sec=1989
case_no=112 label=Case6.100 nb_sol=0 ticks=196315 tps=100 nb_sec=1963
case_no=112 label=Case6.100 nb_sol=0 ticks=259424 tps=100 nb_sec=2594
case_no=112 label=Case6.100 nb_sol=0 ticks=145000 tps=100 nb_sec=1450
case_no=112 label=Case6.100 nb_sol=0 ticks=173736 tps=100 nb_sec=1737
case_no=112 label=Case6.100 nb_sol=0 ticks=281593 tps=100 nb_sec=2815
case_no=112 label=Case6.100 nb_sol=0 ticks=205701 tps=100 nb_sec=2057
case_no=112 label=Case6.100 nb_sol=0 ticks=260439 tps=100 nb_sec=2604
case_no=112 label=Case6.100 nb_sol=0 ticks=265464 tps=100 nb_sec=2654
case_no=112 label=Case6.100 nb_sol=0 ticks=190827 tps=100 nb_sec=1908
case_no=112 label=Case6.100 nb_sol=0 ticks=213832 tps=100 nb_sec=2138
case_no=112 label=Case6.100 nb_sol=0 ticks=231211 tps=100 nb_sec=2312
case_no=112 label=Case6.100 nb_sol=0 ticks=191080 tps=100 nb_sec=1910
case_no=112 label=Case6.100 nb_sol=0 ticks=139321 tps=100 nb_sec=1393
case_no=112 label=Case6.100 nb_sol=0 ticks=234180 tps=100 nb_sec=2341
case_no=112 label=Case6.100 nb_sol=0 ticks=177355 tps=100 nb_sec=1773
case_no=112 label=Case6.100 nb_sol=0 ticks=196083 tps=100 nb_sec=1960
case_no=112 label=Case6.100 nb_sol=0 ticks=213894 tps=100 nb_sec=2138
case_no=112 label=Case6.100 nb_sol=0 ticks=115225 tps=100 nb_sec=1152
case_no=112 label=Case6.100 nb_sol=0 ticks=184502 tps=100 nb_sec=1845
case_no=112 label=Case6.100 nb_sol=0 ticks=212912 tps=100 nb_sec=2129
case_no=112 label=Case6.100 nb_sol=0 ticks=94149 tps=100 nb_sec=941
case_no=112 label=Case6.100 nb_sol=0 ticks=209205 tps=100 nb_sec=2092
case_no=112 label=Case6.100 nb_sol=0 ticks=198717 tps=100 nb_sec=1987
case_no=112 label=Case6.100 nb_sol=0 ticks=118543 tps=100 nb_sec=1185
case_no=112 label=Case6.100 nb_sol=0 ticks=127172 tps=100 nb_sec=1271
case_no=112 label=Case6.100 nb_sol=0 ticks=137132 tps=100 nb_sec=1371
case_no=112 label=Case6.100 nb_sol=0 ticks=217560 tps=100 nb_sec=2175
case_no=112 label=Case6.100 nb_sol=0 ticks=280227 tps=100 nb_sec=2802
case_no=112 label=Case6.100 nb_sol=0 ticks=171704 tps=100 nb_sec=1717
case_no=112 label=Case6.100 nb_sol=0 ticks=218301 tps=100 nb_sec=2183
case_no=112 label=Case6.100 nb_sol=0 ticks=240538 tps=100 nb_sec=2405
case_no=112 label=Case6.100 nb_sol=0 ticks=288975 tps=100 nb_sec=2889
case_no=112 label=Case6.100 nb_sol=0 ticks=250049 tps=100 nb_sec=2500
case_no=112 label=Case6.100 nb_sol=0 ticks=288798 tps=100 nb_sec=2887
case_no=112 label=Case6.100 nb_sol=0 ticks=222899 tps=100 nb_sec=2228
case_no=112 label=Case6.100 nb_sol=0 ticks=291416 tps=100 nb_sec=2914
case_no=112 label=Case6.100 nb_sol=0 ticks=168737 tps=100 nb_sec=1687
case_no=112 label=Case6.100 nb_sol=0 ticks=235418 tps=100 nb_sec=2354
case_no=112 label=Case6.100 nb_sol=0 ticks=97806 tps=100 nb_sec=978
case_no=112 label=Case6.100 nb_sol=0 ticks=271981 tps=100 nb_sec=2719
case_no=112 label=Case6.100 nb_sol=0 ticks=257263 tps=100 nb_sec=2572
case_no=112 label=Case6.100 nb_sol=0 ticks=276003 tps=100 nb_sec=2760
case_no=112 label=Case6.100 nb_sol=0 ticks=216264 tps=100 nb_sec=2162
case_no=112 label=Case6.100 nb_sol=0 ticks=247402 tps=100 nb_sec=2474
case_no=112 label=Case6.100 nb_sol=0 ticks=239691 tps=100 nb_sec=2396
case_no=112 label=Case6.100 nb_sol=0 ticks=246375 tps=100 nb_sec=2463
case_no=112 label=Case6.100 nb_sol=0 ticks=242214 tps=100 nb_sec=2422
case_no=112 label=Case6.100 nb_sol=0 ticks=405170 tps=100 nb_sec=4051
case_no=112 label=Case6.100 nb_sol=0 ticks=313837 tps=100 nb_sec=3138
case_no=112 label=Case6.100 nb_sol=0 ticks=432594 tps=100 nb_sec=4325
case_no=112 label=Case6.100 nb_sol=0 ticks=176829 tps=100 nb_sec=1768
case_no=112 label=Case6.100 nb_sol=0 ticks=131977 tps=100 nb_sec=1319
case_no=112 label=Case6.100 nb_sol=0 ticks=175904 tps=100 nb_sec=1759
case_no=112 label=Case6.100 nb_sol=0 ticks=211975 tps=100 nb_sec=2119
case_no=112 label=Case6.100 nb_sol=0 ticks=132683 tps=100 nb_sec=1326
case_no=112 label=Case6.100 nb_sol=0 ticks=255086 tps=100 nb_sec=2550
case_no=112 label=Case6.100 nb_sol=0 ticks=191894 tps=100 nb_sec=1918
case_no=112 label=Case6.100 nb_sol=0 ticks=251313 tps=100 nb_sec=2513
case_no=112 label=Case6.100 nb_sol=0 ticks=173490 tps=100 nb_sec=1734
case_no=112 label=Case6.100 nb_sol=0 ticks=285800 tps=100 nb_sec=2858
case_no=112 label=Case6.100 nb_sol=0 ticks=167030 tps=100 nb_sec=1670
case_no=112 label=Case6.100 nb_sol=0 ticks=172545 tps=100 nb_sec=1725
case_no=112 label=Case6.100 nb_sol=0 ticks=236690 tps=100 nb_sec=2366
case_no=112 label=Case6.100 nb_sol=0 ticks=208907 tps=100 nb_sec=2089
case_no=112 label=Case6.100 nb_sol=0 ticks=135080 tps=100 nb_sec=1350
case_no=112 label=Case6.100 nb_sol=0 ticks=195453 tps=100 nb_sec=1954
case_no=112 label=Case6.100 nb_sol=0 ticks=161075 tps=100 nb_sec=1610
case_no=112 label=Case6.100 nb_sol=0 ticks=284798 tps=100 nb_sec=2847
case_no=112 label=Case6.100 nb_sol=0 ticks=178028 tps=100 nb_sec=1780
case_no=112 label=Case6.100 nb_sol=0 ticks=186208 tps=100 nb_sec=1862
case_no=112 label=Case6.100 nb_sol=0 ticks=152817 tps=100 nb_sec=1528
case_no=112 label=Case6.100 nb_sol=0 ticks=242297 tps=100 nb_sec=2422
case_no=112 label=Case6.100 nb_sol=0 ticks=85389 tps=100 nb_sec=853
case_no=112 label=Case6.100 nb_sol=0 ticks=217121 tps=100 nb_sec=2171
case_no=112 label=Case6.100 nb_sol=0 ticks=149986 tps=100 nb_sec=1499
case_no=112 label=Case6.100 nb_sol=0 ticks=200965 tps=100 nb_sec=2009
case_no=112 label=Case6.100 nb_sol=0 ticks=192298 tps=100 nb_sec=1922
case_no=112 label=Case6.100 nb_sol=0 ticks=192274 tps=100 nb_sec=1922
case_no=112 label=Case6.100 nb_sol=0 ticks=264028 tps=100 nb_sec=2640
case_no=112 label=Case6.100 nb_sol=0 ticks=237170 tps=100 nb_sec=2371
case_no=112 label=Case6.100 nb_sol=0 ticks=195756 tps=100 nb_sec=1957
case_no=112 label=Case6.100 nb_sol=0 ticks=213600 tps=100 nb_sec=2136
case_no=112 label=Case6.100 nb_sol=0 ticks=239214 tps=100 nb_sec=2392
case_no=112 label=Case6.100 nb_sol=0 ticks=146943 tps=100 nb_sec=1469
case_no=112 label=Case6.100 nb_sol=0 ticks=190246 tps=100 nb_sec=1902
case_no=112 label=Case6.100 nb_sol=0 ticks=201013 tps=100 nb_sec=2010
case_no=112 label=Case6.100 nb_sol=0 ticks=274261 tps=100 nb_sec=2742
case_no=112 label=Case6.100 nb_sol=0 ticks=214634 tps=100 nb_sec=2146
case_no=112 label=Case6.100 nb_sol=0 ticks=204810 tps=100 nb_sec=2048
case_no=112 label=Case6.100 nb_sol=0 ticks=306540 tps=100 nb_sec=3065
case_no=112 label=Case6.100 nb_sol=0 ticks=170683 tps=100 nb_sec=1706
case_no=112 label=Case6.100 nb_sol=0 ticks=150368 tps=100 nb_sec=1503
case_no=112 label=Case6.100 nb_sol=0 ticks=217537 tps=100 nb_sec=2175
case_no=112 label=Case6.100 nb_sol=0 ticks=179631 tps=100 nb_sec=1796
case_no=112 label=Case6.100 nb_sol=0 ticks=275206 tps=100 nb_sec=2752
case_no=112 label=Case6.100 nb_sol=0 ticks=113709 tps=100 nb_sec=1137
case_no=112 label=Case6.100 nb_sol=0 ticks=211552 tps=100 nb_sec=2115
case_no=112 label=Case6.100 nb_sol=0 ticks=111388 tps=100 nb_sec=1113
case_no=112 label=Case6.100 nb_sol=0 ticks=333800 tps=100 nb_sec=3338
case_no=112 label=Case6.100 nb_sol=0 ticks=104856 tps=100 nb_sec=1048
case_no=112 label=Case6.100 nb_sol=0 ticks=225560 tps=100 nb_sec=2255
case_no=112 label=Case6.100 nb_sol=0 ticks=179825 tps=100 nb_sec=1798
case_no=112 label=Case6.100 nb_sol=0 ticks=235249 tps=100 nb_sec=2352
case_no=112 label=Case6.100 nb_sol=0 ticks=229554 tps=100 nb_sec=2295
case_no=112 label=Case6.100 nb_sol=0 ticks=236397 tps=100 nb_sec=2363
case_no=112 label=Case6.100 nb_sol=0 ticks=272417 tps=100 nb_sec=2724
case_no=112 label=Case6.100 nb_sol=0 ticks=209965 tps=100 nb_sec=2099
case_no=112 label=Case6.100 nb_sol=0 ticks=158732 tps=100 nb_sec=1587
case_no=112 label=Case6.100 nb_sol=0 ticks=83045 tps=100 nb_sec=830
case_no=112 label=Case6.100 nb_sol=0 ticks=105186 tps=100 nb_sec=1051
case_no=112 label=Case6.100 nb_sol=0 ticks=227828 tps=100 nb_sec=2278
case_no=112 label=Case6.100 nb_sol=0 ticks=186889 tps=100 nb_sec=1868
case_no=112 label=Case6.100 nb_sol=0 ticks=162220 tps=100 nb_sec=1622
case_no=112 label=Case6.100 nb_sol=0 ticks=174101 tps=100 nb_sec=1741
case_no=112 label=Case6.100 nb_sol=0 ticks=178615 tps=100 nb_sec=1786
case_no=112 label=Case6.100 nb_sol=0 ticks=98857 tps=100 nb_sec=988
case_no=112 label=Case6.100 nb_sol=0 ticks=209272 tps=100 nb_sec=2092
case_no=112 label=Case6.100 nb_sol=0 ticks=158885 tps=100 nb_sec=1588
case_no=112 label=Case6.100 nb_sol=0 ticks=167270 tps=100 nb_sec=1672
case_no=112 label=Case6.100 nb_sol=0 ticks=187325 tps=100 nb_sec=1873
case_no=112 label=Case6.100 nb_sol=0 ticks=84126 tps=100 nb_sec=841
case_no=112 label=Case6.100 nb_sol=0 ticks=214670 tps=100 nb_sec=2146
case_no=112 label=Case6.100 nb_sol=0 ticks=191290 tps=100 nb_sec=1912
case_no=112 label=Case6.100 nb_sol=0 ticks=198046 tps=100 nb_sec=1980
case_no=112 label=Case6.100 nb_sol=0 ticks=195970 tps=100 nb_sec=1959
case_no=112 label=Case6.100 nb_sol=0 ticks=194141 tps=100 nb_sec=1941
case_no=112 label=Case6.100 nb_sol=0 ticks=261113 tps=100 nb_sec=2611
case_no=112 label=Case6.100 nb_sol=0 ticks=223090 tps=100 nb_sec=2230
case_no=112 label=Case6.100 nb_sol=0 ticks=218029 tps=100 nb_sec=2180
case_no=112 label=Case6.100 nb_sol=0 ticks=326026 tps=100 nb_sec=3260
case_no=112 label=Case6.100 nb_sol=0 ticks=258849 tps=100 nb_sec=2588
case_no=112 label=Case6.100 nb_sol=0 ticks=175644 tps=100 nb_sec=1756
case_no=112 label=Case6.100 nb_sol=0 ticks=121129 tps=100 nb_sec=1211
case_no=112 label=Case6.100 nb_sol=0 ticks=139678 tps=100 nb_sec=1396
case_no=112 label=Case6.100 nb_sol=0 ticks=132480 tps=100 nb_sec=1324
case_no=112 label=Case6.100 nb_sol=0 ticks=228337 tps=100 nb_sec=2283
case_no=112 label=Case6.100 nb_sol=0 ticks=160165 tps=100 nb_sec=1601
case_no=112 label=Case6.100 nb_sol=0 ticks=150020 tps=100 nb_sec=1500
case_no=112 label=Case6.100 nb_sol=0 ticks=174286 tps=100 nb_sec=1742
case_no=112 label=Case6.100 nb_sol=0 ticks=171879 tps=100 nb_sec=1718
case_no=112 label=Case6.100 nb_sol=0 ticks=172454 tps=100 nb_sec=1724
case_no=112 label=Case6.100 nb_sol=0 ticks=134884 tps=100 nb_sec=1348
case_no=112 label=Case6.100 nb_sol=0 ticks=197885 tps=100 nb_sec=1978
case_no=112 label=Case6.100 nb_sol=0 ticks=131188 tps=100 nb_sec=1311
case_no=112 label=Case6.100 nb_sol=0 ticks=146963 tps=100 nb_sec=1469
case_no=112 label=Case6.100 nb_sol=0 ticks=115699 tps=100 nb_sec=1156
case_no=112 label=Case6.100 nb_sol=0 ticks=152128 tps=100 nb_sec=1521
case_no=112 label=Case6.100 nb_sol=0 ticks=98219 tps=100 nb_sec=982
case_no=112 label=Case6.100 nb_sol=0 ticks=201516 tps=100 nb_sec=2015
case_no=112 label=Case6.100 nb_sol=0 ticks=139977 tps=100 nb_sec=1399
case_no=112 label=Case6.100 nb_sol=0 ticks=243462 tps=100 nb_sec=2434
case_no=112 label=Case6.100 nb_sol=0 ticks=99494 tps=100 nb_sec=994
case_no=112 label=Case6.100 nb_sol=0 ticks=148113 tps=100 nb_sec=1481
case_no=112 label=Case6.100 nb_sol=0 ticks=132847 tps=100 nb_sec=1328
case_no=112 label=Case6.100 nb_sol=0 ticks=167405 tps=100 nb_sec=1674
case_no=112 label=Case6.100 nb_sol=0 ticks=115723 tps=100 nb_sec=1157
case_no=112 label=Case6.100 nb_sol=0 ticks=196241 tps=100 nb_sec=1962
case_no=112 label=Case6.100 nb_sol=0 ticks=137315 tps=100 nb_sec=1373
case_no=112 label=Case6.100 nb_sol=0 ticks=221686 tps=100 nb_sec=2216
case_no=112 label=Case6.100 nb_sol=0 ticks=140702 tps=100 nb_sec=1407
case_no=112 label=Case6.100 nb_sol=0 ticks=170129 tps=100 nb_sec=1701
case_no=112 label=Case6.100 nb_sol=0 ticks=201156 tps=100 nb_sec=2011
case_no=112 label=Case6.100 nb_sol=0 ticks=119456 tps=100 nb_sec=1194
case_no=112 label=Case6.100 nb_sol=0 ticks=227388 tps=100 nb_sec=2273
case_no=112 label=Case6.100 nb_sol=0 ticks=241140 tps=100 nb_sec=2411
case_no=112 label=Case6.100 nb_sol=0 ticks=139016 tps=100 nb_sec=1390
case_no=112 label=Case6.100 nb_sol=0 ticks=228056 tps=100 nb_sec=2280
case_no=112 label=Case6.100 nb_sol=0 ticks=131438 tps=100 nb_sec=1314
case_no=112 label=Case6.100 nb_sol=0 ticks=210791 tps=100 nb_sec=2107
case_no=112 label=Case6.100 nb_sol=0 ticks=283455 tps=100 nb_sec=2834
case_no=112 label=Case6.100 nb_sol=0 ticks=213563 tps=100 nb_sec=2135
case_no=112 label=Case6.100 nb_sol=0 ticks=143609 tps=100 nb_sec=1436
case_no=112 label=Case6.100 nb_sol=0 ticks=115939 tps=100 nb_sec=1159
case_no=112 label=Case6.100 nb_sol=0 ticks=163838 tps=100 nb_sec=1638
case_no=112 label=Case6.100 nb_sol=0 ticks=211563 tps=100 nb_sec=2115
case_no=112 label=Case6.100 nb_sol=0 ticks=188560 tps=100 nb_sec=1885
case_no=112 label=Case6.100 nb_sol=0 ticks=151812 tps=100 nb_sec=1518
case_no=112 label=Case6.100 nb_sol=0 ticks=199964 tps=100 nb_sec=1999
case_no=112 label=Case6.100 nb_sol=0 ticks=106438 tps=100 nb_sec=1064
case_no=112 label=Case6.100 nb_sol=0 ticks=306136 tps=100 nb_sec=3061
case_no=112 label=Case6.100 nb_sol=0 ticks=287836 tps=100 nb_sec=2878
case_no=112 label=Case6.100 nb_sol=0 ticks=202345 tps=100 nb_sec=2023
case_no=112 label=Case6.100 nb_sol=0 ticks=265089 tps=100 nb_sec=2650
case_no=112 label=Case6.100 nb_sol=0 ticks=186297 tps=100 nb_sec=1862
case_no=112 label=Case6.100 nb_sol=0 ticks=205730 tps=100 nb_sec=2057
case_no=112 label=Case6.100 nb_sol=0 ticks=153670 tps=100 nb_sec=1536
case_no=112 label=Case6.100 nb_sol=0 ticks=182332 tps=100 nb_sec=1823
case_no=112 label=Case6.100 nb_sol=0 ticks=197889 tps=100 nb_sec=1978
case_no=112 label=Case6.100 nb_sol=0 ticks=206194 tps=100 nb_sec=2061
case_no=112 label=Case6.100 nb_sol=0 ticks=167905 tps=100 nb_sec=1679
case_no=112 label=Case6.100 nb_sol=0 ticks=200945 tps=100 nb_sec=2009
case_no=112 label=Case6.100 nb_sol=0 ticks=234720 tps=100 nb_sec=2347
case_no=112 label=Case6.100 nb_sol=0 ticks=104333 tps=100 nb_sec=1043
case_no=112 label=Case6.100 nb_sol=0 ticks=103098 tps=100 nb_sec=1030
case_no=112 label=Case6.100 nb_sol=0 ticks=87387 tps=100 nb_sec=873
case_no=112 label=Case6.100 nb_sol=0 ticks=317179 tps=100 nb_sec=3171
case_no=112 label=Case6.100 nb_sol=0 ticks=201969 tps=100 nb_sec=2019
case_no=112 label=Case6.100 nb_sol=0 ticks=95395 tps=100 nb_sec=953
case_no=112 label=Case6.100 nb_sol=0 ticks=196471 tps=100 nb_sec=1964
case_no=112 label=Case6.100 nb_sol=0 ticks=243502 tps=100 nb_sec=2435
case_no=112 label=Case6.100 nb_sol=0 ticks=135754 tps=100 nb_sec=1357
case_no=112 label=Case6.100 nb_sol=0 ticks=259523 tps=100 nb_sec=2595
case_no=112 label=Case6.100 nb_sol=0 ticks=171811 tps=100 nb_sec=1718
case_no=112 label=Case6.100 nb_sol=0 ticks=119832 tps=100 nb_sec=1198
case_no=112 label=Case6.100 nb_sol=0 ticks=135031 tps=100 nb_sec=1350
case_no=112 label=Case6.100 nb_sol=0 ticks=238957 tps=100 nb_sec=2389
case_no=112 label=Case6.100 nb_sol=0 ticks=139540 tps=100 nb_sec=1395
case_no=112 label=Case6.100 nb_sol=0 ticks=217775 tps=100 nb_sec=2177
case_no=112 label=Case6.100 nb_sol=0 ticks=171237 tps=100 nb_sec=1712
case_no=112 label=Case6.100 nb_sol=0 ticks=177719 tps=100 nb_sec=1777
case_no=112 label=Case6.100 nb_sol=0 ticks=203991 tps=100 nb_sec=2039
Nb_sol=0
Nb_sec=518753
6-0:5:53 or 144 hours
missing cases:
none