argc=5
-M 32
file2=30_select_Case6.86_starter_15_
checking files mod 32 from 0 to 31
case_no=98 label=Case6.86 nb_sol=0 ticks=58209 tps=100 nb_sec=582
case_no=98 label=Case6.86 nb_sol=0 ticks=69104 tps=100 nb_sec=691
case_no=98 label=Case6.86 nb_sol=0 ticks=71317 tps=100 nb_sec=713
case_no=98 label=Case6.86 nb_sol=0 ticks=89393 tps=100 nb_sec=893
case_no=98 label=Case6.86 nb_sol=0 ticks=27674 tps=100 nb_sec=276
case_no=98 label=Case6.86 nb_sol=0 ticks=78720 tps=100 nb_sec=787
case_no=98 label=Case6.86 nb_sol=0 ticks=45159 tps=100 nb_sec=451
case_no=98 label=Case6.86 nb_sol=0 ticks=43018 tps=100 nb_sec=430
case_no=98 label=Case6.86 nb_sol=0 ticks=51041 tps=100 nb_sec=510
case_no=98 label=Case6.86 nb_sol=0 ticks=43191 tps=100 nb_sec=431
case_no=98 label=Case6.86 nb_sol=0 ticks=34291 tps=100 nb_sec=342
case_no=98 label=Case6.86 nb_sol=0 ticks=28265 tps=100 nb_sec=282
case_no=98 label=Case6.86 nb_sol=0 ticks=91882 tps=100 nb_sec=918
case_no=98 label=Case6.86 nb_sol=0 ticks=51162 tps=100 nb_sec=511
case_no=98 label=Case6.86 nb_sol=0 ticks=83295 tps=100 nb_sec=832
case_no=98 label=Case6.86 nb_sol=0 ticks=34627 tps=100 nb_sec=346
case_no=98 label=Case6.86 nb_sol=0 ticks=35790 tps=100 nb_sec=357
case_no=98 label=Case6.86 nb_sol=0 ticks=24926 tps=100 nb_sec=249
case_no=98 label=Case6.86 nb_sol=0 ticks=32887 tps=100 nb_sec=328
case_no=98 label=Case6.86 nb_sol=0 ticks=81443 tps=100 nb_sec=814
case_no=98 label=Case6.86 nb_sol=0 ticks=45995 tps=100 nb_sec=459
case_no=98 label=Case6.86 nb_sol=0 ticks=30076 tps=100 nb_sec=300
case_no=98 label=Case6.86 nb_sol=0 ticks=98567 tps=100 nb_sec=985
case_no=98 label=Case6.86 nb_sol=0 ticks=78491 tps=100 nb_sec=784
case_no=98 label=Case6.86 nb_sol=0 ticks=40996 tps=100 nb_sec=409
case_no=98 label=Case6.86 nb_sol=0 ticks=41268 tps=100 nb_sec=412
case_no=98 label=Case6.86 nb_sol=0 ticks=105460 tps=100 nb_sec=1054
case_no=98 label=Case6.86 nb_sol=0 ticks=54036 tps=100 nb_sec=540
case_no=98 label=Case6.86 nb_sol=0 ticks=35383 tps=100 nb_sec=353
case_no=98 label=Case6.86 nb_sol=0 ticks=25875 tps=100 nb_sec=258
case_no=98 label=Case6.86 nb_sol=0 ticks=14593 tps=100 nb_sec=145
case_no=98 label=Case6.86 nb_sol=0 ticks=11259 tps=100 nb_sec=112
Nb_sol=0
Nb_sec=16554
0-4:35:54 or 4 hours
missing cases:
none