argc=5 -M 4 file2=30_select_Case6.25_starter_16_ checking files mod 4 from 0 to 3 case_no=37 label=Case6.25 nb_sol=0 ticks=95478 tps=100 nb_sec=954 case_no=37 label=Case6.25 nb_sol=0 ticks=97768 tps=100 nb_sec=977 case_no=37 label=Case6.25 nb_sol=0 ticks=59413 tps=100 nb_sec=594 case_no=37 label=Case6.25 nb_sol=0 ticks=60906 tps=100 nb_sec=609 Nb_sol=0 Nb_sec=3134 0-0:52:14 or 0 hours missing cases: none