argc=5 -M 64 file2=30_select_Case6.140_starter_15_ checking files mod 64 from 0 to 63 case_no=152 label=Case6.140 nb_sol=0 ticks=1073487 tps=100 nb_sec=10734 case_no=152 label=Case6.140 nb_sol=0 ticks=909857 tps=100 nb_sec=9098 case_no=152 label=Case6.140 nb_sol=0 ticks=402785 tps=100 nb_sec=4027 case_no=152 label=Case6.140 nb_sol=0 ticks=865900 tps=100 nb_sec=8659 case_no=152 label=Case6.140 nb_sol=0 ticks=946108 tps=100 nb_sec=9461 case_no=152 label=Case6.140 nb_sol=0 ticks=425015 tps=100 nb_sec=4250 case_no=152 label=Case6.140 nb_sol=0 ticks=836093 tps=100 nb_sec=8360 case_no=152 label=Case6.140 nb_sol=0 ticks=452308 tps=100 nb_sec=4523 case_no=152 label=Case6.140 nb_sol=0 ticks=1188327 tps=100 nb_sec=11883 case_no=152 label=Case6.140 nb_sol=0 ticks=1027659 tps=100 nb_sec=10276 case_no=152 label=Case6.140 nb_sol=0 ticks=955052 tps=100 nb_sec=9550 case_no=152 label=Case6.140 nb_sol=0 ticks=416724 tps=100 nb_sec=4167 case_no=152 label=Case6.140 nb_sol=0 ticks=644818 tps=100 nb_sec=6448 case_no=152 label=Case6.140 nb_sol=0 ticks=874512 tps=100 nb_sec=8745 case_no=152 label=Case6.140 nb_sol=0 ticks=400776 tps=100 nb_sec=4007 case_no=152 label=Case6.140 nb_sol=0 ticks=1230822 tps=100 nb_sec=12308 case_no=152 label=Case6.140 nb_sol=0 ticks=908524 tps=100 nb_sec=9085 case_no=152 label=Case6.140 nb_sol=0 ticks=382207 tps=100 nb_sec=3822 case_no=152 label=Case6.140 nb_sol=0 ticks=660932 tps=100 nb_sec=6609 case_no=152 label=Case6.140 nb_sol=0 ticks=837691 tps=100 nb_sec=8376 case_no=152 label=Case6.140 nb_sol=0 ticks=796939 tps=100 nb_sec=7969 case_no=152 label=Case6.140 nb_sol=0 ticks=1255668 tps=100 nb_sec=12556 case_no=152 label=Case6.140 nb_sol=0 ticks=897906 tps=100 nb_sec=8979 case_no=152 label=Case6.140 nb_sol=0 ticks=454629 tps=100 nb_sec=4546 case_no=152 label=Case6.140 nb_sol=0 ticks=1167563 tps=100 nb_sec=11675 case_no=152 label=Case6.140 nb_sol=0 ticks=895342 tps=100 nb_sec=8953 case_no=152 label=Case6.140 nb_sol=0 ticks=843248 tps=100 nb_sec=8432 case_no=152 label=Case6.140 nb_sol=0 ticks=911153 tps=100 nb_sec=9111 case_no=152 label=Case6.140 nb_sol=0 ticks=876337 tps=100 nb_sec=8763 case_no=152 label=Case6.140 nb_sol=0 ticks=780162 tps=100 nb_sec=7801 case_no=152 label=Case6.140 nb_sol=0 ticks=909108 tps=100 nb_sec=9091 case_no=152 label=Case6.140 nb_sol=0 ticks=983219 tps=100 nb_sec=9832 case_no=152 label=Case6.140 nb_sol=0 ticks=986156 tps=100 nb_sec=9861 case_no=152 label=Case6.140 nb_sol=0 ticks=852734 tps=100 nb_sec=8527 case_no=152 label=Case6.140 nb_sol=0 ticks=889760 tps=100 nb_sec=8897 case_no=152 label=Case6.140 nb_sol=0 ticks=489862 tps=100 nb_sec=4898 case_no=152 label=Case6.140 nb_sol=0 ticks=865749 tps=100 nb_sec=8657 case_no=152 label=Case6.140 nb_sol=0 ticks=810659 tps=100 nb_sec=8106 case_no=152 label=Case6.140 nb_sol=0 ticks=704414 tps=100 nb_sec=7044 case_no=152 label=Case6.140 nb_sol=0 ticks=652579 tps=100 nb_sec=6525 case_no=152 label=Case6.140 nb_sol=0 ticks=803603 tps=100 nb_sec=8036 case_no=152 label=Case6.140 nb_sol=0 ticks=524189 tps=100 nb_sec=5241 case_no=152 label=Case6.140 nb_sol=0 ticks=929822 tps=100 nb_sec=9298 case_no=152 label=Case6.140 nb_sol=0 ticks=936721 tps=100 nb_sec=9367 case_no=152 label=Case6.140 nb_sol=0 ticks=805100 tps=100 nb_sec=8051 case_no=152 label=Case6.140 nb_sol=0 ticks=1225603 tps=100 nb_sec=12256 case_no=152 label=Case6.140 nb_sol=0 ticks=902360 tps=100 nb_sec=9023 case_no=152 label=Case6.140 nb_sol=0 ticks=1096657 tps=100 nb_sec=10966 case_no=152 label=Case6.140 nb_sol=0 ticks=631924 tps=100 nb_sec=6319 case_no=152 label=Case6.140 nb_sol=0 ticks=977485 tps=100 nb_sec=9774 case_no=152 label=Case6.140 nb_sol=0 ticks=798599 tps=100 nb_sec=7985 case_no=152 label=Case6.140 nb_sol=0 ticks=562231 tps=100 nb_sec=5622 case_no=152 label=Case6.140 nb_sol=0 ticks=571998 tps=100 nb_sec=5719 case_no=152 label=Case6.140 nb_sol=0 ticks=632200 tps=100 nb_sec=6322 case_no=152 label=Case6.140 nb_sol=0 ticks=623334 tps=100 nb_sec=6233 case_no=152 label=Case6.140 nb_sol=0 ticks=948212 tps=100 nb_sec=9482 case_no=152 label=Case6.140 nb_sol=0 ticks=734874 tps=100 nb_sec=7348 case_no=152 label=Case6.140 nb_sol=0 ticks=789944 tps=100 nb_sec=7899 case_no=152 label=Case6.140 nb_sol=0 ticks=959574 tps=100 nb_sec=9595 case_no=152 label=Case6.140 nb_sol=0 ticks=325549 tps=100 nb_sec=3255 case_no=152 label=Case6.140 nb_sol=0 ticks=1009410 tps=100 nb_sec=10094 case_no=152 label=Case6.140 nb_sol=0 ticks=724703 tps=100 nb_sec=7247 case_no=152 label=Case6.140 nb_sol=0 ticks=726139 tps=100 nb_sec=7261 case_no=152 label=Case6.140 nb_sol=0 ticks=970791 tps=100 nb_sec=9707 Nb_sol=0 Nb_sec=516711 5-23:31:51 or 143 hours missing cases: none