argc=5
-M 4
file2=30_select_Case6.31_starter_16_
checking files mod 4 from 0 to 3
case_no=43 label=Case6.31 nb_sol=0 ticks=173380 tps=100 nb_sec=1733
case_no=43 label=Case6.31 nb_sol=0 ticks=116910 tps=100 nb_sec=1169
case_no=43 label=Case6.31 nb_sol=0 ticks=99290 tps=100 nb_sec=992
case_no=43 label=Case6.31 nb_sol=0 ticks=82892 tps=100 nb_sec=828
Nb_sol=0
Nb_sec=4722
0-1:18:42 or 1 hours
missing cases:
none