argc=5
-M 64
file2=30_select_Case6.138_starter_15_
checking files mod 64 from 0 to 63
case_no=150 label=Case6.138 nb_sol=0 ticks=1440725 tps=100 nb_sec=14407
case_no=150 label=Case6.138 nb_sol=0 ticks=1228117 tps=100 nb_sec=12281
case_no=150 label=Case6.138 nb_sol=0 ticks=1350345 tps=100 nb_sec=13503
case_no=150 label=Case6.138 nb_sol=0 ticks=1012533 tps=100 nb_sec=10125
case_no=150 label=Case6.138 nb_sol=0 ticks=1550079 tps=100 nb_sec=15500
case_no=150 label=Case6.138 nb_sol=0 ticks=1426777 tps=100 nb_sec=14267
case_no=150 label=Case6.138 nb_sol=0 ticks=1708894 tps=100 nb_sec=17088
case_no=150 label=Case6.138 nb_sol=0 ticks=1413169 tps=100 nb_sec=14131
case_no=150 label=Case6.138 nb_sol=0 ticks=1631704 tps=100 nb_sec=16317
case_no=150 label=Case6.138 nb_sol=0 ticks=1275509 tps=100 nb_sec=12755
case_no=150 label=Case6.138 nb_sol=0 ticks=1385129 tps=100 nb_sec=13851
case_no=150 label=Case6.138 nb_sol=0 ticks=1183426 tps=100 nb_sec=11834
case_no=150 label=Case6.138 nb_sol=0 ticks=953627 tps=100 nb_sec=9536
case_no=150 label=Case6.138 nb_sol=0 ticks=2068177 tps=100 nb_sec=20681
case_no=150 label=Case6.138 nb_sol=0 ticks=1209168 tps=100 nb_sec=12091
case_no=150 label=Case6.138 nb_sol=0 ticks=1387830 tps=100 nb_sec=13878
case_no=150 label=Case6.138 nb_sol=0 ticks=1286981 tps=100 nb_sec=12869
case_no=150 label=Case6.138 nb_sol=0 ticks=1374250 tps=100 nb_sec=13742
case_no=150 label=Case6.138 nb_sol=0 ticks=923015 tps=100 nb_sec=9230
case_no=150 label=Case6.138 nb_sol=0 ticks=1701065 tps=100 nb_sec=17010
case_no=150 label=Case6.138 nb_sol=0 ticks=1573032 tps=100 nb_sec=15730
case_no=150 label=Case6.138 nb_sol=0 ticks=1401615 tps=100 nb_sec=14016
case_no=150 label=Case6.138 nb_sol=0 ticks=1371982 tps=100 nb_sec=13719
case_no=150 label=Case6.138 nb_sol=0 ticks=1271816 tps=100 nb_sec=12718
case_no=150 label=Case6.138 nb_sol=0 ticks=1475050 tps=100 nb_sec=14750
case_no=150 label=Case6.138 nb_sol=0 ticks=1194050 tps=100 nb_sec=11940
case_no=150 label=Case6.138 nb_sol=0 ticks=1983745 tps=100 nb_sec=19837
case_no=150 label=Case6.138 nb_sol=0 ticks=1118999 tps=100 nb_sec=11189
case_no=150 label=Case6.138 nb_sol=0 ticks=1356749 tps=100 nb_sec=13567
case_no=150 label=Case6.138 nb_sol=0 ticks=632558 tps=100 nb_sec=6325
case_no=150 label=Case6.138 nb_sol=0 ticks=1697266 tps=100 nb_sec=16972
case_no=150 label=Case6.138 nb_sol=0 ticks=1536050 tps=100 nb_sec=15360
case_no=150 label=Case6.138 nb_sol=0 ticks=2114547 tps=100 nb_sec=21145
case_no=150 label=Case6.138 nb_sol=0 ticks=1426437 tps=100 nb_sec=14264
case_no=150 label=Case6.138 nb_sol=0 ticks=1065078 tps=100 nb_sec=10650
case_no=150 label=Case6.138 nb_sol=0 ticks=1041744 tps=100 nb_sec=10417
case_no=150 label=Case6.138 nb_sol=0 ticks=1738815 tps=100 nb_sec=17388
case_no=150 label=Case6.138 nb_sol=0 ticks=1307399 tps=100 nb_sec=13073
case_no=150 label=Case6.138 nb_sol=0 ticks=1218121 tps=100 nb_sec=12181
case_no=150 label=Case6.138 nb_sol=0 ticks=1498567 tps=100 nb_sec=14985
case_no=150 label=Case6.138 nb_sol=0 ticks=821730 tps=100 nb_sec=8217
case_no=150 label=Case6.138 nb_sol=0 ticks=689775 tps=100 nb_sec=6897
case_no=150 label=Case6.138 nb_sol=0 ticks=1032532 tps=100 nb_sec=10325
case_no=150 label=Case6.138 nb_sol=0 ticks=1788891 tps=100 nb_sec=17888
case_no=150 label=Case6.138 nb_sol=0 ticks=991618 tps=100 nb_sec=9916
case_no=150 label=Case6.138 nb_sol=0 ticks=1876337 tps=100 nb_sec=18763
case_no=150 label=Case6.138 nb_sol=0 ticks=1598152 tps=100 nb_sec=15981
case_no=150 label=Case6.138 nb_sol=0 ticks=1237495 tps=100 nb_sec=12374
case_no=150 label=Case6.138 nb_sol=0 ticks=854192 tps=100 nb_sec=8541
case_no=150 label=Case6.138 nb_sol=0 ticks=1040792 tps=100 nb_sec=10407
case_no=150 label=Case6.138 nb_sol=0 ticks=1048462 tps=100 nb_sec=10484
case_no=150 label=Case6.138 nb_sol=0 ticks=1115354 tps=100 nb_sec=11153
case_no=150 label=Case6.138 nb_sol=0 ticks=1244924 tps=100 nb_sec=12449
case_no=150 label=Case6.138 nb_sol=0 ticks=1055849 tps=100 nb_sec=10558
case_no=150 label=Case6.138 nb_sol=0 ticks=627988 tps=100 nb_sec=6279
case_no=150 label=Case6.138 nb_sol=0 ticks=2101519 tps=100 nb_sec=21015
case_no=150 label=Case6.138 nb_sol=0 ticks=926118 tps=100 nb_sec=9261
case_no=150 label=Case6.138 nb_sol=0 ticks=1570693 tps=100 nb_sec=15706
case_no=150 label=Case6.138 nb_sol=0 ticks=1553288 tps=100 nb_sec=15532
case_no=150 label=Case6.138 nb_sol=0 ticks=1069320 tps=100 nb_sec=10693
case_no=150 label=Case6.138 nb_sol=0 ticks=1459197 tps=100 nb_sec=14591
case_no=150 label=Case6.138 nb_sol=0 ticks=1767341 tps=100 nb_sec=17673
case_no=150 label=Case6.138 nb_sol=0 ticks=739802 tps=100 nb_sec=7398
case_no=150 label=Case6.138 nb_sol=0 ticks=621629 tps=100 nb_sec=6216
Nb_sol=0
Nb_sec=843639
9-18:20:39 or 234 hours
missing cases:
none