argc=5 -M 4 file2=30_select_Case6.7_starter_16_ checking files mod 4 from 0 to 3 case_no=19 label=Case6.7 nb_sol=0 ticks=1400 tps=100 nb_sec=14 case_no=19 label=Case6.7 nb_sol=0 ticks=945 tps=100 nb_sec=9 case_no=19 label=Case6.7 nb_sol=0 ticks=1512 tps=100 nb_sec=15 case_no=19 label=Case6.7 nb_sol=0 ticks=2577 tps=100 nb_sec=25 Nb_sol=0 Nb_sec=63 0-0:1:3 or 0 hours missing cases: none