argc=5
-M 64
file2=30_select_Case6.136_starter_15_
checking files mod 64 from 0 to 63
case_no=148 label=Case6.136 nb_sol=0 ticks=1742326 tps=100 nb_sec=17423
case_no=148 label=Case6.136 nb_sol=0 ticks=1724821 tps=100 nb_sec=17248
case_no=148 label=Case6.136 nb_sol=0 ticks=1390714 tps=100 nb_sec=13907
case_no=148 label=Case6.136 nb_sol=0 ticks=1264789 tps=100 nb_sec=12647
case_no=148 label=Case6.136 nb_sol=0 ticks=928211 tps=100 nb_sec=9282
case_no=148 label=Case6.136 nb_sol=0 ticks=836679 tps=100 nb_sec=8366
case_no=148 label=Case6.136 nb_sol=0 ticks=1385767 tps=100 nb_sec=13857
case_no=148 label=Case6.136 nb_sol=0 ticks=2075430 tps=100 nb_sec=20754
case_no=148 label=Case6.136 nb_sol=0 ticks=1886672 tps=100 nb_sec=18866
case_no=148 label=Case6.136 nb_sol=0 ticks=1624333 tps=100 nb_sec=16243
case_no=148 label=Case6.136 nb_sol=0 ticks=2054664 tps=100 nb_sec=20546
case_no=148 label=Case6.136 nb_sol=0 ticks=789546 tps=100 nb_sec=7895
case_no=148 label=Case6.136 nb_sol=0 ticks=926674 tps=100 nb_sec=9266
case_no=148 label=Case6.136 nb_sol=0 ticks=843733 tps=100 nb_sec=8437
case_no=148 label=Case6.136 nb_sol=0 ticks=1039839 tps=100 nb_sec=10398
case_no=148 label=Case6.136 nb_sol=0 ticks=930358 tps=100 nb_sec=9303
case_no=148 label=Case6.136 nb_sol=0 ticks=1456219 tps=100 nb_sec=14562
case_no=148 label=Case6.136 nb_sol=0 ticks=1416308 tps=100 nb_sec=14163
case_no=148 label=Case6.136 nb_sol=0 ticks=1163968 tps=100 nb_sec=11639
case_no=148 label=Case6.136 nb_sol=0 ticks=887823 tps=100 nb_sec=8878
case_no=148 label=Case6.136 nb_sol=0 ticks=1335160 tps=100 nb_sec=13351
case_no=148 label=Case6.136 nb_sol=0 ticks=1503553 tps=100 nb_sec=15035
case_no=148 label=Case6.136 nb_sol=0 ticks=1177739 tps=100 nb_sec=11777
case_no=148 label=Case6.136 nb_sol=0 ticks=2101049 tps=100 nb_sec=21010
case_no=148 label=Case6.136 nb_sol=0 ticks=1398145 tps=100 nb_sec=13981
case_no=148 label=Case6.136 nb_sol=0 ticks=1132835 tps=100 nb_sec=11328
case_no=148 label=Case6.136 nb_sol=0 ticks=1075918 tps=100 nb_sec=10759
case_no=148 label=Case6.136 nb_sol=0 ticks=1222811 tps=100 nb_sec=12228
case_no=148 label=Case6.136 nb_sol=0 ticks=1226424 tps=100 nb_sec=12264
case_no=148 label=Case6.136 nb_sol=0 ticks=1518380 tps=100 nb_sec=15183
case_no=148 label=Case6.136 nb_sol=0 ticks=1036454 tps=100 nb_sec=10364
case_no=148 label=Case6.136 nb_sol=0 ticks=2136885 tps=100 nb_sec=21368
case_no=148 label=Case6.136 nb_sol=0 ticks=1637161 tps=100 nb_sec=16371
case_no=148 label=Case6.136 nb_sol=0 ticks=1476158 tps=100 nb_sec=14761
case_no=148 label=Case6.136 nb_sol=0 ticks=1667489 tps=100 nb_sec=16674
case_no=148 label=Case6.136 nb_sol=0 ticks=1124197 tps=100 nb_sec=11241
case_no=148 label=Case6.136 nb_sol=0 ticks=2019682 tps=100 nb_sec=20196
case_no=148 label=Case6.136 nb_sol=0 ticks=1952178 tps=100 nb_sec=19521
case_no=148 label=Case6.136 nb_sol=0 ticks=898728 tps=100 nb_sec=8987
case_no=148 label=Case6.136 nb_sol=0 ticks=1613890 tps=100 nb_sec=16138
case_no=148 label=Case6.136 nb_sol=0 ticks=986354 tps=100 nb_sec=9863
case_no=148 label=Case6.136 nb_sol=0 ticks=973627 tps=100 nb_sec=9736
case_no=148 label=Case6.136 nb_sol=0 ticks=1767831 tps=100 nb_sec=17678
case_no=148 label=Case6.136 nb_sol=0 ticks=2031757 tps=100 nb_sec=20317
case_no=148 label=Case6.136 nb_sol=0 ticks=1046120 tps=100 nb_sec=10461
case_no=148 label=Case6.136 nb_sol=0 ticks=1485985 tps=100 nb_sec=14859
case_no=148 label=Case6.136 nb_sol=0 ticks=1229291 tps=100 nb_sec=12292
case_no=148 label=Case6.136 nb_sol=0 ticks=1912838 tps=100 nb_sec=19128
case_no=148 label=Case6.136 nb_sol=0 ticks=1187560 tps=100 nb_sec=11875
case_no=148 label=Case6.136 nb_sol=0 ticks=720195 tps=100 nb_sec=7201
case_no=148 label=Case6.136 nb_sol=0 ticks=1124807 tps=100 nb_sec=11248
case_no=148 label=Case6.136 nb_sol=0 ticks=552930 tps=100 nb_sec=5529
case_no=148 label=Case6.136 nb_sol=0 ticks=1601083 tps=100 nb_sec=16010
case_no=148 label=Case6.136 nb_sol=0 ticks=934599 tps=100 nb_sec=9345
case_no=148 label=Case6.136 nb_sol=0 ticks=699391 tps=100 nb_sec=6993
case_no=148 label=Case6.136 nb_sol=0 ticks=894366 tps=100 nb_sec=8943
case_no=148 label=Case6.136 nb_sol=0 ticks=1060306 tps=100 nb_sec=10603
case_no=148 label=Case6.136 nb_sol=0 ticks=1262989 tps=100 nb_sec=12629
case_no=148 label=Case6.136 nb_sol=0 ticks=1258218 tps=100 nb_sec=12582
case_no=148 label=Case6.136 nb_sol=0 ticks=1528938 tps=100 nb_sec=15289
case_no=148 label=Case6.136 nb_sol=0 ticks=989781 tps=100 nb_sec=9897
case_no=148 label=Case6.136 nb_sol=0 ticks=1139255 tps=100 nb_sec=11392
case_no=148 label=Case6.136 nb_sol=0 ticks=1305797 tps=100 nb_sec=13057
case_no=148 label=Case6.136 nb_sol=0 ticks=1346593 tps=100 nb_sec=13465
Nb_sol=0
Nb_sec=846609
9-19:10:9 or 235 hours
missing cases:
none