argc=5
-M 16
file2=30_select_Case6.20_starter_16_
checking files mod 16 from 0 to 15
case_no=32 label=Case6.20 nb_sol=0 ticks=49498 tps=100 nb_sec=494
case_no=32 label=Case6.20 nb_sol=0 ticks=64658 tps=100 nb_sec=646
case_no=32 label=Case6.20 nb_sol=0 ticks=62795 tps=100 nb_sec=627
case_no=32 label=Case6.20 nb_sol=0 ticks=73821 tps=100 nb_sec=738
case_no=32 label=Case6.20 nb_sol=0 ticks=57878 tps=100 nb_sec=578
case_no=32 label=Case6.20 nb_sol=0 ticks=66901 tps=100 nb_sec=669
case_no=32 label=Case6.20 nb_sol=0 ticks=52454 tps=100 nb_sec=524
case_no=32 label=Case6.20 nb_sol=0 ticks=55108 tps=100 nb_sec=551
case_no=32 label=Case6.20 nb_sol=0 ticks=60277 tps=100 nb_sec=602
case_no=32 label=Case6.20 nb_sol=0 ticks=77112 tps=100 nb_sec=771
case_no=32 label=Case6.20 nb_sol=0 ticks=58863 tps=100 nb_sec=588
case_no=32 label=Case6.20 nb_sol=0 ticks=55835 tps=100 nb_sec=558
case_no=32 label=Case6.20 nb_sol=0 ticks=55083 tps=100 nb_sec=550
case_no=32 label=Case6.20 nb_sol=0 ticks=55673 tps=100 nb_sec=556
case_no=32 label=Case6.20 nb_sol=0 ticks=53687 tps=100 nb_sec=536
case_no=32 label=Case6.20 nb_sol=0 ticks=50422 tps=100 nb_sec=504
Nb_sol=0
Nb_sec=9492
0-2:38:12 or 2 hours
missing cases:
none