argc=5 -M 32 file2=30_select_Case6.53_starter_16_ checking files mod 32 from 0 to 31 case_no=65 label=Case6.53 nb_sol=0 ticks=255555 tps=100 nb_sec=2555 case_no=65 label=Case6.53 nb_sol=0 ticks=265821 tps=100 nb_sec=2658 case_no=65 label=Case6.53 nb_sol=0 ticks=275015 tps=100 nb_sec=2750 case_no=65 label=Case6.53 nb_sol=0 ticks=390840 tps=100 nb_sec=3908 case_no=65 label=Case6.53 nb_sol=0 ticks=241632 tps=100 nb_sec=2416 case_no=65 label=Case6.53 nb_sol=0 ticks=258606 tps=100 nb_sec=2586 case_no=65 label=Case6.53 nb_sol=0 ticks=309671 tps=100 nb_sec=3096 case_no=65 label=Case6.53 nb_sol=0 ticks=272091 tps=100 nb_sec=2720 case_no=65 label=Case6.53 nb_sol=0 ticks=363575 tps=100 nb_sec=3635 case_no=65 label=Case6.53 nb_sol=0 ticks=390419 tps=100 nb_sec=3904 case_no=65 label=Case6.53 nb_sol=0 ticks=412492 tps=100 nb_sec=4124 case_no=65 label=Case6.53 nb_sol=0 ticks=410621 tps=100 nb_sec=4106 case_no=65 label=Case6.53 nb_sol=0 ticks=259955 tps=100 nb_sec=2599 case_no=65 label=Case6.53 nb_sol=0 ticks=357477 tps=100 nb_sec=3574 case_no=65 label=Case6.53 nb_sol=0 ticks=249722 tps=100 nb_sec=2497 case_no=65 label=Case6.53 nb_sol=0 ticks=309660 tps=100 nb_sec=3096 case_no=65 label=Case6.53 nb_sol=0 ticks=271347 tps=100 nb_sec=2713 case_no=65 label=Case6.53 nb_sol=0 ticks=272412 tps=100 nb_sec=2724 case_no=65 label=Case6.53 nb_sol=0 ticks=348889 tps=100 nb_sec=3488 case_no=65 label=Case6.53 nb_sol=0 ticks=395530 tps=100 nb_sec=3955 case_no=65 label=Case6.53 nb_sol=0 ticks=256998 tps=100 nb_sec=2569 case_no=65 label=Case6.53 nb_sol=0 ticks=179933 tps=100 nb_sec=1799 case_no=65 label=Case6.53 nb_sol=0 ticks=190518 tps=100 nb_sec=1905 case_no=65 label=Case6.53 nb_sol=0 ticks=189469 tps=100 nb_sec=1894 case_no=65 label=Case6.53 nb_sol=0 ticks=126314 tps=100 nb_sec=1263 case_no=65 label=Case6.53 nb_sol=0 ticks=248735 tps=100 nb_sec=2487 case_no=65 label=Case6.53 nb_sol=0 ticks=282505 tps=100 nb_sec=2825 case_no=65 label=Case6.53 nb_sol=0 ticks=156738 tps=100 nb_sec=1567 case_no=65 label=Case6.53 nb_sol=0 ticks=185710 tps=100 nb_sec=1857 case_no=65 label=Case6.53 nb_sol=0 ticks=291795 tps=100 nb_sec=2917 case_no=65 label=Case6.53 nb_sol=0 ticks=267319 tps=100 nb_sec=2673 case_no=65 label=Case6.53 nb_sol=0 ticks=158034 tps=100 nb_sec=1580 Nb_sol=0 Nb_sec=88440 1-0:34:0 or 24 hours missing cases: none