argc=5
-M 32
file2=30_select_Case6.85_starter_15_
checking files mod 32 from 0 to 31
case_no=97 label=Case6.85 nb_sol=0 ticks=34136 tps=100 nb_sec=341
case_no=97 label=Case6.85 nb_sol=0 ticks=25664 tps=100 nb_sec=256
case_no=97 label=Case6.85 nb_sol=0 ticks=44722 tps=100 nb_sec=447
case_no=97 label=Case6.85 nb_sol=0 ticks=50730 tps=100 nb_sec=507
case_no=97 label=Case6.85 nb_sol=0 ticks=50374 tps=100 nb_sec=503
case_no=97 label=Case6.85 nb_sol=0 ticks=47186 tps=100 nb_sec=471
case_no=97 label=Case6.85 nb_sol=0 ticks=35589 tps=100 nb_sec=355
case_no=97 label=Case6.85 nb_sol=0 ticks=18369 tps=100 nb_sec=183
case_no=97 label=Case6.85 nb_sol=0 ticks=18693 tps=100 nb_sec=186
case_no=97 label=Case6.85 nb_sol=0 ticks=23352 tps=100 nb_sec=233
case_no=97 label=Case6.85 nb_sol=0 ticks=33725 tps=100 nb_sec=337
case_no=97 label=Case6.85 nb_sol=0 ticks=28018 tps=100 nb_sec=280
case_no=97 label=Case6.85 nb_sol=0 ticks=30065 tps=100 nb_sec=300
case_no=97 label=Case6.85 nb_sol=0 ticks=45212 tps=100 nb_sec=452
case_no=97 label=Case6.85 nb_sol=0 ticks=43293 tps=100 nb_sec=432
case_no=97 label=Case6.85 nb_sol=0 ticks=23715 tps=100 nb_sec=237
case_no=97 label=Case6.85 nb_sol=0 ticks=14566 tps=100 nb_sec=145
case_no=97 label=Case6.85 nb_sol=0 ticks=25531 tps=100 nb_sec=255
case_no=97 label=Case6.85 nb_sol=0 ticks=50304 tps=100 nb_sec=503
case_no=97 label=Case6.85 nb_sol=0 ticks=25899 tps=100 nb_sec=258
case_no=97 label=Case6.85 nb_sol=0 ticks=37745 tps=100 nb_sec=377
case_no=97 label=Case6.85 nb_sol=0 ticks=14604 tps=100 nb_sec=146
case_no=97 label=Case6.85 nb_sol=0 ticks=22869 tps=100 nb_sec=228
case_no=97 label=Case6.85 nb_sol=0 ticks=23521 tps=100 nb_sec=235
case_no=97 label=Case6.85 nb_sol=0 ticks=24002 tps=100 nb_sec=240
case_no=97 label=Case6.85 nb_sol=0 ticks=15443 tps=100 nb_sec=154
case_no=97 label=Case6.85 nb_sol=0 ticks=41555 tps=100 nb_sec=415
case_no=97 label=Case6.85 nb_sol=0 ticks=22884 tps=100 nb_sec=228
case_no=97 label=Case6.85 nb_sol=0 ticks=29114 tps=100 nb_sec=291
case_no=97 label=Case6.85 nb_sol=0 ticks=13868 tps=100 nb_sec=138
case_no=97 label=Case6.85 nb_sol=0 ticks=7091 tps=100 nb_sec=70
case_no=97 label=Case6.85 nb_sol=0 ticks=9597 tps=100 nb_sec=95
Nb_sol=0
Nb_sec=9298
0-2:34:58 or 2 hours
missing cases:
none