argc=5
-M 128
file2=30_select_Case6.91_starter_15_
checking files mod 128 from 0 to 127
case_no=103 label=Case6.91 nb_sol=0 ticks=210210 tps=100 nb_sec=2102
case_no=103 label=Case6.91 nb_sol=0 ticks=210819 tps=100 nb_sec=2108
case_no=103 label=Case6.91 nb_sol=0 ticks=173814 tps=100 nb_sec=1738
case_no=103 label=Case6.91 nb_sol=0 ticks=170269 tps=100 nb_sec=1702
case_no=103 label=Case6.91 nb_sol=0 ticks=188905 tps=100 nb_sec=1889
case_no=103 label=Case6.91 nb_sol=0 ticks=239730 tps=100 nb_sec=2397
case_no=103 label=Case6.91 nb_sol=0 ticks=100811 tps=100 nb_sec=1008
case_no=103 label=Case6.91 nb_sol=0 ticks=200277 tps=100 nb_sec=2002
case_no=103 label=Case6.91 nb_sol=0 ticks=277346 tps=100 nb_sec=2773
case_no=103 label=Case6.91 nb_sol=0 ticks=202118 tps=100 nb_sec=2021
case_no=103 label=Case6.91 nb_sol=0 ticks=246457 tps=100 nb_sec=2464
case_no=103 label=Case6.91 nb_sol=0 ticks=186408 tps=100 nb_sec=1864
case_no=103 label=Case6.91 nb_sol=0 ticks=106070 tps=100 nb_sec=1060
case_no=103 label=Case6.91 nb_sol=0 ticks=215628 tps=100 nb_sec=2156
case_no=103 label=Case6.91 nb_sol=0 ticks=196602 tps=100 nb_sec=1966
case_no=103 label=Case6.91 nb_sol=0 ticks=309112 tps=100 nb_sec=3091
case_no=103 label=Case6.91 nb_sol=0 ticks=89570 tps=100 nb_sec=895
case_no=103 label=Case6.91 nb_sol=0 ticks=199671 tps=100 nb_sec=1996
case_no=103 label=Case6.91 nb_sol=0 ticks=142668 tps=100 nb_sec=1426
case_no=103 label=Case6.91 nb_sol=0 ticks=136686 tps=100 nb_sec=1366
case_no=103 label=Case6.91 nb_sol=0 ticks=159259 tps=100 nb_sec=1592
case_no=103 label=Case6.91 nb_sol=0 ticks=136510 tps=100 nb_sec=1365
case_no=103 label=Case6.91 nb_sol=0 ticks=205222 tps=100 nb_sec=2052
case_no=103 label=Case6.91 nb_sol=0 ticks=315642 tps=100 nb_sec=3156
case_no=103 label=Case6.91 nb_sol=0 ticks=198216 tps=100 nb_sec=1982
case_no=103 label=Case6.91 nb_sol=0 ticks=198159 tps=100 nb_sec=1981
case_no=103 label=Case6.91 nb_sol=0 ticks=258875 tps=100 nb_sec=2588
case_no=103 label=Case6.91 nb_sol=0 ticks=198451 tps=100 nb_sec=1984
case_no=103 label=Case6.91 nb_sol=0 ticks=167122 tps=100 nb_sec=1671
case_no=103 label=Case6.91 nb_sol=0 ticks=319387 tps=100 nb_sec=3193
case_no=103 label=Case6.91 nb_sol=0 ticks=228738 tps=100 nb_sec=2287
case_no=103 label=Case6.91 nb_sol=0 ticks=272341 tps=100 nb_sec=2723
case_no=103 label=Case6.91 nb_sol=0 ticks=251948 tps=100 nb_sec=2519
case_no=103 label=Case6.91 nb_sol=0 ticks=136247 tps=100 nb_sec=1362
case_no=103 label=Case6.91 nb_sol=0 ticks=184686 tps=100 nb_sec=1846
case_no=103 label=Case6.91 nb_sol=0 ticks=171677 tps=100 nb_sec=1716
case_no=103 label=Case6.91 nb_sol=0 ticks=237619 tps=100 nb_sec=2376
case_no=103 label=Case6.91 nb_sol=0 ticks=170279 tps=100 nb_sec=1702
case_no=103 label=Case6.91 nb_sol=0 ticks=139872 tps=100 nb_sec=1398
case_no=103 label=Case6.91 nb_sol=0 ticks=83885 tps=100 nb_sec=838
case_no=103 label=Case6.91 nb_sol=0 ticks=292664 tps=100 nb_sec=2926
case_no=103 label=Case6.91 nb_sol=0 ticks=251370 tps=100 nb_sec=2513
case_no=103 label=Case6.91 nb_sol=0 ticks=234459 tps=100 nb_sec=2344
case_no=103 label=Case6.91 nb_sol=0 ticks=184643 tps=100 nb_sec=1846
case_no=103 label=Case6.91 nb_sol=0 ticks=194503 tps=100 nb_sec=1945
case_no=103 label=Case6.91 nb_sol=0 ticks=232135 tps=100 nb_sec=2321
case_no=103 label=Case6.91 nb_sol=0 ticks=217948 tps=100 nb_sec=2179
case_no=103 label=Case6.91 nb_sol=0 ticks=303682 tps=100 nb_sec=3036
case_no=103 label=Case6.91 nb_sol=0 ticks=135748 tps=100 nb_sec=1357
case_no=103 label=Case6.91 nb_sol=0 ticks=189659 tps=100 nb_sec=1896
case_no=103 label=Case6.91 nb_sol=0 ticks=179249 tps=100 nb_sec=1792
case_no=103 label=Case6.91 nb_sol=0 ticks=95860 tps=100 nb_sec=958
case_no=103 label=Case6.91 nb_sol=0 ticks=139523 tps=100 nb_sec=1395
case_no=103 label=Case6.91 nb_sol=0 ticks=176574 tps=100 nb_sec=1765
case_no=103 label=Case6.91 nb_sol=0 ticks=180135 tps=100 nb_sec=1801
case_no=103 label=Case6.91 nb_sol=0 ticks=231555 tps=100 nb_sec=2315
case_no=103 label=Case6.91 nb_sol=0 ticks=273945 tps=100 nb_sec=2739
case_no=103 label=Case6.91 nb_sol=0 ticks=245715 tps=100 nb_sec=2457
case_no=103 label=Case6.91 nb_sol=0 ticks=193118 tps=100 nb_sec=1931
case_no=103 label=Case6.91 nb_sol=0 ticks=181803 tps=100 nb_sec=1818
case_no=103 label=Case6.91 nb_sol=0 ticks=229646 tps=100 nb_sec=2296
case_no=103 label=Case6.91 nb_sol=0 ticks=224521 tps=100 nb_sec=2245
case_no=103 label=Case6.91 nb_sol=0 ticks=207580 tps=100 nb_sec=2075
case_no=103 label=Case6.91 nb_sol=0 ticks=220510 tps=100 nb_sec=2205
case_no=103 label=Case6.91 nb_sol=0 ticks=144005 tps=100 nb_sec=1440
case_no=103 label=Case6.91 nb_sol=0 ticks=207916 tps=100 nb_sec=2079
case_no=103 label=Case6.91 nb_sol=0 ticks=188667 tps=100 nb_sec=1886
case_no=103 label=Case6.91 nb_sol=0 ticks=288916 tps=100 nb_sec=2889
case_no=103 label=Case6.91 nb_sol=0 ticks=169140 tps=100 nb_sec=1691
case_no=103 label=Case6.91 nb_sol=0 ticks=229123 tps=100 nb_sec=2291
case_no=103 label=Case6.91 nb_sol=0 ticks=210167 tps=100 nb_sec=2101
case_no=103 label=Case6.91 nb_sol=0 ticks=234746 tps=100 nb_sec=2347
case_no=103 label=Case6.91 nb_sol=0 ticks=211111 tps=100 nb_sec=2111
case_no=103 label=Case6.91 nb_sol=0 ticks=280084 tps=100 nb_sec=2800
case_no=103 label=Case6.91 nb_sol=0 ticks=262482 tps=100 nb_sec=2624
case_no=103 label=Case6.91 nb_sol=0 ticks=208466 tps=100 nb_sec=2084
case_no=103 label=Case6.91 nb_sol=0 ticks=208833 tps=100 nb_sec=2088
case_no=103 label=Case6.91 nb_sol=0 ticks=181049 tps=100 nb_sec=1810
case_no=103 label=Case6.91 nb_sol=0 ticks=184965 tps=100 nb_sec=1849
case_no=103 label=Case6.91 nb_sol=0 ticks=226372 tps=100 nb_sec=2263
case_no=103 label=Case6.91 nb_sol=0 ticks=163556 tps=100 nb_sec=1635
case_no=103 label=Case6.91 nb_sol=0 ticks=222462 tps=100 nb_sec=2224
case_no=103 label=Case6.91 nb_sol=0 ticks=205866 tps=100 nb_sec=2058
case_no=103 label=Case6.91 nb_sol=0 ticks=209220 tps=100 nb_sec=2092
case_no=103 label=Case6.91 nb_sol=0 ticks=113335 tps=100 nb_sec=1133
case_no=103 label=Case6.91 nb_sol=0 ticks=254181 tps=100 nb_sec=2541
case_no=103 label=Case6.91 nb_sol=0 ticks=253643 tps=100 nb_sec=2536
case_no=103 label=Case6.91 nb_sol=0 ticks=204060 tps=100 nb_sec=2040
case_no=103 label=Case6.91 nb_sol=0 ticks=276864 tps=100 nb_sec=2768
case_no=103 label=Case6.91 nb_sol=0 ticks=136702 tps=100 nb_sec=1367
case_no=103 label=Case6.91 nb_sol=0 ticks=163054 tps=100 nb_sec=1630
case_no=103 label=Case6.91 nb_sol=0 ticks=155462 tps=100 nb_sec=1554
case_no=103 label=Case6.91 nb_sol=0 ticks=177866 tps=100 nb_sec=1778
case_no=103 label=Case6.91 nb_sol=0 ticks=156609 tps=100 nb_sec=1566
case_no=103 label=Case6.91 nb_sol=0 ticks=162688 tps=100 nb_sec=1626
case_no=103 label=Case6.91 nb_sol=0 ticks=243524 tps=100 nb_sec=2435
case_no=103 label=Case6.91 nb_sol=0 ticks=278940 tps=100 nb_sec=2789
case_no=103 label=Case6.91 nb_sol=0 ticks=303048 tps=100 nb_sec=3030
case_no=103 label=Case6.91 nb_sol=0 ticks=212722 tps=100 nb_sec=2127
case_no=103 label=Case6.91 nb_sol=0 ticks=235566 tps=100 nb_sec=2355
case_no=103 label=Case6.91 nb_sol=0 ticks=111297 tps=100 nb_sec=1112
case_no=103 label=Case6.91 nb_sol=0 ticks=206446 tps=100 nb_sec=2064
case_no=103 label=Case6.91 nb_sol=0 ticks=180428 tps=100 nb_sec=1804
case_no=103 label=Case6.91 nb_sol=0 ticks=254002 tps=100 nb_sec=2540
case_no=103 label=Case6.91 nb_sol=0 ticks=162166 tps=100 nb_sec=1621
case_no=103 label=Case6.91 nb_sol=0 ticks=194614 tps=100 nb_sec=1946
case_no=103 label=Case6.91 nb_sol=0 ticks=81743 tps=100 nb_sec=817
case_no=103 label=Case6.91 nb_sol=0 ticks=84648 tps=100 nb_sec=846
case_no=103 label=Case6.91 nb_sol=0 ticks=134125 tps=100 nb_sec=1341
case_no=103 label=Case6.91 nb_sol=0 ticks=85145 tps=100 nb_sec=851
case_no=103 label=Case6.91 nb_sol=0 ticks=214410 tps=100 nb_sec=2144
case_no=103 label=Case6.91 nb_sol=0 ticks=154290 tps=100 nb_sec=1542
case_no=103 label=Case6.91 nb_sol=0 ticks=145583 tps=100 nb_sec=1455
case_no=103 label=Case6.91 nb_sol=0 ticks=319988 tps=100 nb_sec=3199
case_no=103 label=Case6.91 nb_sol=0 ticks=163013 tps=100 nb_sec=1630
case_no=103 label=Case6.91 nb_sol=0 ticks=231166 tps=100 nb_sec=2311
case_no=103 label=Case6.91 nb_sol=0 ticks=157255 tps=100 nb_sec=1572
case_no=103 label=Case6.91 nb_sol=0 ticks=203417 tps=100 nb_sec=2034
case_no=103 label=Case6.91 nb_sol=0 ticks=194971 tps=100 nb_sec=1949
case_no=103 label=Case6.91 nb_sol=0 ticks=151759 tps=100 nb_sec=1517
case_no=103 label=Case6.91 nb_sol=0 ticks=178943 tps=100 nb_sec=1789
case_no=103 label=Case6.91 nb_sol=0 ticks=178865 tps=100 nb_sec=1788
case_no=103 label=Case6.91 nb_sol=0 ticks=173195 tps=100 nb_sec=1731
case_no=103 label=Case6.91 nb_sol=0 ticks=80635 tps=100 nb_sec=806
case_no=103 label=Case6.91 nb_sol=0 ticks=167534 tps=100 nb_sec=1675
case_no=103 label=Case6.91 nb_sol=0 ticks=151705 tps=100 nb_sec=1517
case_no=103 label=Case6.91 nb_sol=0 ticks=171378 tps=100 nb_sec=1713
case_no=103 label=Case6.91 nb_sol=0 ticks=191094 tps=100 nb_sec=1910
Nb_sol=0
Nb_sec=251371
2-21:49:31 or 69 hours
missing cases:
none