argc=5
-M 128
file2=30_select_Case6.92_starter_15_
checking files mod 128 from 0 to 127
case_no=104 label=Case6.92 nb_sol=0 ticks=207775 tps=100 nb_sec=2077
case_no=104 label=Case6.92 nb_sol=0 ticks=251047 tps=100 nb_sec=2510
case_no=104 label=Case6.92 nb_sol=0 ticks=219936 tps=100 nb_sec=2199
case_no=104 label=Case6.92 nb_sol=0 ticks=162401 tps=100 nb_sec=1624
case_no=104 label=Case6.92 nb_sol=0 ticks=175053 tps=100 nb_sec=1750
case_no=104 label=Case6.92 nb_sol=0 ticks=259272 tps=100 nb_sec=2592
case_no=104 label=Case6.92 nb_sol=0 ticks=214406 tps=100 nb_sec=2144
case_no=104 label=Case6.92 nb_sol=0 ticks=226692 tps=100 nb_sec=2266
case_no=104 label=Case6.92 nb_sol=0 ticks=278843 tps=100 nb_sec=2788
case_no=104 label=Case6.92 nb_sol=0 ticks=200670 tps=100 nb_sec=2006
case_no=104 label=Case6.92 nb_sol=0 ticks=287360 tps=100 nb_sec=2873
case_no=104 label=Case6.92 nb_sol=0 ticks=184381 tps=100 nb_sec=1843
case_no=104 label=Case6.92 nb_sol=0 ticks=311526 tps=100 nb_sec=3115
case_no=104 label=Case6.92 nb_sol=0 ticks=184050 tps=100 nb_sec=1840
case_no=104 label=Case6.92 nb_sol=0 ticks=233479 tps=100 nb_sec=2334
case_no=104 label=Case6.92 nb_sol=0 ticks=268330 tps=100 nb_sec=2683
case_no=104 label=Case6.92 nb_sol=0 ticks=193031 tps=100 nb_sec=1930
case_no=104 label=Case6.92 nb_sol=0 ticks=208248 tps=100 nb_sec=2082
case_no=104 label=Case6.92 nb_sol=0 ticks=161271 tps=100 nb_sec=1612
case_no=104 label=Case6.92 nb_sol=0 ticks=133540 tps=100 nb_sec=1335
case_no=104 label=Case6.92 nb_sol=0 ticks=151999 tps=100 nb_sec=1519
case_no=104 label=Case6.92 nb_sol=0 ticks=211626 tps=100 nb_sec=2116
case_no=104 label=Case6.92 nb_sol=0 ticks=173153 tps=100 nb_sec=1731
case_no=104 label=Case6.92 nb_sol=0 ticks=216326 tps=100 nb_sec=2163
case_no=104 label=Case6.92 nb_sol=0 ticks=241021 tps=100 nb_sec=2410
case_no=104 label=Case6.92 nb_sol=0 ticks=178346 tps=100 nb_sec=1783
case_no=104 label=Case6.92 nb_sol=0 ticks=169666 tps=100 nb_sec=1696
case_no=104 label=Case6.92 nb_sol=0 ticks=285118 tps=100 nb_sec=2851
case_no=104 label=Case6.92 nb_sol=0 ticks=158725 tps=100 nb_sec=1587
case_no=104 label=Case6.92 nb_sol=0 ticks=209732 tps=100 nb_sec=2097
case_no=104 label=Case6.92 nb_sol=0 ticks=194959 tps=100 nb_sec=1949
case_no=104 label=Case6.92 nb_sol=0 ticks=324980 tps=100 nb_sec=3249
case_no=104 label=Case6.92 nb_sol=0 ticks=180798 tps=100 nb_sec=1807
case_no=104 label=Case6.92 nb_sol=0 ticks=299401 tps=100 nb_sec=2994
case_no=104 label=Case6.92 nb_sol=0 ticks=286691 tps=100 nb_sec=2866
case_no=104 label=Case6.92 nb_sol=0 ticks=159834 tps=100 nb_sec=1598
case_no=104 label=Case6.92 nb_sol=0 ticks=196619 tps=100 nb_sec=1966
case_no=104 label=Case6.92 nb_sol=0 ticks=190191 tps=100 nb_sec=1901
case_no=104 label=Case6.92 nb_sol=0 ticks=229059 tps=100 nb_sec=2290
case_no=104 label=Case6.92 nb_sol=0 ticks=196800 tps=100 nb_sec=1968
case_no=104 label=Case6.92 nb_sol=0 ticks=219298 tps=100 nb_sec=2192
case_no=104 label=Case6.92 nb_sol=0 ticks=277553 tps=100 nb_sec=2775
case_no=104 label=Case6.92 nb_sol=0 ticks=252651 tps=100 nb_sec=2526
case_no=104 label=Case6.92 nb_sol=0 ticks=265262 tps=100 nb_sec=2652
case_no=104 label=Case6.92 nb_sol=0 ticks=169324 tps=100 nb_sec=1693
case_no=104 label=Case6.92 nb_sol=0 ticks=272665 tps=100 nb_sec=2726
case_no=104 label=Case6.92 nb_sol=0 ticks=103287 tps=100 nb_sec=1032
case_no=104 label=Case6.92 nb_sol=0 ticks=252310 tps=100 nb_sec=2523
case_no=104 label=Case6.92 nb_sol=0 ticks=265481 tps=100 nb_sec=2654
case_no=104 label=Case6.92 nb_sol=0 ticks=242784 tps=100 nb_sec=2427
case_no=104 label=Case6.92 nb_sol=0 ticks=185556 tps=100 nb_sec=1855
case_no=104 label=Case6.92 nb_sol=0 ticks=171463 tps=100 nb_sec=1714
case_no=104 label=Case6.92 nb_sol=0 ticks=133838 tps=100 nb_sec=1338
case_no=104 label=Case6.92 nb_sol=0 ticks=152880 tps=100 nb_sec=1528
case_no=104 label=Case6.92 nb_sol=0 ticks=159577 tps=100 nb_sec=1595
case_no=104 label=Case6.92 nb_sol=0 ticks=282840 tps=100 nb_sec=2828
case_no=104 label=Case6.92 nb_sol=0 ticks=305869 tps=100 nb_sec=3058
case_no=104 label=Case6.92 nb_sol=0 ticks=277202 tps=100 nb_sec=2772
case_no=104 label=Case6.92 nb_sol=0 ticks=208092 tps=100 nb_sec=2080
case_no=104 label=Case6.92 nb_sol=0 ticks=228862 tps=100 nb_sec=2288
case_no=104 label=Case6.92 nb_sol=0 ticks=343184 tps=100 nb_sec=3431
case_no=104 label=Case6.92 nb_sol=0 ticks=182713 tps=100 nb_sec=1827
case_no=104 label=Case6.92 nb_sol=0 ticks=218301 tps=100 nb_sec=2183
case_no=104 label=Case6.92 nb_sol=0 ticks=338743 tps=100 nb_sec=3387
case_no=104 label=Case6.92 nb_sol=0 ticks=187570 tps=100 nb_sec=1875
case_no=104 label=Case6.92 nb_sol=0 ticks=320814 tps=100 nb_sec=3208
case_no=104 label=Case6.92 nb_sol=0 ticks=216903 tps=100 nb_sec=2169
case_no=104 label=Case6.92 nb_sol=0 ticks=179258 tps=100 nb_sec=1792
case_no=104 label=Case6.92 nb_sol=0 ticks=211458 tps=100 nb_sec=2114
case_no=104 label=Case6.92 nb_sol=0 ticks=161405 tps=100 nb_sec=1614
case_no=104 label=Case6.92 nb_sol=0 ticks=224589 tps=100 nb_sec=2245
case_no=104 label=Case6.92 nb_sol=0 ticks=273399 tps=100 nb_sec=2733
case_no=104 label=Case6.92 nb_sol=0 ticks=228438 tps=100 nb_sec=2284
case_no=104 label=Case6.92 nb_sol=0 ticks=245106 tps=100 nb_sec=2451
case_no=104 label=Case6.92 nb_sol=0 ticks=261549 tps=100 nb_sec=2615
case_no=104 label=Case6.92 nb_sol=0 ticks=205450 tps=100 nb_sec=2054
case_no=104 label=Case6.92 nb_sol=0 ticks=210735 tps=100 nb_sec=2107
case_no=104 label=Case6.92 nb_sol=0 ticks=176455 tps=100 nb_sec=1764
case_no=104 label=Case6.92 nb_sol=0 ticks=286430 tps=100 nb_sec=2864
case_no=104 label=Case6.92 nb_sol=0 ticks=180410 tps=100 nb_sec=1804
case_no=104 label=Case6.92 nb_sol=0 ticks=184684 tps=100 nb_sec=1846
case_no=104 label=Case6.92 nb_sol=0 ticks=188058 tps=100 nb_sec=1880
case_no=104 label=Case6.92 nb_sol=0 ticks=79061 tps=100 nb_sec=790
case_no=104 label=Case6.92 nb_sol=0 ticks=214744 tps=100 nb_sec=2147
case_no=104 label=Case6.92 nb_sol=0 ticks=100321 tps=100 nb_sec=1003
case_no=104 label=Case6.92 nb_sol=0 ticks=378198 tps=100 nb_sec=3781
case_no=104 label=Case6.92 nb_sol=0 ticks=190069 tps=100 nb_sec=1900
case_no=104 label=Case6.92 nb_sol=0 ticks=178174 tps=100 nb_sec=1781
case_no=104 label=Case6.92 nb_sol=0 ticks=244850 tps=100 nb_sec=2448
case_no=104 label=Case6.92 nb_sol=0 ticks=176497 tps=100 nb_sec=1764
case_no=104 label=Case6.92 nb_sol=0 ticks=132778 tps=100 nb_sec=1327
case_no=104 label=Case6.92 nb_sol=0 ticks=174904 tps=100 nb_sec=1749
case_no=104 label=Case6.92 nb_sol=0 ticks=158194 tps=100 nb_sec=1581
case_no=104 label=Case6.92 nb_sol=0 ticks=201352 tps=100 nb_sec=2013
case_no=104 label=Case6.92 nb_sol=0 ticks=171188 tps=100 nb_sec=1711
case_no=104 label=Case6.92 nb_sol=0 ticks=289915 tps=100 nb_sec=2899
case_no=104 label=Case6.92 nb_sol=0 ticks=255388 tps=100 nb_sec=2553
case_no=104 label=Case6.92 nb_sol=0 ticks=287299 tps=100 nb_sec=2872
case_no=104 label=Case6.92 nb_sol=0 ticks=231992 tps=100 nb_sec=2319
case_no=104 label=Case6.92 nb_sol=0 ticks=284571 tps=100 nb_sec=2845
case_no=104 label=Case6.92 nb_sol=0 ticks=118327 tps=100 nb_sec=1183
case_no=104 label=Case6.92 nb_sol=0 ticks=102346 tps=100 nb_sec=1023
case_no=104 label=Case6.92 nb_sol=0 ticks=182498 tps=100 nb_sec=1824
case_no=104 label=Case6.92 nb_sol=0 ticks=235962 tps=100 nb_sec=2359
case_no=104 label=Case6.92 nb_sol=0 ticks=155693 tps=100 nb_sec=1556
case_no=104 label=Case6.92 nb_sol=0 ticks=265461 tps=100 nb_sec=2654
case_no=104 label=Case6.92 nb_sol=0 ticks=139366 tps=100 nb_sec=1393
case_no=104 label=Case6.92 nb_sol=0 ticks=143450 tps=100 nb_sec=1434
case_no=104 label=Case6.92 nb_sol=0 ticks=147692 tps=100 nb_sec=1476
case_no=104 label=Case6.92 nb_sol=0 ticks=190846 tps=100 nb_sec=1908
case_no=104 label=Case6.92 nb_sol=0 ticks=199315 tps=100 nb_sec=1993
case_no=104 label=Case6.92 nb_sol=0 ticks=170014 tps=100 nb_sec=1700
case_no=104 label=Case6.92 nb_sol=0 ticks=150392 tps=100 nb_sec=1503
case_no=104 label=Case6.92 nb_sol=0 ticks=253411 tps=100 nb_sec=2534
case_no=104 label=Case6.92 nb_sol=0 ticks=190228 tps=100 nb_sec=1902
case_no=104 label=Case6.92 nb_sol=0 ticks=178475 tps=100 nb_sec=1784
case_no=104 label=Case6.92 nb_sol=0 ticks=240866 tps=100 nb_sec=2408
case_no=104 label=Case6.92 nb_sol=0 ticks=184620 tps=100 nb_sec=1846
case_no=104 label=Case6.92 nb_sol=0 ticks=148737 tps=100 nb_sec=1487
case_no=104 label=Case6.92 nb_sol=0 ticks=105488 tps=100 nb_sec=1054
case_no=104 label=Case6.92 nb_sol=0 ticks=166504 tps=100 nb_sec=1665
case_no=104 label=Case6.92 nb_sol=0 ticks=189359 tps=100 nb_sec=1893
case_no=104 label=Case6.92 nb_sol=0 ticks=171306 tps=100 nb_sec=1713
case_no=104 label=Case6.92 nb_sol=0 ticks=152670 tps=100 nb_sec=1526
case_no=104 label=Case6.92 nb_sol=0 ticks=159915 tps=100 nb_sec=1599
case_no=104 label=Case6.92 nb_sol=0 ticks=165602 tps=100 nb_sec=1656
case_no=104 label=Case6.92 nb_sol=0 ticks=174057 tps=100 nb_sec=1740
case_no=104 label=Case6.92 nb_sol=0 ticks=171040 tps=100 nb_sec=1710
Nb_sol=0
Nb_sec=266653
3-2:4:13 or 74 hours
missing cases:
none