argc=5 -M 64 file2=30_select_Case6.141_starter_15_ checking files mod 64 from 0 to 63 case_no=153 label=Case6.141 nb_sol=0 ticks=64293 tps=100 nb_sec=642 case_no=153 label=Case6.141 nb_sol=0 ticks=54398 tps=100 nb_sec=543 case_no=153 label=Case6.141 nb_sol=0 ticks=45790 tps=100 nb_sec=457 case_no=153 label=Case6.141 nb_sol=0 ticks=81737 tps=100 nb_sec=817 case_no=153 label=Case6.141 nb_sol=0 ticks=78055 tps=100 nb_sec=780 case_no=153 label=Case6.141 nb_sol=0 ticks=66311 tps=100 nb_sec=663 case_no=153 label=Case6.141 nb_sol=0 ticks=78814 tps=100 nb_sec=788 case_no=153 label=Case6.141 nb_sol=0 ticks=95163 tps=100 nb_sec=951 case_no=153 label=Case6.141 nb_sol=0 ticks=68560 tps=100 nb_sec=685 case_no=153 label=Case6.141 nb_sol=0 ticks=82642 tps=100 nb_sec=826 case_no=153 label=Case6.141 nb_sol=0 ticks=71378 tps=100 nb_sec=713 case_no=153 label=Case6.141 nb_sol=0 ticks=63220 tps=100 nb_sec=632 case_no=153 label=Case6.141 nb_sol=0 ticks=47638 tps=100 nb_sec=476 case_no=153 label=Case6.141 nb_sol=0 ticks=94508 tps=100 nb_sec=945 case_no=153 label=Case6.141 nb_sol=0 ticks=91718 tps=100 nb_sec=917 case_no=153 label=Case6.141 nb_sol=0 ticks=112718 tps=100 nb_sec=1127 case_no=153 label=Case6.141 nb_sol=0 ticks=104637 tps=100 nb_sec=1046 case_no=153 label=Case6.141 nb_sol=0 ticks=87629 tps=100 nb_sec=876 case_no=153 label=Case6.141 nb_sol=0 ticks=87707 tps=100 nb_sec=877 case_no=153 label=Case6.141 nb_sol=0 ticks=94141 tps=100 nb_sec=941 case_no=153 label=Case6.141 nb_sol=0 ticks=90730 tps=100 nb_sec=907 case_no=153 label=Case6.141 nb_sol=0 ticks=104504 tps=100 nb_sec=1045 case_no=153 label=Case6.141 nb_sol=0 ticks=59620 tps=100 nb_sec=596 case_no=153 label=Case6.141 nb_sol=0 ticks=53864 tps=100 nb_sec=538 case_no=153 label=Case6.141 nb_sol=0 ticks=98150 tps=100 nb_sec=981 case_no=153 label=Case6.141 nb_sol=0 ticks=81953 tps=100 nb_sec=819 case_no=153 label=Case6.141 nb_sol=0 ticks=71875 tps=100 nb_sec=718 case_no=153 label=Case6.141 nb_sol=0 ticks=103511 tps=100 nb_sec=1035 case_no=153 label=Case6.141 nb_sol=0 ticks=93736 tps=100 nb_sec=937 case_no=153 label=Case6.141 nb_sol=0 ticks=79902 tps=100 nb_sec=799 case_no=153 label=Case6.141 nb_sol=0 ticks=76389 tps=100 nb_sec=763 case_no=153 label=Case6.141 nb_sol=0 ticks=79183 tps=100 nb_sec=791 case_no=153 label=Case6.141 nb_sol=0 ticks=91099 tps=100 nb_sec=910 case_no=153 label=Case6.141 nb_sol=0 ticks=85641 tps=100 nb_sec=856 case_no=153 label=Case6.141 nb_sol=0 ticks=75220 tps=100 nb_sec=752 case_no=153 label=Case6.141 nb_sol=0 ticks=57449 tps=100 nb_sec=574 case_no=153 label=Case6.141 nb_sol=0 ticks=89789 tps=100 nb_sec=897 case_no=153 label=Case6.141 nb_sol=0 ticks=70325 tps=100 nb_sec=703 case_no=153 label=Case6.141 nb_sol=0 ticks=52457 tps=100 nb_sec=524 case_no=153 label=Case6.141 nb_sol=0 ticks=66045 tps=100 nb_sec=660 case_no=153 label=Case6.141 nb_sol=0 ticks=75810 tps=100 nb_sec=758 case_no=153 label=Case6.141 nb_sol=0 ticks=33485 tps=100 nb_sec=334 case_no=153 label=Case6.141 nb_sol=0 ticks=84345 tps=100 nb_sec=843 case_no=153 label=Case6.141 nb_sol=0 ticks=66338 tps=100 nb_sec=663 case_no=153 label=Case6.141 nb_sol=0 ticks=51759 tps=100 nb_sec=517 case_no=153 label=Case6.141 nb_sol=0 ticks=75888 tps=100 nb_sec=758 case_no=153 label=Case6.141 nb_sol=0 ticks=72755 tps=100 nb_sec=727 case_no=153 label=Case6.141 nb_sol=0 ticks=94037 tps=100 nb_sec=940 case_no=153 label=Case6.141 nb_sol=0 ticks=57651 tps=100 nb_sec=576 case_no=153 label=Case6.141 nb_sol=0 ticks=116692 tps=100 nb_sec=1166 case_no=153 label=Case6.141 nb_sol=0 ticks=69888 tps=100 nb_sec=698 case_no=153 label=Case6.141 nb_sol=0 ticks=78976 tps=100 nb_sec=789 case_no=153 label=Case6.141 nb_sol=0 ticks=103499 tps=100 nb_sec=1034 case_no=153 label=Case6.141 nb_sol=0 ticks=75857 tps=100 nb_sec=758 case_no=153 label=Case6.141 nb_sol=0 ticks=43122 tps=100 nb_sec=431 case_no=153 label=Case6.141 nb_sol=0 ticks=90674 tps=100 nb_sec=906 case_no=153 label=Case6.141 nb_sol=0 ticks=52440 tps=100 nb_sec=524 case_no=153 label=Case6.141 nb_sol=0 ticks=57723 tps=100 nb_sec=577 case_no=153 label=Case6.141 nb_sol=0 ticks=63268 tps=100 nb_sec=632 case_no=153 label=Case6.141 nb_sol=0 ticks=64574 tps=100 nb_sec=645 case_no=153 label=Case6.141 nb_sol=0 ticks=84034 tps=100 nb_sec=840 case_no=153 label=Case6.141 nb_sol=0 ticks=72116 tps=100 nb_sec=721 case_no=153 label=Case6.141 nb_sol=0 ticks=71375 tps=100 nb_sec=713 case_no=153 label=Case6.141 nb_sol=0 ticks=43255 tps=100 nb_sec=432 Nb_sol=0 Nb_sec=48489 0-13:28:9 or 13 hours missing cases: none