argc=5
-M 128
file2=30_select_Case6.90_starter_15_
checking files mod 128 from 0 to 127
case_no=102 label=Case6.90 nb_sol=0 ticks=77454 tps=100 nb_sec=774
case_no=102 label=Case6.90 nb_sol=0 ticks=172645 tps=100 nb_sec=1726
case_no=102 label=Case6.90 nb_sol=0 ticks=182416 tps=100 nb_sec=1824
case_no=102 label=Case6.90 nb_sol=0 ticks=151315 tps=100 nb_sec=1513
case_no=102 label=Case6.90 nb_sol=0 ticks=178788 tps=100 nb_sec=1787
case_no=102 label=Case6.90 nb_sol=0 ticks=187593 tps=100 nb_sec=1875
case_no=102 label=Case6.90 nb_sol=0 ticks=159510 tps=100 nb_sec=1595
case_no=102 label=Case6.90 nb_sol=0 ticks=172240 tps=100 nb_sec=1722
case_no=102 label=Case6.90 nb_sol=0 ticks=228982 tps=100 nb_sec=2289
case_no=102 label=Case6.90 nb_sol=0 ticks=158764 tps=100 nb_sec=1587
case_no=102 label=Case6.90 nb_sol=0 ticks=298259 tps=100 nb_sec=2982
case_no=102 label=Case6.90 nb_sol=0 ticks=171264 tps=100 nb_sec=1712
case_no=102 label=Case6.90 nb_sol=0 ticks=210074 tps=100 nb_sec=2100
case_no=102 label=Case6.90 nb_sol=0 ticks=110364 tps=100 nb_sec=1103
case_no=102 label=Case6.90 nb_sol=0 ticks=165369 tps=100 nb_sec=1653
case_no=102 label=Case6.90 nb_sol=0 ticks=144386 tps=100 nb_sec=1443
case_no=102 label=Case6.90 nb_sol=0 ticks=199768 tps=100 nb_sec=1997
case_no=102 label=Case6.90 nb_sol=0 ticks=213713 tps=100 nb_sec=2137
case_no=102 label=Case6.90 nb_sol=0 ticks=143541 tps=100 nb_sec=1435
case_no=102 label=Case6.90 nb_sol=0 ticks=148339 tps=100 nb_sec=1483
case_no=102 label=Case6.90 nb_sol=0 ticks=88411 tps=100 nb_sec=884
case_no=102 label=Case6.90 nb_sol=0 ticks=181516 tps=100 nb_sec=1815
case_no=102 label=Case6.90 nb_sol=0 ticks=205005 tps=100 nb_sec=2050
case_no=102 label=Case6.90 nb_sol=0 ticks=133554 tps=100 nb_sec=1335
case_no=102 label=Case6.90 nb_sol=0 ticks=184756 tps=100 nb_sec=1847
case_no=102 label=Case6.90 nb_sol=0 ticks=177463 tps=100 nb_sec=1774
case_no=102 label=Case6.90 nb_sol=0 ticks=223350 tps=100 nb_sec=2233
case_no=102 label=Case6.90 nb_sol=0 ticks=200851 tps=100 nb_sec=2008
case_no=102 label=Case6.90 nb_sol=0 ticks=161141 tps=100 nb_sec=1611
case_no=102 label=Case6.90 nb_sol=0 ticks=165931 tps=100 nb_sec=1659
case_no=102 label=Case6.90 nb_sol=0 ticks=149469 tps=100 nb_sec=1494
case_no=102 label=Case6.90 nb_sol=0 ticks=190013 tps=100 nb_sec=1900
case_no=102 label=Case6.90 nb_sol=0 ticks=173475 tps=100 nb_sec=1734
case_no=102 label=Case6.90 nb_sol=0 ticks=175970 tps=100 nb_sec=1759
case_no=102 label=Case6.90 nb_sol=0 ticks=158072 tps=100 nb_sec=1580
case_no=102 label=Case6.90 nb_sol=0 ticks=87851 tps=100 nb_sec=878
case_no=102 label=Case6.90 nb_sol=0 ticks=200380 tps=100 nb_sec=2003
case_no=102 label=Case6.90 nb_sol=0 ticks=166245 tps=100 nb_sec=1662
case_no=102 label=Case6.90 nb_sol=0 ticks=168779 tps=100 nb_sec=1687
case_no=102 label=Case6.90 nb_sol=0 ticks=152343 tps=100 nb_sec=1523
case_no=102 label=Case6.90 nb_sol=0 ticks=226626 tps=100 nb_sec=2266
case_no=102 label=Case6.90 nb_sol=0 ticks=203544 tps=100 nb_sec=2035
case_no=102 label=Case6.90 nb_sol=0 ticks=215125 tps=100 nb_sec=2151
case_no=102 label=Case6.90 nb_sol=0 ticks=203136 tps=100 nb_sec=2031
case_no=102 label=Case6.90 nb_sol=0 ticks=161208 tps=100 nb_sec=1612
case_no=102 label=Case6.90 nb_sol=0 ticks=209075 tps=100 nb_sec=2090
case_no=102 label=Case6.90 nb_sol=0 ticks=226986 tps=100 nb_sec=2269
case_no=102 label=Case6.90 nb_sol=0 ticks=169476 tps=100 nb_sec=1694
case_no=102 label=Case6.90 nb_sol=0 ticks=230678 tps=100 nb_sec=2306
case_no=102 label=Case6.90 nb_sol=0 ticks=164450 tps=100 nb_sec=1644
case_no=102 label=Case6.90 nb_sol=0 ticks=160522 tps=100 nb_sec=1605
case_no=102 label=Case6.90 nb_sol=0 ticks=183898 tps=100 nb_sec=1838
case_no=102 label=Case6.90 nb_sol=0 ticks=159310 tps=100 nb_sec=1593
case_no=102 label=Case6.90 nb_sol=0 ticks=170914 tps=100 nb_sec=1709
case_no=102 label=Case6.90 nb_sol=0 ticks=188314 tps=100 nb_sec=1883
case_no=102 label=Case6.90 nb_sol=0 ticks=334672 tps=100 nb_sec=3346
case_no=102 label=Case6.90 nb_sol=0 ticks=232280 tps=100 nb_sec=2322
case_no=102 label=Case6.90 nb_sol=0 ticks=234588 tps=100 nb_sec=2345
case_no=102 label=Case6.90 nb_sol=0 ticks=215280 tps=100 nb_sec=2152
case_no=102 label=Case6.90 nb_sol=0 ticks=223751 tps=100 nb_sec=2237
case_no=102 label=Case6.90 nb_sol=0 ticks=303744 tps=100 nb_sec=3037
case_no=102 label=Case6.90 nb_sol=0 ticks=204616 tps=100 nb_sec=2046
case_no=102 label=Case6.90 nb_sol=0 ticks=257002 tps=100 nb_sec=2570
case_no=102 label=Case6.90 nb_sol=0 ticks=233859 tps=100 nb_sec=2338
case_no=102 label=Case6.90 nb_sol=0 ticks=150025 tps=100 nb_sec=1500
case_no=102 label=Case6.90 nb_sol=0 ticks=243741 tps=100 nb_sec=2437
case_no=102 label=Case6.90 nb_sol=0 ticks=173119 tps=100 nb_sec=1731
case_no=102 label=Case6.90 nb_sol=0 ticks=160918 tps=100 nb_sec=1609
case_no=102 label=Case6.90 nb_sol=0 ticks=187682 tps=100 nb_sec=1876
case_no=102 label=Case6.90 nb_sol=0 ticks=179108 tps=100 nb_sec=1791
case_no=102 label=Case6.90 nb_sol=0 ticks=241495 tps=100 nb_sec=2414
case_no=102 label=Case6.90 nb_sol=0 ticks=213940 tps=100 nb_sec=2139
case_no=102 label=Case6.90 nb_sol=0 ticks=145010 tps=100 nb_sec=1450
case_no=102 label=Case6.90 nb_sol=0 ticks=256672 tps=100 nb_sec=2566
case_no=102 label=Case6.90 nb_sol=0 ticks=171154 tps=100 nb_sec=1711
case_no=102 label=Case6.90 nb_sol=0 ticks=120807 tps=100 nb_sec=1208
case_no=102 label=Case6.90 nb_sol=0 ticks=223234 tps=100 nb_sec=2232
case_no=102 label=Case6.90 nb_sol=0 ticks=202510 tps=100 nb_sec=2025
case_no=102 label=Case6.90 nb_sol=0 ticks=173844 tps=100 nb_sec=1738
case_no=102 label=Case6.90 nb_sol=0 ticks=166180 tps=100 nb_sec=1661
case_no=102 label=Case6.90 nb_sol=0 ticks=184710 tps=100 nb_sec=1847
case_no=102 label=Case6.90 nb_sol=0 ticks=237379 tps=100 nb_sec=2373
case_no=102 label=Case6.90 nb_sol=0 ticks=136827 tps=100 nb_sec=1368
case_no=102 label=Case6.90 nb_sol=0 ticks=127984 tps=100 nb_sec=1279
case_no=102 label=Case6.90 nb_sol=0 ticks=102203 tps=100 nb_sec=1022
case_no=102 label=Case6.90 nb_sol=0 ticks=219689 tps=100 nb_sec=2196
case_no=102 label=Case6.90 nb_sol=0 ticks=209346 tps=100 nb_sec=2093
case_no=102 label=Case6.90 nb_sol=0 ticks=195590 tps=100 nb_sec=1955
case_no=102 label=Case6.90 nb_sol=0 ticks=249795 tps=100 nb_sec=2497
case_no=102 label=Case6.90 nb_sol=0 ticks=188842 tps=100 nb_sec=1888
case_no=102 label=Case6.90 nb_sol=0 ticks=168284 tps=100 nb_sec=1682
case_no=102 label=Case6.90 nb_sol=0 ticks=127175 tps=100 nb_sec=1271
case_no=102 label=Case6.90 nb_sol=0 ticks=137824 tps=100 nb_sec=1378
case_no=102 label=Case6.90 nb_sol=0 ticks=115168 tps=100 nb_sec=1151
case_no=102 label=Case6.90 nb_sol=0 ticks=70051 tps=100 nb_sec=700
case_no=102 label=Case6.90 nb_sol=0 ticks=222110 tps=100 nb_sec=2221
case_no=102 label=Case6.90 nb_sol=0 ticks=115832 tps=100 nb_sec=1158
case_no=102 label=Case6.90 nb_sol=0 ticks=235461 tps=100 nb_sec=2354
case_no=102 label=Case6.90 nb_sol=0 ticks=185721 tps=100 nb_sec=1857
case_no=102 label=Case6.90 nb_sol=0 ticks=148213 tps=100 nb_sec=1482
case_no=102 label=Case6.90 nb_sol=0 ticks=110909 tps=100 nb_sec=1109
case_no=102 label=Case6.90 nb_sol=0 ticks=190414 tps=100 nb_sec=1904
case_no=102 label=Case6.90 nb_sol=0 ticks=161827 tps=100 nb_sec=1618
case_no=102 label=Case6.90 nb_sol=0 ticks=181762 tps=100 nb_sec=1817
case_no=102 label=Case6.90 nb_sol=0 ticks=139247 tps=100 nb_sec=1392
case_no=102 label=Case6.90 nb_sol=0 ticks=172676 tps=100 nb_sec=1726
case_no=102 label=Case6.90 nb_sol=0 ticks=156359 tps=100 nb_sec=1563
case_no=102 label=Case6.90 nb_sol=0 ticks=146499 tps=100 nb_sec=1464
case_no=102 label=Case6.90 nb_sol=0 ticks=130617 tps=100 nb_sec=1306
case_no=102 label=Case6.90 nb_sol=0 ticks=138558 tps=100 nb_sec=1385
case_no=102 label=Case6.90 nb_sol=0 ticks=155492 tps=100 nb_sec=1554
case_no=102 label=Case6.90 nb_sol=0 ticks=170451 tps=100 nb_sec=1704
case_no=102 label=Case6.90 nb_sol=0 ticks=202676 tps=100 nb_sec=2026
case_no=102 label=Case6.90 nb_sol=0 ticks=203046 tps=100 nb_sec=2030
case_no=102 label=Case6.90 nb_sol=0 ticks=149722 tps=100 nb_sec=1497
case_no=102 label=Case6.90 nb_sol=0 ticks=192228 tps=100 nb_sec=1922
case_no=102 label=Case6.90 nb_sol=0 ticks=197690 tps=100 nb_sec=1976
case_no=102 label=Case6.90 nb_sol=0 ticks=186197 tps=100 nb_sec=1861
case_no=102 label=Case6.90 nb_sol=0 ticks=168450 tps=100 nb_sec=1684
case_no=102 label=Case6.90 nb_sol=0 ticks=151832 tps=100 nb_sec=1518
case_no=102 label=Case6.90 nb_sol=0 ticks=130976 tps=100 nb_sec=1309
case_no=102 label=Case6.90 nb_sol=0 ticks=173610 tps=100 nb_sec=1736
case_no=102 label=Case6.90 nb_sol=0 ticks=129946 tps=100 nb_sec=1299
case_no=102 label=Case6.90 nb_sol=0 ticks=157849 tps=100 nb_sec=1578
case_no=102 label=Case6.90 nb_sol=0 ticks=134041 tps=100 nb_sec=1340
case_no=102 label=Case6.90 nb_sol=0 ticks=101066 tps=100 nb_sec=1010
case_no=102 label=Case6.90 nb_sol=0 ticks=83282 tps=100 nb_sec=832
case_no=102 label=Case6.90 nb_sol=0 ticks=185494 tps=100 nb_sec=1854
Nb_sol=0
Nb_sec=227166
2-15:6:6 or 63 hours
missing cases:
none