argc=5
-M 16
file2=30_select_Case6.16_starter_16_
checking files mod 16 from 0 to 15
case_no=28 label=Case6.16 nb_sol=0 ticks=91956 tps=100 nb_sec=919
case_no=28 label=Case6.16 nb_sol=0 ticks=56586 tps=100 nb_sec=565
case_no=28 label=Case6.16 nb_sol=0 ticks=60894 tps=100 nb_sec=608
case_no=28 label=Case6.16 nb_sol=0 ticks=107076 tps=100 nb_sec=1070
case_no=28 label=Case6.16 nb_sol=0 ticks=67443 tps=100 nb_sec=674
case_no=28 label=Case6.16 nb_sol=0 ticks=62120 tps=100 nb_sec=621
case_no=28 label=Case6.16 nb_sol=0 ticks=61250 tps=100 nb_sec=612
case_no=28 label=Case6.16 nb_sol=0 ticks=65891 tps=100 nb_sec=658
case_no=28 label=Case6.16 nb_sol=0 ticks=57034 tps=100 nb_sec=570
case_no=28 label=Case6.16 nb_sol=0 ticks=64570 tps=100 nb_sec=645
case_no=28 label=Case6.16 nb_sol=0 ticks=68691 tps=100 nb_sec=686
case_no=28 label=Case6.16 nb_sol=0 ticks=48931 tps=100 nb_sec=489
case_no=28 label=Case6.16 nb_sol=0 ticks=61747 tps=100 nb_sec=617
case_no=28 label=Case6.16 nb_sol=0 ticks=68514 tps=100 nb_sec=685
case_no=28 label=Case6.16 nb_sol=0 ticks=65350 tps=100 nb_sec=653
case_no=28 label=Case6.16 nb_sol=0 ticks=67277 tps=100 nb_sec=672
Nb_sol=0
Nb_sec=10744
0-2:59:4 or 2 hours
missing cases:
none