argc=5 -M 32 file2=30_select_Case6.55_starter_16_ checking files mod 32 from 0 to 31 case_no=67 label=Case6.55 nb_sol=0 ticks=741 tps=100 nb_sec=7 case_no=67 label=Case6.55 nb_sol=0 ticks=676 tps=100 nb_sec=6 case_no=67 label=Case6.55 nb_sol=0 ticks=662 tps=100 nb_sec=6 case_no=67 label=Case6.55 nb_sol=0 ticks=458 tps=100 nb_sec=4 case_no=67 label=Case6.55 nb_sol=0 ticks=560 tps=100 nb_sec=5 case_no=67 label=Case6.55 nb_sol=0 ticks=699 tps=100 nb_sec=6 case_no=67 label=Case6.55 nb_sol=0 ticks=492 tps=100 nb_sec=4 case_no=67 label=Case6.55 nb_sol=0 ticks=725 tps=100 nb_sec=7 case_no=67 label=Case6.55 nb_sol=0 ticks=637 tps=100 nb_sec=6 case_no=67 label=Case6.55 nb_sol=0 ticks=660 tps=100 nb_sec=6 case_no=67 label=Case6.55 nb_sol=0 ticks=500 tps=100 nb_sec=5 case_no=67 label=Case6.55 nb_sol=0 ticks=687 tps=100 nb_sec=6 case_no=67 label=Case6.55 nb_sol=0 ticks=466 tps=100 nb_sec=4 case_no=67 label=Case6.55 nb_sol=0 ticks=644 tps=100 nb_sec=6 case_no=67 label=Case6.55 nb_sol=0 ticks=592 tps=100 nb_sec=5 case_no=67 label=Case6.55 nb_sol=0 ticks=624 tps=100 nb_sec=6 case_no=67 label=Case6.55 nb_sol=0 ticks=471 tps=100 nb_sec=4 case_no=67 label=Case6.55 nb_sol=0 ticks=376 tps=100 nb_sec=3 case_no=67 label=Case6.55 nb_sol=0 ticks=566 tps=100 nb_sec=5 case_no=67 label=Case6.55 nb_sol=0 ticks=546 tps=100 nb_sec=5 case_no=67 label=Case6.55 nb_sol=0 ticks=498 tps=100 nb_sec=4 case_no=67 label=Case6.55 nb_sol=0 ticks=687 tps=100 nb_sec=6 case_no=67 label=Case6.55 nb_sol=0 ticks=492 tps=100 nb_sec=4 case_no=67 label=Case6.55 nb_sol=0 ticks=581 tps=100 nb_sec=5 case_no=67 label=Case6.55 nb_sol=0 ticks=424 tps=100 nb_sec=4 case_no=67 label=Case6.55 nb_sol=0 ticks=566 tps=100 nb_sec=5 case_no=67 label=Case6.55 nb_sol=0 ticks=487 tps=100 nb_sec=4 case_no=67 label=Case6.55 nb_sol=0 ticks=301 tps=100 nb_sec=3 case_no=67 label=Case6.55 nb_sol=0 ticks=691 tps=100 nb_sec=6 case_no=67 label=Case6.55 nb_sol=0 ticks=521 tps=100 nb_sec=5 case_no=67 label=Case6.55 nb_sol=0 ticks=597 tps=100 nb_sec=5 case_no=67 label=Case6.55 nb_sol=0 ticks=456 tps=100 nb_sec=4 Nb_sol=0 Nb_sec=161 0-0:2:41 or 0 hours missing cases: none