argc=5
-M 4
file2=30_select_Case6.23_starter_16_
checking files mod 4 from 0 to 3
case_no=35 label=Case6.23 nb_sol=0 ticks=80820 tps=100 nb_sec=808
case_no=35 label=Case6.23 nb_sol=0 ticks=79410 tps=100 nb_sec=794
case_no=35 label=Case6.23 nb_sol=0 ticks=130352 tps=100 nb_sec=1303
case_no=35 label=Case6.23 nb_sol=0 ticks=91670 tps=100 nb_sec=916
Nb_sol=0
Nb_sec=3821
0-1:3:41 or 1 hours
missing cases:
none