argc=5 -M 32 file2=30_select_Case6.29_starter_16_ checking files mod 32 from 0 to 31 case_no=41 label=Case6.29 nb_sol=0 ticks=281 tps=100 nb_sec=2 case_no=41 label=Case6.29 nb_sol=0 ticks=384 tps=100 nb_sec=3 case_no=41 label=Case6.29 nb_sol=0 ticks=488 tps=100 nb_sec=4 case_no=41 label=Case6.29 nb_sol=0 ticks=583 tps=100 nb_sec=5 case_no=41 label=Case6.29 nb_sol=0 ticks=381 tps=100 nb_sec=3 case_no=41 label=Case6.29 nb_sol=0 ticks=834 tps=100 nb_sec=8 case_no=41 label=Case6.29 nb_sol=0 ticks=352 tps=100 nb_sec=3 case_no=41 label=Case6.29 nb_sol=0 ticks=415 tps=100 nb_sec=4 case_no=41 label=Case6.29 nb_sol=0 ticks=143 tps=100 nb_sec=1 case_no=41 label=Case6.29 nb_sol=0 ticks=307 tps=100 nb_sec=3 case_no=41 label=Case6.29 nb_sol=0 ticks=386 tps=100 nb_sec=3 case_no=41 label=Case6.29 nb_sol=0 ticks=287 tps=100 nb_sec=2 case_no=41 label=Case6.29 nb_sol=0 ticks=232 tps=100 nb_sec=2 case_no=41 label=Case6.29 nb_sol=0 ticks=533 tps=100 nb_sec=5 case_no=41 label=Case6.29 nb_sol=0 ticks=632 tps=100 nb_sec=6 case_no=41 label=Case6.29 nb_sol=0 ticks=517 tps=100 nb_sec=5 case_no=41 label=Case6.29 nb_sol=0 ticks=494 tps=100 nb_sec=4 case_no=41 label=Case6.29 nb_sol=0 ticks=571 tps=100 nb_sec=5 case_no=41 label=Case6.29 nb_sol=0 ticks=532 tps=100 nb_sec=5 case_no=41 label=Case6.29 nb_sol=0 ticks=223 tps=100 nb_sec=2 case_no=41 label=Case6.29 nb_sol=0 ticks=345 tps=100 nb_sec=3 case_no=41 label=Case6.29 nb_sol=0 ticks=368 tps=100 nb_sec=3 case_no=41 label=Case6.29 nb_sol=0 ticks=246 tps=100 nb_sec=2 case_no=41 label=Case6.29 nb_sol=0 ticks=382 tps=100 nb_sec=3 case_no=41 label=Case6.29 nb_sol=0 ticks=855 tps=100 nb_sec=8 case_no=41 label=Case6.29 nb_sol=0 ticks=397 tps=100 nb_sec=3 case_no=41 label=Case6.29 nb_sol=0 ticks=537 tps=100 nb_sec=5 case_no=41 label=Case6.29 nb_sol=0 ticks=286 tps=100 nb_sec=2 case_no=41 label=Case6.29 nb_sol=0 ticks=1229 tps=100 nb_sec=12 case_no=41 label=Case6.29 nb_sol=0 ticks=641 tps=100 nb_sec=6 case_no=41 label=Case6.29 nb_sol=0 ticks=518 tps=100 nb_sec=5 case_no=41 label=Case6.29 nb_sol=0 ticks=1672 tps=100 nb_sec=16 Nb_sol=0 Nb_sec=143 0-0:2:23 or 0 hours missing cases: none