argc=5
-M 128
file2=30_select_Case6.116_starter_15_
checking files mod 128 from 0 to 127
case_no=128 label=Case6.116 nb_sol=0 ticks=157229 tps=100 nb_sec=1572
case_no=128 label=Case6.116 nb_sol=0 ticks=121941 tps=100 nb_sec=1219
case_no=128 label=Case6.116 nb_sol=0 ticks=285397 tps=100 nb_sec=2853
case_no=128 label=Case6.116 nb_sol=0 ticks=148756 tps=100 nb_sec=1487
case_no=128 label=Case6.116 nb_sol=0 ticks=191884 tps=100 nb_sec=1918
case_no=128 label=Case6.116 nb_sol=0 ticks=278983 tps=100 nb_sec=2789
case_no=128 label=Case6.116 nb_sol=0 ticks=183732 tps=100 nb_sec=1837
case_no=128 label=Case6.116 nb_sol=0 ticks=192361 tps=100 nb_sec=1923
case_no=128 label=Case6.116 nb_sol=0 ticks=127619 tps=100 nb_sec=1276
case_no=128 label=Case6.116 nb_sol=0 ticks=108780 tps=100 nb_sec=1087
case_no=128 label=Case6.116 nb_sol=0 ticks=218854 tps=100 nb_sec=2188
case_no=128 label=Case6.116 nb_sol=0 ticks=137944 tps=100 nb_sec=1379
case_no=128 label=Case6.116 nb_sol=0 ticks=233044 tps=100 nb_sec=2330
case_no=128 label=Case6.116 nb_sol=0 ticks=161616 tps=100 nb_sec=1616
case_no=128 label=Case6.116 nb_sol=0 ticks=175581 tps=100 nb_sec=1755
case_no=128 label=Case6.116 nb_sol=0 ticks=149789 tps=100 nb_sec=1497
case_no=128 label=Case6.116 nb_sol=0 ticks=175222 tps=100 nb_sec=1752
case_no=128 label=Case6.116 nb_sol=0 ticks=129684 tps=100 nb_sec=1296
case_no=128 label=Case6.116 nb_sol=0 ticks=91770 tps=100 nb_sec=917
case_no=128 label=Case6.116 nb_sol=0 ticks=150867 tps=100 nb_sec=1508
case_no=128 label=Case6.116 nb_sol=0 ticks=177174 tps=100 nb_sec=1771
case_no=128 label=Case6.116 nb_sol=0 ticks=179552 tps=100 nb_sec=1795
case_no=128 label=Case6.116 nb_sol=0 ticks=145651 tps=100 nb_sec=1456
case_no=128 label=Case6.116 nb_sol=0 ticks=136226 tps=100 nb_sec=1362
case_no=128 label=Case6.116 nb_sol=0 ticks=215788 tps=100 nb_sec=2157
case_no=128 label=Case6.116 nb_sol=0 ticks=210675 tps=100 nb_sec=2106
case_no=128 label=Case6.116 nb_sol=0 ticks=219043 tps=100 nb_sec=2190
case_no=128 label=Case6.116 nb_sol=0 ticks=223449 tps=100 nb_sec=2234
case_no=128 label=Case6.116 nb_sol=0 ticks=140832 tps=100 nb_sec=1408
case_no=128 label=Case6.116 nb_sol=0 ticks=149665 tps=100 nb_sec=1496
case_no=128 label=Case6.116 nb_sol=0 ticks=151294 tps=100 nb_sec=1512
case_no=128 label=Case6.116 nb_sol=0 ticks=214291 tps=100 nb_sec=2142
case_no=128 label=Case6.116 nb_sol=0 ticks=173062 tps=100 nb_sec=1730
case_no=128 label=Case6.116 nb_sol=0 ticks=226644 tps=100 nb_sec=2266
case_no=128 label=Case6.116 nb_sol=0 ticks=213716 tps=100 nb_sec=2137
case_no=128 label=Case6.116 nb_sol=0 ticks=200642 tps=100 nb_sec=2006
case_no=128 label=Case6.116 nb_sol=0 ticks=172300 tps=100 nb_sec=1723
case_no=128 label=Case6.116 nb_sol=0 ticks=194571 tps=100 nb_sec=1945
case_no=128 label=Case6.116 nb_sol=0 ticks=177296 tps=100 nb_sec=1772
case_no=128 label=Case6.116 nb_sol=0 ticks=153894 tps=100 nb_sec=1538
case_no=128 label=Case6.116 nb_sol=0 ticks=183273 tps=100 nb_sec=1832
case_no=128 label=Case6.116 nb_sol=0 ticks=214684 tps=100 nb_sec=2146
case_no=128 label=Case6.116 nb_sol=0 ticks=110063 tps=100 nb_sec=1100
case_no=128 label=Case6.116 nb_sol=0 ticks=139264 tps=100 nb_sec=1392
case_no=128 label=Case6.116 nb_sol=0 ticks=169524 tps=100 nb_sec=1695
case_no=128 label=Case6.116 nb_sol=0 ticks=87101 tps=100 nb_sec=871
case_no=128 label=Case6.116 nb_sol=0 ticks=184330 tps=100 nb_sec=1843
case_no=128 label=Case6.116 nb_sol=0 ticks=157039 tps=100 nb_sec=1570
case_no=128 label=Case6.116 nb_sol=0 ticks=73826 tps=100 nb_sec=738
case_no=128 label=Case6.116 nb_sol=0 ticks=132436 tps=100 nb_sec=1324
case_no=128 label=Case6.116 nb_sol=0 ticks=188341 tps=100 nb_sec=1883
case_no=128 label=Case6.116 nb_sol=0 ticks=159474 tps=100 nb_sec=1594
case_no=128 label=Case6.116 nb_sol=0 ticks=146118 tps=100 nb_sec=1461
case_no=128 label=Case6.116 nb_sol=0 ticks=192704 tps=100 nb_sec=1927
case_no=128 label=Case6.116 nb_sol=0 ticks=236536 tps=100 nb_sec=2365
case_no=128 label=Case6.116 nb_sol=0 ticks=147273 tps=100 nb_sec=1472
case_no=128 label=Case6.116 nb_sol=0 ticks=189242 tps=100 nb_sec=1892
case_no=128 label=Case6.116 nb_sol=0 ticks=309111 tps=100 nb_sec=3091
case_no=128 label=Case6.116 nb_sol=0 ticks=201122 tps=100 nb_sec=2011
case_no=128 label=Case6.116 nb_sol=0 ticks=276306 tps=100 nb_sec=2763
case_no=128 label=Case6.116 nb_sol=0 ticks=280461 tps=100 nb_sec=2804
case_no=128 label=Case6.116 nb_sol=0 ticks=193544 tps=100 nb_sec=1935
case_no=128 label=Case6.116 nb_sol=0 ticks=165050 tps=100 nb_sec=1650
case_no=128 label=Case6.116 nb_sol=0 ticks=131144 tps=100 nb_sec=1311
case_no=128 label=Case6.116 nb_sol=0 ticks=173536 tps=100 nb_sec=1735
case_no=128 label=Case6.116 nb_sol=0 ticks=143425 tps=100 nb_sec=1434
case_no=128 label=Case6.116 nb_sol=0 ticks=172003 tps=100 nb_sec=1720
case_no=128 label=Case6.116 nb_sol=0 ticks=169755 tps=100 nb_sec=1697
case_no=128 label=Case6.116 nb_sol=0 ticks=198787 tps=100 nb_sec=1987
case_no=128 label=Case6.116 nb_sol=0 ticks=154002 tps=100 nb_sec=1540
case_no=128 label=Case6.116 nb_sol=0 ticks=166910 tps=100 nb_sec=1669
case_no=128 label=Case6.116 nb_sol=0 ticks=154001 tps=100 nb_sec=1540
case_no=128 label=Case6.116 nb_sol=0 ticks=178730 tps=100 nb_sec=1787
case_no=128 label=Case6.116 nb_sol=0 ticks=77748 tps=100 nb_sec=777
case_no=128 label=Case6.116 nb_sol=0 ticks=183382 tps=100 nb_sec=1833
case_no=128 label=Case6.116 nb_sol=0 ticks=158412 tps=100 nb_sec=1584
case_no=128 label=Case6.116 nb_sol=0 ticks=140083 tps=100 nb_sec=1400
case_no=128 label=Case6.116 nb_sol=0 ticks=150749 tps=100 nb_sec=1507
case_no=128 label=Case6.116 nb_sol=0 ticks=122402 tps=100 nb_sec=1224
case_no=128 label=Case6.116 nb_sol=0 ticks=134909 tps=100 nb_sec=1349
case_no=128 label=Case6.116 nb_sol=0 ticks=175154 tps=100 nb_sec=1751
case_no=128 label=Case6.116 nb_sol=0 ticks=183951 tps=100 nb_sec=1839
case_no=128 label=Case6.116 nb_sol=0 ticks=176710 tps=100 nb_sec=1767
case_no=128 label=Case6.116 nb_sol=0 ticks=212285 tps=100 nb_sec=2122
case_no=128 label=Case6.116 nb_sol=0 ticks=149983 tps=100 nb_sec=1499
case_no=128 label=Case6.116 nb_sol=0 ticks=181776 tps=100 nb_sec=1817
case_no=128 label=Case6.116 nb_sol=0 ticks=110114 tps=100 nb_sec=1101
case_no=128 label=Case6.116 nb_sol=0 ticks=196761 tps=100 nb_sec=1967
case_no=128 label=Case6.116 nb_sol=0 ticks=300380 tps=100 nb_sec=3003
case_no=128 label=Case6.116 nb_sol=0 ticks=185949 tps=100 nb_sec=1859
case_no=128 label=Case6.116 nb_sol=0 ticks=128091 tps=100 nb_sec=1280
case_no=128 label=Case6.116 nb_sol=0 ticks=218163 tps=100 nb_sec=2181
case_no=128 label=Case6.116 nb_sol=0 ticks=225833 tps=100 nb_sec=2258
case_no=128 label=Case6.116 nb_sol=0 ticks=217202 tps=100 nb_sec=2172
case_no=128 label=Case6.116 nb_sol=0 ticks=140027 tps=100 nb_sec=1400
case_no=128 label=Case6.116 nb_sol=0 ticks=112599 tps=100 nb_sec=1125
case_no=128 label=Case6.116 nb_sol=0 ticks=126499 tps=100 nb_sec=1264
case_no=128 label=Case6.116 nb_sol=0 ticks=133634 tps=100 nb_sec=1336
case_no=128 label=Case6.116 nb_sol=0 ticks=122596 tps=100 nb_sec=1225
case_no=128 label=Case6.116 nb_sol=0 ticks=153517 tps=100 nb_sec=1535
case_no=128 label=Case6.116 nb_sol=0 ticks=84281 tps=100 nb_sec=842
case_no=128 label=Case6.116 nb_sol=0 ticks=108793 tps=100 nb_sec=1087
case_no=128 label=Case6.116 nb_sol=0 ticks=181029 tps=100 nb_sec=1810
case_no=128 label=Case6.116 nb_sol=0 ticks=200161 tps=100 nb_sec=2001
case_no=128 label=Case6.116 nb_sol=0 ticks=186776 tps=100 nb_sec=1867
case_no=128 label=Case6.116 nb_sol=0 ticks=75556 tps=100 nb_sec=755
case_no=128 label=Case6.116 nb_sol=0 ticks=263252 tps=100 nb_sec=2632
case_no=128 label=Case6.116 nb_sol=0 ticks=170985 tps=100 nb_sec=1709
case_no=128 label=Case6.116 nb_sol=0 ticks=179753 tps=100 nb_sec=1797
case_no=128 label=Case6.116 nb_sol=0 ticks=239674 tps=100 nb_sec=2396
case_no=128 label=Case6.116 nb_sol=0 ticks=112173 tps=100 nb_sec=1121
case_no=128 label=Case6.116 nb_sol=0 ticks=96105 tps=100 nb_sec=961
case_no=128 label=Case6.116 nb_sol=0 ticks=125326 tps=100 nb_sec=1253
case_no=128 label=Case6.116 nb_sol=0 ticks=307209 tps=100 nb_sec=3072
case_no=128 label=Case6.116 nb_sol=0 ticks=191961 tps=100 nb_sec=1919
case_no=128 label=Case6.116 nb_sol=0 ticks=117463 tps=100 nb_sec=1174
case_no=128 label=Case6.116 nb_sol=0 ticks=194015 tps=100 nb_sec=1940
case_no=128 label=Case6.116 nb_sol=0 ticks=185242 tps=100 nb_sec=1852
case_no=128 label=Case6.116 nb_sol=0 ticks=158635 tps=100 nb_sec=1586
case_no=128 label=Case6.116 nb_sol=0 ticks=141750 tps=100 nb_sec=1417
case_no=128 label=Case6.116 nb_sol=0 ticks=169739 tps=100 nb_sec=1697
case_no=128 label=Case6.116 nb_sol=0 ticks=159832 tps=100 nb_sec=1598
case_no=128 label=Case6.116 nb_sol=0 ticks=91827 tps=100 nb_sec=918
case_no=128 label=Case6.116 nb_sol=0 ticks=86169 tps=100 nb_sec=861
case_no=128 label=Case6.116 nb_sol=0 ticks=154769 tps=100 nb_sec=1547
case_no=128 label=Case6.116 nb_sol=0 ticks=132281 tps=100 nb_sec=1322
case_no=128 label=Case6.116 nb_sol=0 ticks=147550 tps=100 nb_sec=1475
case_no=128 label=Case6.116 nb_sol=0 ticks=113365 tps=100 nb_sec=1133
Nb_sol=0
Nb_sec=216641
2-12:10:41 or 60 hours
missing cases:
none