argc=5 -M 64 file2=30_select_Case6.10_starter_16_ checking files mod 64 from 0 to 63 case_no=22 label=Case6.10 nb_sol=0 ticks=621 tps=100 nb_sec=6 case_no=22 label=Case6.10 nb_sol=0 ticks=684 tps=100 nb_sec=6 case_no=22 label=Case6.10 nb_sol=0 ticks=600 tps=100 nb_sec=6 case_no=22 label=Case6.10 nb_sol=0 ticks=1154 tps=100 nb_sec=11 case_no=22 label=Case6.10 nb_sol=0 ticks=2133 tps=100 nb_sec=21 case_no=22 label=Case6.10 nb_sol=0 ticks=1117 tps=100 nb_sec=11 case_no=22 label=Case6.10 nb_sol=0 ticks=700 tps=100 nb_sec=7 case_no=22 label=Case6.10 nb_sol=0 ticks=365 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=1856 tps=100 nb_sec=18 case_no=22 label=Case6.10 nb_sol=0 ticks=437 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=616 tps=100 nb_sec=6 case_no=22 label=Case6.10 nb_sol=0 ticks=349 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=227 tps=100 nb_sec=2 case_no=22 label=Case6.10 nb_sol=0 ticks=67 tps=100 nb_sec=0 case_no=22 label=Case6.10 nb_sol=0 ticks=313 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=477 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=479 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=396 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=73 tps=100 nb_sec=0 case_no=22 label=Case6.10 nb_sol=0 ticks=284 tps=100 nb_sec=2 case_no=22 label=Case6.10 nb_sol=0 ticks=327 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=629 tps=100 nb_sec=6 case_no=22 label=Case6.10 nb_sol=0 ticks=791 tps=100 nb_sec=7 case_no=22 label=Case6.10 nb_sol=0 ticks=71 tps=100 nb_sec=0 case_no=22 label=Case6.10 nb_sol=0 ticks=474 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=439 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=251 tps=100 nb_sec=2 case_no=22 label=Case6.10 nb_sol=0 ticks=307 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=352 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=412 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=654 tps=100 nb_sec=6 case_no=22 label=Case6.10 nb_sol=0 ticks=352 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=116 tps=100 nb_sec=1 case_no=22 label=Case6.10 nb_sol=0 ticks=716 tps=100 nb_sec=7 case_no=22 label=Case6.10 nb_sol=0 ticks=462 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=666 tps=100 nb_sec=6 case_no=22 label=Case6.10 nb_sol=0 ticks=286 tps=100 nb_sec=2 case_no=22 label=Case6.10 nb_sol=0 ticks=379 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=337 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=312 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=850 tps=100 nb_sec=8 case_no=22 label=Case6.10 nb_sol=0 ticks=1197 tps=100 nb_sec=11 case_no=22 label=Case6.10 nb_sol=0 ticks=290 tps=100 nb_sec=2 case_no=22 label=Case6.10 nb_sol=0 ticks=686 tps=100 nb_sec=6 case_no=22 label=Case6.10 nb_sol=0 ticks=447 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=231 tps=100 nb_sec=2 case_no=22 label=Case6.10 nb_sol=0 ticks=698 tps=100 nb_sec=6 case_no=22 label=Case6.10 nb_sol=0 ticks=1121 tps=100 nb_sec=11 case_no=22 label=Case6.10 nb_sol=0 ticks=598 tps=100 nb_sec=5 case_no=22 label=Case6.10 nb_sol=0 ticks=143 tps=100 nb_sec=1 case_no=22 label=Case6.10 nb_sol=0 ticks=274 tps=100 nb_sec=2 case_no=22 label=Case6.10 nb_sol=0 ticks=297 tps=100 nb_sec=2 case_no=22 label=Case6.10 nb_sol=0 ticks=81 tps=100 nb_sec=0 case_no=22 label=Case6.10 nb_sol=0 ticks=329 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=305 tps=100 nb_sec=3 case_no=22 label=Case6.10 nb_sol=0 ticks=526 tps=100 nb_sec=5 case_no=22 label=Case6.10 nb_sol=0 ticks=405 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=618 tps=100 nb_sec=6 case_no=22 label=Case6.10 nb_sol=0 ticks=814 tps=100 nb_sec=8 case_no=22 label=Case6.10 nb_sol=0 ticks=151 tps=100 nb_sec=1 case_no=22 label=Case6.10 nb_sol=0 ticks=533 tps=100 nb_sec=5 case_no=22 label=Case6.10 nb_sol=0 ticks=438 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=450 tps=100 nb_sec=4 case_no=22 label=Case6.10 nb_sol=0 ticks=103 tps=100 nb_sec=1 Nb_sol=0 Nb_sec=298 0-0:4:58 or 0 hours missing cases: none