argc=5 -M 64 file2=30_select_Case6.145_starter_15_ checking files mod 64 from 0 to 63 case_no=157 label=Case6.145 nb_sol=0 ticks=535356 tps=100 nb_sec=5353 case_no=157 label=Case6.145 nb_sol=0 ticks=432839 tps=100 nb_sec=4328 case_no=157 label=Case6.145 nb_sol=0 ticks=391552 tps=100 nb_sec=3915 case_no=157 label=Case6.145 nb_sol=0 ticks=396529 tps=100 nb_sec=3965 case_no=157 label=Case6.145 nb_sol=0 ticks=421621 tps=100 nb_sec=4216 case_no=157 label=Case6.145 nb_sol=0 ticks=389254 tps=100 nb_sec=3892 case_no=157 label=Case6.145 nb_sol=0 ticks=508915 tps=100 nb_sec=5089 case_no=157 label=Case6.145 nb_sol=0 ticks=426277 tps=100 nb_sec=4262 case_no=157 label=Case6.145 nb_sol=0 ticks=364984 tps=100 nb_sec=3649 case_no=157 label=Case6.145 nb_sol=0 ticks=340093 tps=100 nb_sec=3400 case_no=157 label=Case6.145 nb_sol=0 ticks=488853 tps=100 nb_sec=4888 case_no=157 label=Case6.145 nb_sol=0 ticks=653832 tps=100 nb_sec=6538 case_no=157 label=Case6.145 nb_sol=0 ticks=495916 tps=100 nb_sec=4959 case_no=157 label=Case6.145 nb_sol=0 ticks=329830 tps=100 nb_sec=3298 case_no=157 label=Case6.145 nb_sol=0 ticks=499565 tps=100 nb_sec=4995 case_no=157 label=Case6.145 nb_sol=0 ticks=307931 tps=100 nb_sec=3079 case_no=157 label=Case6.145 nb_sol=0 ticks=376143 tps=100 nb_sec=3761 case_no=157 label=Case6.145 nb_sol=0 ticks=287987 tps=100 nb_sec=2879 case_no=157 label=Case6.145 nb_sol=0 ticks=342330 tps=100 nb_sec=3423 case_no=157 label=Case6.145 nb_sol=0 ticks=349758 tps=100 nb_sec=3497 case_no=157 label=Case6.145 nb_sol=0 ticks=417805 tps=100 nb_sec=4178 case_no=157 label=Case6.145 nb_sol=0 ticks=288544 tps=100 nb_sec=2885 case_no=157 label=Case6.145 nb_sol=0 ticks=384204 tps=100 nb_sec=3842 case_no=157 label=Case6.145 nb_sol=0 ticks=497013 tps=100 nb_sec=4970 case_no=157 label=Case6.145 nb_sol=0 ticks=381734 tps=100 nb_sec=3817 case_no=157 label=Case6.145 nb_sol=0 ticks=513570 tps=100 nb_sec=5135 case_no=157 label=Case6.145 nb_sol=0 ticks=538164 tps=100 nb_sec=5381 case_no=157 label=Case6.145 nb_sol=0 ticks=472663 tps=100 nb_sec=4726 case_no=157 label=Case6.145 nb_sol=0 ticks=471133 tps=100 nb_sec=4711 case_no=157 label=Case6.145 nb_sol=0 ticks=480994 tps=100 nb_sec=4809 case_no=157 label=Case6.145 nb_sol=0 ticks=501532 tps=100 nb_sec=5015 case_no=157 label=Case6.145 nb_sol=0 ticks=547767 tps=100 nb_sec=5477 case_no=157 label=Case6.145 nb_sol=0 ticks=590702 tps=100 nb_sec=5907 case_no=157 label=Case6.145 nb_sol=0 ticks=516688 tps=100 nb_sec=5166 case_no=157 label=Case6.145 nb_sol=0 ticks=577343 tps=100 nb_sec=5773 case_no=157 label=Case6.145 nb_sol=0 ticks=503450 tps=100 nb_sec=5034 case_no=157 label=Case6.145 nb_sol=0 ticks=574240 tps=100 nb_sec=5742 case_no=157 label=Case6.145 nb_sol=0 ticks=533888 tps=100 nb_sec=5338 case_no=157 label=Case6.145 nb_sol=0 ticks=604679 tps=100 nb_sec=6046 case_no=157 label=Case6.145 nb_sol=0 ticks=578423 tps=100 nb_sec=5784 case_no=157 label=Case6.145 nb_sol=0 ticks=581343 tps=100 nb_sec=5813 case_no=157 label=Case6.145 nb_sol=0 ticks=565873 tps=100 nb_sec=5658 case_no=157 label=Case6.145 nb_sol=0 ticks=549745 tps=100 nb_sec=5497 case_no=157 label=Case6.145 nb_sol=0 ticks=494127 tps=100 nb_sec=4941 case_no=157 label=Case6.145 nb_sol=0 ticks=529257 tps=100 nb_sec=5292 case_no=157 label=Case6.145 nb_sol=0 ticks=545958 tps=100 nb_sec=5459 case_no=157 label=Case6.145 nb_sol=0 ticks=310387 tps=100 nb_sec=3103 case_no=157 label=Case6.145 nb_sol=0 ticks=529718 tps=100 nb_sec=5297 case_no=157 label=Case6.145 nb_sol=0 ticks=544991 tps=100 nb_sec=5449 case_no=157 label=Case6.145 nb_sol=0 ticks=541961 tps=100 nb_sec=5419 case_no=157 label=Case6.145 nb_sol=0 ticks=397243 tps=100 nb_sec=3972 case_no=157 label=Case6.145 nb_sol=0 ticks=534889 tps=100 nb_sec=5348 case_no=157 label=Case6.145 nb_sol=0 ticks=540228 tps=100 nb_sec=5402 case_no=157 label=Case6.145 nb_sol=0 ticks=433475 tps=100 nb_sec=4334 case_no=157 label=Case6.145 nb_sol=0 ticks=280467 tps=100 nb_sec=2804 case_no=157 label=Case6.145 nb_sol=0 ticks=405319 tps=100 nb_sec=4053 case_no=157 label=Case6.145 nb_sol=0 ticks=402017 tps=100 nb_sec=4020 case_no=157 label=Case6.145 nb_sol=0 ticks=435464 tps=100 nb_sec=4354 case_no=157 label=Case6.145 nb_sol=0 ticks=352538 tps=100 nb_sec=3525 case_no=157 label=Case6.145 nb_sol=0 ticks=445295 tps=100 nb_sec=4452 case_no=157 label=Case6.145 nb_sol=0 ticks=644969 tps=100 nb_sec=6449 case_no=157 label=Case6.145 nb_sol=0 ticks=325217 tps=100 nb_sec=3252 case_no=157 label=Case6.145 nb_sol=0 ticks=502619 tps=100 nb_sec=5026 case_no=157 label=Case6.145 nb_sol=0 ticks=411811 tps=100 nb_sec=4118 Nb_sol=0 Nb_sec=296159 3-10:15:59 or 82 hours missing cases: none