argc=5
-M 4
file2=30_select_Case6.32_starter_16_
checking files mod 4 from 0 to 3
case_no=44 label=Case6.32 nb_sol=0 ticks=213196 tps=100 nb_sec=2131
case_no=44 label=Case6.32 nb_sol=0 ticks=144304 tps=100 nb_sec=1443
case_no=44 label=Case6.32 nb_sol=0 ticks=110974 tps=100 nb_sec=1109
case_no=44 label=Case6.32 nb_sol=0 ticks=213717 tps=100 nb_sec=2137
Nb_sol=0
Nb_sec=6820
0-1:53:40 or 1 hours
missing cases:
none