argc=5
-M 32
file2=30_select_Case6.83_starter_15_
checking files mod 32 from 0 to 31
case_no=95 label=Case6.83 nb_sol=0 ticks=33457 tps=100 nb_sec=334
case_no=95 label=Case6.83 nb_sol=0 ticks=13795 tps=100 nb_sec=137
case_no=95 label=Case6.83 nb_sol=0 ticks=28584 tps=100 nb_sec=285
case_no=95 label=Case6.83 nb_sol=0 ticks=44436 tps=100 nb_sec=444
case_no=95 label=Case6.83 nb_sol=0 ticks=17704 tps=100 nb_sec=177
case_no=95 label=Case6.83 nb_sol=0 ticks=28541 tps=100 nb_sec=285
case_no=95 label=Case6.83 nb_sol=0 ticks=15835 tps=100 nb_sec=158
case_no=95 label=Case6.83 nb_sol=0 ticks=10694 tps=100 nb_sec=106
case_no=95 label=Case6.83 nb_sol=0 ticks=27125 tps=100 nb_sec=271
case_no=95 label=Case6.83 nb_sol=0 ticks=12710 tps=100 nb_sec=127
case_no=95 label=Case6.83 nb_sol=0 ticks=23154 tps=100 nb_sec=231
case_no=95 label=Case6.83 nb_sol=0 ticks=9085 tps=100 nb_sec=90
case_no=95 label=Case6.83 nb_sol=0 ticks=19155 tps=100 nb_sec=191
case_no=95 label=Case6.83 nb_sol=0 ticks=23718 tps=100 nb_sec=237
case_no=95 label=Case6.83 nb_sol=0 ticks=18313 tps=100 nb_sec=183
case_no=95 label=Case6.83 nb_sol=0 ticks=19067 tps=100 nb_sec=190
case_no=95 label=Case6.83 nb_sol=0 ticks=22476 tps=100 nb_sec=224
case_no=95 label=Case6.83 nb_sol=0 ticks=17034 tps=100 nb_sec=170
case_no=95 label=Case6.83 nb_sol=0 ticks=29752 tps=100 nb_sec=297
case_no=95 label=Case6.83 nb_sol=0 ticks=45676 tps=100 nb_sec=456
case_no=95 label=Case6.83 nb_sol=0 ticks=17403 tps=100 nb_sec=174
case_no=95 label=Case6.83 nb_sol=0 ticks=14078 tps=100 nb_sec=140
case_no=95 label=Case6.83 nb_sol=0 ticks=31439 tps=100 nb_sec=314
case_no=95 label=Case6.83 nb_sol=0 ticks=29358 tps=100 nb_sec=293
case_no=95 label=Case6.83 nb_sol=0 ticks=34813 tps=100 nb_sec=348
case_no=95 label=Case6.83 nb_sol=0 ticks=20167 tps=100 nb_sec=201
case_no=95 label=Case6.83 nb_sol=0 ticks=27993 tps=100 nb_sec=279
case_no=95 label=Case6.83 nb_sol=0 ticks=21745 tps=100 nb_sec=217
case_no=95 label=Case6.83 nb_sol=0 ticks=14700 tps=100 nb_sec=147
case_no=95 label=Case6.83 nb_sol=0 ticks=21284 tps=100 nb_sec=212
case_no=95 label=Case6.83 nb_sol=0 ticks=6315 tps=100 nb_sec=63
case_no=95 label=Case6.83 nb_sol=0 ticks=9228 tps=100 nb_sec=92
Nb_sol=0
Nb_sec=7073
0-1:57:53 or 1 hours
missing cases:
none