argc=5
-M 4
file2=30_select_Case6.22_starter_16_
checking files mod 4 from 0 to 3
case_no=34 label=Case6.22 nb_sol=0 ticks=123862 tps=100 nb_sec=1238
case_no=34 label=Case6.22 nb_sol=0 ticks=76319 tps=100 nb_sec=763
case_no=34 label=Case6.22 nb_sol=0 ticks=90726 tps=100 nb_sec=907
case_no=34 label=Case6.22 nb_sol=0 ticks=78823 tps=100 nb_sec=788
Nb_sol=0
Nb_sec=3696
0-1:1:36 or 1 hours
missing cases:
none