argc=5 -M 32 file2=30_select_Case6.56_starter_16_ checking files mod 32 from 0 to 31 case_no=68 label=Case6.56 nb_sol=0 ticks=329 tps=100 nb_sec=3 case_no=68 label=Case6.56 nb_sol=0 ticks=1146 tps=100 nb_sec=11 case_no=68 label=Case6.56 nb_sol=0 ticks=934 tps=100 nb_sec=9 case_no=68 label=Case6.56 nb_sol=0 ticks=628 tps=100 nb_sec=6 case_no=68 label=Case6.56 nb_sol=0 ticks=594 tps=100 nb_sec=5 case_no=68 label=Case6.56 nb_sol=0 ticks=934 tps=100 nb_sec=9 case_no=68 label=Case6.56 nb_sol=0 ticks=999 tps=100 nb_sec=9 case_no=68 label=Case6.56 nb_sol=0 ticks=658 tps=100 nb_sec=6 case_no=68 label=Case6.56 nb_sol=0 ticks=904 tps=100 nb_sec=9 case_no=68 label=Case6.56 nb_sol=0 ticks=636 tps=100 nb_sec=6 case_no=68 label=Case6.56 nb_sol=0 ticks=538 tps=100 nb_sec=5 case_no=68 label=Case6.56 nb_sol=0 ticks=675 tps=100 nb_sec=6 case_no=68 label=Case6.56 nb_sol=0 ticks=689 tps=100 nb_sec=6 case_no=68 label=Case6.56 nb_sol=0 ticks=378 tps=100 nb_sec=3 case_no=68 label=Case6.56 nb_sol=0 ticks=627 tps=100 nb_sec=6 case_no=68 label=Case6.56 nb_sol=0 ticks=738 tps=100 nb_sec=7 case_no=68 label=Case6.56 nb_sol=0 ticks=600 tps=100 nb_sec=6 case_no=68 label=Case6.56 nb_sol=0 ticks=381 tps=100 nb_sec=3 case_no=68 label=Case6.56 nb_sol=0 ticks=319 tps=100 nb_sec=3 case_no=68 label=Case6.56 nb_sol=0 ticks=553 tps=100 nb_sec=5 case_no=68 label=Case6.56 nb_sol=0 ticks=742 tps=100 nb_sec=7 case_no=68 label=Case6.56 nb_sol=0 ticks=790 tps=100 nb_sec=7 case_no=68 label=Case6.56 nb_sol=0 ticks=566 tps=100 nb_sec=5 case_no=68 label=Case6.56 nb_sol=0 ticks=597 tps=100 nb_sec=5 case_no=68 label=Case6.56 nb_sol=0 ticks=665 tps=100 nb_sec=6 case_no=68 label=Case6.56 nb_sol=0 ticks=345 tps=100 nb_sec=3 case_no=68 label=Case6.56 nb_sol=0 ticks=638 tps=100 nb_sec=6 case_no=68 label=Case6.56 nb_sol=0 ticks=475 tps=100 nb_sec=4 case_no=68 label=Case6.56 nb_sol=0 ticks=403 tps=100 nb_sec=4 case_no=68 label=Case6.56 nb_sol=0 ticks=565 tps=100 nb_sec=5 case_no=68 label=Case6.56 nb_sol=0 ticks=794 tps=100 nb_sec=7 case_no=68 label=Case6.56 nb_sol=0 ticks=332 tps=100 nb_sec=3 Nb_sol=0 Nb_sec=185 0-0:3:5 or 0 hours missing cases: none