argc=5
-M 16
file2=30_select_Case6.15_starter_16_
checking files mod 16 from 0 to 15
case_no=27 label=Case6.15 nb_sol=0 ticks=35722 tps=100 nb_sec=357
case_no=27 label=Case6.15 nb_sol=0 ticks=36501 tps=100 nb_sec=365
case_no=27 label=Case6.15 nb_sol=0 ticks=48754 tps=100 nb_sec=487
case_no=27 label=Case6.15 nb_sol=0 ticks=32712 tps=100 nb_sec=327
case_no=27 label=Case6.15 nb_sol=0 ticks=38859 tps=100 nb_sec=388
case_no=27 label=Case6.15 nb_sol=0 ticks=40483 tps=100 nb_sec=404
case_no=27 label=Case6.15 nb_sol=0 ticks=38346 tps=100 nb_sec=383
case_no=27 label=Case6.15 nb_sol=0 ticks=35242 tps=100 nb_sec=352
case_no=27 label=Case6.15 nb_sol=0 ticks=41422 tps=100 nb_sec=414
case_no=27 label=Case6.15 nb_sol=0 ticks=38309 tps=100 nb_sec=383
case_no=27 label=Case6.15 nb_sol=0 ticks=34237 tps=100 nb_sec=342
case_no=27 label=Case6.15 nb_sol=0 ticks=39050 tps=100 nb_sec=390
case_no=27 label=Case6.15 nb_sol=0 ticks=43580 tps=100 nb_sec=435
case_no=27 label=Case6.15 nb_sol=0 ticks=45249 tps=100 nb_sec=452
case_no=27 label=Case6.15 nb_sol=0 ticks=39323 tps=100 nb_sec=393
case_no=27 label=Case6.15 nb_sol=0 ticks=48591 tps=100 nb_sec=485
Nb_sol=0
Nb_sec=6357
0-1:45:57 or 1 hours
missing cases:
none