argc=5
-M 16
file2=30_select_Case6.18_starter_16_
checking files mod 16 from 0 to 15
case_no=30 label=Case6.18 nb_sol=0 ticks=112871 tps=100 nb_sec=1128
case_no=30 label=Case6.18 nb_sol=0 ticks=73683 tps=100 nb_sec=736
case_no=30 label=Case6.18 nb_sol=0 ticks=58686 tps=100 nb_sec=586
case_no=30 label=Case6.18 nb_sol=0 ticks=83543 tps=100 nb_sec=835
case_no=30 label=Case6.18 nb_sol=0 ticks=71243 tps=100 nb_sec=712
case_no=30 label=Case6.18 nb_sol=0 ticks=60443 tps=100 nb_sec=604
case_no=30 label=Case6.18 nb_sol=0 ticks=110572 tps=100 nb_sec=1105
case_no=30 label=Case6.18 nb_sol=0 ticks=61065 tps=100 nb_sec=610
case_no=30 label=Case6.18 nb_sol=0 ticks=69476 tps=100 nb_sec=694
case_no=30 label=Case6.18 nb_sol=0 ticks=67092 tps=100 nb_sec=670
case_no=30 label=Case6.18 nb_sol=0 ticks=67065 tps=100 nb_sec=670
case_no=30 label=Case6.18 nb_sol=0 ticks=61684 tps=100 nb_sec=616
case_no=30 label=Case6.18 nb_sol=0 ticks=90226 tps=100 nb_sec=902
case_no=30 label=Case6.18 nb_sol=0 ticks=48854 tps=100 nb_sec=488
case_no=30 label=Case6.18 nb_sol=0 ticks=59059 tps=100 nb_sec=590
case_no=30 label=Case6.18 nb_sol=0 ticks=57117 tps=100 nb_sec=571
Nb_sol=0
Nb_sec=11517
0-3:11:57 or 3 hours
missing cases:
none