argc=5
-M 32
file2=30_select_Case6.84_starter_15_
checking files mod 32 from 0 to 31
case_no=96 label=Case6.84 nb_sol=0 ticks=15615 tps=100 nb_sec=156
case_no=96 label=Case6.84 nb_sol=0 ticks=23387 tps=100 nb_sec=233
case_no=96 label=Case6.84 nb_sol=0 ticks=26461 tps=100 nb_sec=264
case_no=96 label=Case6.84 nb_sol=0 ticks=49001 tps=100 nb_sec=490
case_no=96 label=Case6.84 nb_sol=0 ticks=18188 tps=100 nb_sec=181
case_no=96 label=Case6.84 nb_sol=0 ticks=74196 tps=100 nb_sec=741
case_no=96 label=Case6.84 nb_sol=0 ticks=13492 tps=100 nb_sec=134
case_no=96 label=Case6.84 nb_sol=0 ticks=17781 tps=100 nb_sec=177
case_no=96 label=Case6.84 nb_sol=0 ticks=31982 tps=100 nb_sec=319
case_no=96 label=Case6.84 nb_sol=0 ticks=34652 tps=100 nb_sec=346
case_no=96 label=Case6.84 nb_sol=0 ticks=17296 tps=100 nb_sec=172
case_no=96 label=Case6.84 nb_sol=0 ticks=17578 tps=100 nb_sec=175
case_no=96 label=Case6.84 nb_sol=0 ticks=29449 tps=100 nb_sec=294
case_no=96 label=Case6.84 nb_sol=0 ticks=27843 tps=100 nb_sec=278
case_no=96 label=Case6.84 nb_sol=0 ticks=40307 tps=100 nb_sec=403
case_no=96 label=Case6.84 nb_sol=0 ticks=29836 tps=100 nb_sec=298
case_no=96 label=Case6.84 nb_sol=0 ticks=13353 tps=100 nb_sec=133
case_no=96 label=Case6.84 nb_sol=0 ticks=21209 tps=100 nb_sec=212
case_no=96 label=Case6.84 nb_sol=0 ticks=32185 tps=100 nb_sec=321
case_no=96 label=Case6.84 nb_sol=0 ticks=31797 tps=100 nb_sec=317
case_no=96 label=Case6.84 nb_sol=0 ticks=37123 tps=100 nb_sec=371
case_no=96 label=Case6.84 nb_sol=0 ticks=14196 tps=100 nb_sec=141
case_no=96 label=Case6.84 nb_sol=0 ticks=21618 tps=100 nb_sec=216
case_no=96 label=Case6.84 nb_sol=0 ticks=41553 tps=100 nb_sec=415
case_no=96 label=Case6.84 nb_sol=0 ticks=36292 tps=100 nb_sec=362
case_no=96 label=Case6.84 nb_sol=0 ticks=21005 tps=100 nb_sec=210
case_no=96 label=Case6.84 nb_sol=0 ticks=36520 tps=100 nb_sec=365
case_no=96 label=Case6.84 nb_sol=0 ticks=23295 tps=100 nb_sec=232
case_no=96 label=Case6.84 nb_sol=0 ticks=25604 tps=100 nb_sec=256
case_no=96 label=Case6.84 nb_sol=0 ticks=19716 tps=100 nb_sec=197
case_no=96 label=Case6.84 nb_sol=0 ticks=8615 tps=100 nb_sec=86
case_no=96 label=Case6.84 nb_sol=0 ticks=7930 tps=100 nb_sec=79
Nb_sol=0
Nb_sec=8574
0-2:22:54 or 2 hours
missing cases:
none