argc=5
-M 64
file2=30_select_Case6.143_starter_15_
checking files mod 64 from 0 to 63
case_no=155 label=Case6.143 nb_sol=0 ticks=332326 tps=100 nb_sec=3323
case_no=155 label=Case6.143 nb_sol=0 ticks=283796 tps=100 nb_sec=2837
case_no=155 label=Case6.143 nb_sol=0 ticks=347063 tps=100 nb_sec=3470
case_no=155 label=Case6.143 nb_sol=0 ticks=325778 tps=100 nb_sec=3257
case_no=155 label=Case6.143 nb_sol=0 ticks=298906 tps=100 nb_sec=2989
case_no=155 label=Case6.143 nb_sol=0 ticks=267323 tps=100 nb_sec=2673
case_no=155 label=Case6.143 nb_sol=0 ticks=335586 tps=100 nb_sec=3355
case_no=155 label=Case6.143 nb_sol=0 ticks=170251 tps=100 nb_sec=1702
case_no=155 label=Case6.143 nb_sol=0 ticks=297479 tps=100 nb_sec=2974
case_no=155 label=Case6.143 nb_sol=0 ticks=373484 tps=100 nb_sec=3734
case_no=155 label=Case6.143 nb_sol=0 ticks=435137 tps=100 nb_sec=4351
case_no=155 label=Case6.143 nb_sol=0 ticks=235454 tps=100 nb_sec=2354
case_no=155 label=Case6.143 nb_sol=0 ticks=344557 tps=100 nb_sec=3445
case_no=155 label=Case6.143 nb_sol=0 ticks=294321 tps=100 nb_sec=2943
case_no=155 label=Case6.143 nb_sol=0 ticks=369285 tps=100 nb_sec=3692
case_no=155 label=Case6.143 nb_sol=0 ticks=176933 tps=100 nb_sec=1769
case_no=155 label=Case6.143 nb_sol=0 ticks=549767 tps=100 nb_sec=5497
case_no=155 label=Case6.143 nb_sol=0 ticks=266937 tps=100 nb_sec=2669
case_no=155 label=Case6.143 nb_sol=0 ticks=176785 tps=100 nb_sec=1767
case_no=155 label=Case6.143 nb_sol=0 ticks=259182 tps=100 nb_sec=2591
case_no=155 label=Case6.143 nb_sol=0 ticks=359997 tps=100 nb_sec=3599
case_no=155 label=Case6.143 nb_sol=0 ticks=246577 tps=100 nb_sec=2465
case_no=155 label=Case6.143 nb_sol=0 ticks=343703 tps=100 nb_sec=3437
case_no=155 label=Case6.143 nb_sol=0 ticks=423471 tps=100 nb_sec=4234
case_no=155 label=Case6.143 nb_sol=0 ticks=395133 tps=100 nb_sec=3951
case_no=155 label=Case6.143 nb_sol=0 ticks=370372 tps=100 nb_sec=3703
case_no=155 label=Case6.143 nb_sol=0 ticks=375331 tps=100 nb_sec=3753
case_no=155 label=Case6.143 nb_sol=0 ticks=323659 tps=100 nb_sec=3236
case_no=155 label=Case6.143 nb_sol=0 ticks=290795 tps=100 nb_sec=2907
case_no=155 label=Case6.143 nb_sol=0 ticks=326949 tps=100 nb_sec=3269
case_no=155 label=Case6.143 nb_sol=0 ticks=326919 tps=100 nb_sec=3269
case_no=155 label=Case6.143 nb_sol=0 ticks=300686 tps=100 nb_sec=3006
case_no=155 label=Case6.143 nb_sol=0 ticks=348333 tps=100 nb_sec=3483
case_no=155 label=Case6.143 nb_sol=0 ticks=341219 tps=100 nb_sec=3412
case_no=155 label=Case6.143 nb_sol=0 ticks=363126 tps=100 nb_sec=3631
case_no=155 label=Case6.143 nb_sol=0 ticks=387828 tps=100 nb_sec=3878
case_no=155 label=Case6.143 nb_sol=0 ticks=364177 tps=100 nb_sec=3641
case_no=155 label=Case6.143 nb_sol=0 ticks=290355 tps=100 nb_sec=2903
case_no=155 label=Case6.143 nb_sol=0 ticks=399413 tps=100 nb_sec=3994
case_no=155 label=Case6.143 nb_sol=0 ticks=429540 tps=100 nb_sec=4295
case_no=155 label=Case6.143 nb_sol=0 ticks=301051 tps=100 nb_sec=3010
case_no=155 label=Case6.143 nb_sol=0 ticks=291833 tps=100 nb_sec=2918
case_no=155 label=Case6.143 nb_sol=0 ticks=401724 tps=100 nb_sec=4017
case_no=155 label=Case6.143 nb_sol=0 ticks=304311 tps=100 nb_sec=3043
case_no=155 label=Case6.143 nb_sol=0 ticks=428606 tps=100 nb_sec=4286
case_no=155 label=Case6.143 nb_sol=0 ticks=335537 tps=100 nb_sec=3355
case_no=155 label=Case6.143 nb_sol=0 ticks=441395 tps=100 nb_sec=4413
case_no=155 label=Case6.143 nb_sol=0 ticks=431006 tps=100 nb_sec=4310
case_no=155 label=Case6.143 nb_sol=0 ticks=301252 tps=100 nb_sec=3012
case_no=155 label=Case6.143 nb_sol=0 ticks=322543 tps=100 nb_sec=3225
case_no=155 label=Case6.143 nb_sol=0 ticks=252561 tps=100 nb_sec=2525
case_no=155 label=Case6.143 nb_sol=0 ticks=212098 tps=100 nb_sec=2120
case_no=155 label=Case6.143 nb_sol=0 ticks=313182 tps=100 nb_sec=3131
case_no=155 label=Case6.143 nb_sol=0 ticks=315651 tps=100 nb_sec=3156
case_no=155 label=Case6.143 nb_sol=0 ticks=447487 tps=100 nb_sec=4474
case_no=155 label=Case6.143 nb_sol=0 ticks=220845 tps=100 nb_sec=2208
case_no=155 label=Case6.143 nb_sol=0 ticks=300133 tps=100 nb_sec=3001
case_no=155 label=Case6.143 nb_sol=0 ticks=340137 tps=100 nb_sec=3401
case_no=155 label=Case6.143 nb_sol=0 ticks=324428 tps=100 nb_sec=3244
case_no=155 label=Case6.143 nb_sol=0 ticks=252497 tps=100 nb_sec=2524
case_no=155 label=Case6.143 nb_sol=0 ticks=241062 tps=100 nb_sec=2410
case_no=155 label=Case6.143 nb_sol=0 ticks=316657 tps=100 nb_sec=3166
case_no=155 label=Case6.143 nb_sol=0 ticks=343083 tps=100 nb_sec=3430
case_no=155 label=Case6.143 nb_sol=0 ticks=334297 tps=100 nb_sec=3342
Nb_sol=0
Nb_sec=209179
2-10:6:19 or 58 hours
missing cases:
none