argc=5
-M 16
file2=30_select_Case6.19_starter_16_
checking files mod 16 from 0 to 15
case_no=31 label=Case6.19 nb_sol=0 ticks=109580 tps=100 nb_sec=1095
case_no=31 label=Case6.19 nb_sol=0 ticks=68420 tps=100 nb_sec=684
case_no=31 label=Case6.19 nb_sol=0 ticks=124713 tps=100 nb_sec=1247
case_no=31 label=Case6.19 nb_sol=0 ticks=84228 tps=100 nb_sec=842
case_no=31 label=Case6.19 nb_sol=0 ticks=75752 tps=100 nb_sec=757
case_no=31 label=Case6.19 nb_sol=0 ticks=91499 tps=100 nb_sec=914
case_no=31 label=Case6.19 nb_sol=0 ticks=80785 tps=100 nb_sec=807
case_no=31 label=Case6.19 nb_sol=0 ticks=67176 tps=100 nb_sec=671
case_no=31 label=Case6.19 nb_sol=0 ticks=77061 tps=100 nb_sec=770
case_no=31 label=Case6.19 nb_sol=0 ticks=122514 tps=100 nb_sec=1225
case_no=31 label=Case6.19 nb_sol=0 ticks=68433 tps=100 nb_sec=684
case_no=31 label=Case6.19 nb_sol=0 ticks=90012 tps=100 nb_sec=900
case_no=31 label=Case6.19 nb_sol=0 ticks=97137 tps=100 nb_sec=971
case_no=31 label=Case6.19 nb_sol=0 ticks=75100 tps=100 nb_sec=751
case_no=31 label=Case6.19 nb_sol=0 ticks=124632 tps=100 nb_sec=1246
case_no=31 label=Case6.19 nb_sol=0 ticks=71348 tps=100 nb_sec=713
Nb_sol=0
Nb_sec=14277
0-3:57:57 or 3 hours
missing cases:
none