argc=5 -M 256 file2=30_select_Case6.52_starter_16_ checking files mod 256 from 0 to 255 case_no=64 label=Case6.52 nb_sol=0 ticks=94539 tps=100 nb_sec=945 case_no=64 label=Case6.52 nb_sol=0 ticks=41847 tps=100 nb_sec=418 case_no=64 label=Case6.52 nb_sol=0 ticks=67197 tps=100 nb_sec=671 case_no=64 label=Case6.52 nb_sol=0 ticks=92918 tps=100 nb_sec=929 case_no=64 label=Case6.52 nb_sol=0 ticks=45660 tps=100 nb_sec=456 case_no=64 label=Case6.52 nb_sol=0 ticks=74703 tps=100 nb_sec=747 case_no=64 label=Case6.52 nb_sol=0 ticks=81259 tps=100 nb_sec=812 case_no=64 label=Case6.52 nb_sol=0 ticks=110414 tps=100 nb_sec=1104 case_no=64 label=Case6.52 nb_sol=0 ticks=90547 tps=100 nb_sec=905 case_no=64 label=Case6.52 nb_sol=0 ticks=67139 tps=100 nb_sec=671 case_no=64 label=Case6.52 nb_sol=0 ticks=65202 tps=100 nb_sec=652 case_no=64 label=Case6.52 nb_sol=0 ticks=101148 tps=100 nb_sec=1011 case_no=64 label=Case6.52 nb_sol=0 ticks=109366 tps=100 nb_sec=1093 case_no=64 label=Case6.52 nb_sol=0 ticks=41894 tps=100 nb_sec=418 case_no=64 label=Case6.52 nb_sol=0 ticks=60717 tps=100 nb_sec=607 case_no=64 label=Case6.52 nb_sol=0 ticks=45321 tps=100 nb_sec=453 case_no=64 label=Case6.52 nb_sol=0 ticks=64093 tps=100 nb_sec=640 case_no=64 label=Case6.52 nb_sol=0 ticks=67691 tps=100 nb_sec=676 case_no=64 label=Case6.52 nb_sol=0 ticks=93707 tps=100 nb_sec=937 case_no=64 label=Case6.52 nb_sol=0 ticks=52312 tps=100 nb_sec=523 case_no=64 label=Case6.52 nb_sol=0 ticks=88078 tps=100 nb_sec=880 case_no=64 label=Case6.52 nb_sol=0 ticks=93952 tps=100 nb_sec=939 case_no=64 label=Case6.52 nb_sol=0 ticks=91309 tps=100 nb_sec=913 case_no=64 label=Case6.52 nb_sol=0 ticks=41220 tps=100 nb_sec=412 case_no=64 label=Case6.52 nb_sol=0 ticks=72133 tps=100 nb_sec=721 case_no=64 label=Case6.52 nb_sol=0 ticks=64553 tps=100 nb_sec=645 case_no=64 label=Case6.52 nb_sol=0 ticks=92118 tps=100 nb_sec=921 case_no=64 label=Case6.52 nb_sol=0 ticks=44379 tps=100 nb_sec=443 case_no=64 label=Case6.52 nb_sol=0 ticks=57009 tps=100 nb_sec=570 case_no=64 label=Case6.52 nb_sol=0 ticks=82584 tps=100 nb_sec=825 case_no=64 label=Case6.52 nb_sol=0 ticks=67628 tps=100 nb_sec=676 case_no=64 label=Case6.52 nb_sol=0 ticks=103828 tps=100 nb_sec=1038 case_no=64 label=Case6.52 nb_sol=0 ticks=63263 tps=100 nb_sec=632 case_no=64 label=Case6.52 nb_sol=0 ticks=89246 tps=100 nb_sec=892 case_no=64 label=Case6.52 nb_sol=0 ticks=123466 tps=100 nb_sec=1234 case_no=64 label=Case6.52 nb_sol=0 ticks=74073 tps=100 nb_sec=740 case_no=64 label=Case6.52 nb_sol=0 ticks=98245 tps=100 nb_sec=982 case_no=64 label=Case6.52 nb_sol=0 ticks=41062 tps=100 nb_sec=410 case_no=64 label=Case6.52 nb_sol=0 ticks=78820 tps=100 nb_sec=788 case_no=64 label=Case6.52 nb_sol=0 ticks=94438 tps=100 nb_sec=944 case_no=64 label=Case6.52 nb_sol=0 ticks=27908 tps=100 nb_sec=279 case_no=64 label=Case6.52 nb_sol=0 ticks=65701 tps=100 nb_sec=657 case_no=64 label=Case6.52 nb_sol=0 ticks=60051 tps=100 nb_sec=600 case_no=64 label=Case6.52 nb_sol=0 ticks=73797 tps=100 nb_sec=737 case_no=64 label=Case6.52 nb_sol=0 ticks=80095 tps=100 nb_sec=800 case_no=64 label=Case6.52 nb_sol=0 ticks=56618 tps=100 nb_sec=566 case_no=64 label=Case6.52 nb_sol=0 ticks=102033 tps=100 nb_sec=1020 case_no=64 label=Case6.52 nb_sol=0 ticks=74774 tps=100 nb_sec=747 case_no=64 label=Case6.52 nb_sol=0 ticks=93059 tps=100 nb_sec=930 case_no=64 label=Case6.52 nb_sol=0 ticks=63390 tps=100 nb_sec=633 case_no=64 label=Case6.52 nb_sol=0 ticks=64781 tps=100 nb_sec=647 case_no=64 label=Case6.52 nb_sol=0 ticks=89676 tps=100 nb_sec=896 case_no=64 label=Case6.52 nb_sol=0 ticks=58777 tps=100 nb_sec=587 case_no=64 label=Case6.52 nb_sol=0 ticks=68228 tps=100 nb_sec=682 case_no=64 label=Case6.52 nb_sol=0 ticks=60160 tps=100 nb_sec=601 case_no=64 label=Case6.52 nb_sol=0 ticks=72001 tps=100 nb_sec=720 case_no=64 label=Case6.52 nb_sol=0 ticks=104728 tps=100 nb_sec=1047 case_no=64 label=Case6.52 nb_sol=0 ticks=82273 tps=100 nb_sec=822 case_no=64 label=Case6.52 nb_sol=0 ticks=85196 tps=100 nb_sec=851 case_no=64 label=Case6.52 nb_sol=0 ticks=63356 tps=100 nb_sec=633 case_no=64 label=Case6.52 nb_sol=0 ticks=61810 tps=100 nb_sec=618 case_no=64 label=Case6.52 nb_sol=0 ticks=65511 tps=100 nb_sec=655 case_no=64 label=Case6.52 nb_sol=0 ticks=59504 tps=100 nb_sec=595 case_no=64 label=Case6.52 nb_sol=0 ticks=105927 tps=100 nb_sec=1059 case_no=64 label=Case6.52 nb_sol=0 ticks=75048 tps=100 nb_sec=750 case_no=64 label=Case6.52 nb_sol=0 ticks=99895 tps=100 nb_sec=998 case_no=64 label=Case6.52 nb_sol=0 ticks=94584 tps=100 nb_sec=945 case_no=64 label=Case6.52 nb_sol=0 ticks=83043 tps=100 nb_sec=830 case_no=64 label=Case6.52 nb_sol=0 ticks=64815 tps=100 nb_sec=648 case_no=64 label=Case6.52 nb_sol=0 ticks=53797 tps=100 nb_sec=537 case_no=64 label=Case6.52 nb_sol=0 ticks=42651 tps=100 nb_sec=426 case_no=64 label=Case6.52 nb_sol=0 ticks=58715 tps=100 nb_sec=587 case_no=64 label=Case6.52 nb_sol=0 ticks=92742 tps=100 nb_sec=927 case_no=64 label=Case6.52 nb_sol=0 ticks=69493 tps=100 nb_sec=694 case_no=64 label=Case6.52 nb_sol=0 ticks=49733 tps=100 nb_sec=497 case_no=64 label=Case6.52 nb_sol=0 ticks=57176 tps=100 nb_sec=571 case_no=64 label=Case6.52 nb_sol=0 ticks=93286 tps=100 nb_sec=932 case_no=64 label=Case6.52 nb_sol=0 ticks=108573 tps=100 nb_sec=1085 case_no=64 label=Case6.52 nb_sol=0 ticks=62604 tps=100 nb_sec=626 case_no=64 label=Case6.52 nb_sol=0 ticks=94365 tps=100 nb_sec=943 case_no=64 label=Case6.52 nb_sol=0 ticks=87111 tps=100 nb_sec=871 case_no=64 label=Case6.52 nb_sol=0 ticks=68562 tps=100 nb_sec=685 case_no=64 label=Case6.52 nb_sol=0 ticks=94199 tps=100 nb_sec=941 case_no=64 label=Case6.52 nb_sol=0 ticks=53240 tps=100 nb_sec=532 case_no=64 label=Case6.52 nb_sol=0 ticks=67792 tps=100 nb_sec=677 case_no=64 label=Case6.52 nb_sol=0 ticks=47060 tps=100 nb_sec=470 case_no=64 label=Case6.52 nb_sol=0 ticks=54165 tps=100 nb_sec=541 case_no=64 label=Case6.52 nb_sol=0 ticks=68254 tps=100 nb_sec=682 case_no=64 label=Case6.52 nb_sol=0 ticks=90055 tps=100 nb_sec=900 case_no=64 label=Case6.52 nb_sol=0 ticks=98551 tps=100 nb_sec=985 case_no=64 label=Case6.52 nb_sol=0 ticks=55594 tps=100 nb_sec=555 case_no=64 label=Case6.52 nb_sol=0 ticks=53617 tps=100 nb_sec=536 case_no=64 label=Case6.52 nb_sol=0 ticks=71068 tps=100 nb_sec=710 case_no=64 label=Case6.52 nb_sol=0 ticks=92768 tps=100 nb_sec=927 case_no=64 label=Case6.52 nb_sol=0 ticks=65895 tps=100 nb_sec=658 case_no=64 label=Case6.52 nb_sol=0 ticks=55271 tps=100 nb_sec=552 case_no=64 label=Case6.52 nb_sol=0 ticks=70495 tps=100 nb_sec=704 case_no=64 label=Case6.52 nb_sol=0 ticks=124415 tps=100 nb_sec=1244 case_no=64 label=Case6.52 nb_sol=0 ticks=71861 tps=100 nb_sec=718 case_no=64 label=Case6.52 nb_sol=0 ticks=56675 tps=100 nb_sec=566 case_no=64 label=Case6.52 nb_sol=0 ticks=94746 tps=100 nb_sec=947 case_no=64 label=Case6.52 nb_sol=0 ticks=30683 tps=100 nb_sec=306 case_no=64 label=Case6.52 nb_sol=0 ticks=62878 tps=100 nb_sec=628 case_no=64 label=Case6.52 nb_sol=0 ticks=73820 tps=100 nb_sec=738 case_no=64 label=Case6.52 nb_sol=0 ticks=88090 tps=100 nb_sec=880 case_no=64 label=Case6.52 nb_sol=0 ticks=40953 tps=100 nb_sec=409 case_no=64 label=Case6.52 nb_sol=0 ticks=68152 tps=100 nb_sec=681 case_no=64 label=Case6.52 nb_sol=0 ticks=71989 tps=100 nb_sec=719 case_no=64 label=Case6.52 nb_sol=0 ticks=52981 tps=100 nb_sec=529 case_no=64 label=Case6.52 nb_sol=0 ticks=109750 tps=100 nb_sec=1097 case_no=64 label=Case6.52 nb_sol=0 ticks=52671 tps=100 nb_sec=526 case_no=64 label=Case6.52 nb_sol=0 ticks=41717 tps=100 nb_sec=417 case_no=64 label=Case6.52 nb_sol=0 ticks=65029 tps=100 nb_sec=650 case_no=64 label=Case6.52 nb_sol=0 ticks=42207 tps=100 nb_sec=422 case_no=64 label=Case6.52 nb_sol=0 ticks=52446 tps=100 nb_sec=524 case_no=64 label=Case6.52 nb_sol=0 ticks=61864 tps=100 nb_sec=618 case_no=64 label=Case6.52 nb_sol=0 ticks=68151 tps=100 nb_sec=681 case_no=64 label=Case6.52 nb_sol=0 ticks=84392 tps=100 nb_sec=843 case_no=64 label=Case6.52 nb_sol=0 ticks=77897 tps=100 nb_sec=778 case_no=64 label=Case6.52 nb_sol=0 ticks=88720 tps=100 nb_sec=887 case_no=64 label=Case6.52 nb_sol=0 ticks=42985 tps=100 nb_sec=429 case_no=64 label=Case6.52 nb_sol=0 ticks=96369 tps=100 nb_sec=963 case_no=64 label=Case6.52 nb_sol=0 ticks=69304 tps=100 nb_sec=693 case_no=64 label=Case6.52 nb_sol=0 ticks=63776 tps=100 nb_sec=637 case_no=64 label=Case6.52 nb_sol=0 ticks=43542 tps=100 nb_sec=435 case_no=64 label=Case6.52 nb_sol=0 ticks=71167 tps=100 nb_sec=711 case_no=64 label=Case6.52 nb_sol=0 ticks=64341 tps=100 nb_sec=643 case_no=64 label=Case6.52 nb_sol=0 ticks=45603 tps=100 nb_sec=456 case_no=64 label=Case6.52 nb_sol=0 ticks=75538 tps=100 nb_sec=755 case_no=64 label=Case6.52 nb_sol=0 ticks=92132 tps=100 nb_sec=921 case_no=64 label=Case6.52 nb_sol=0 ticks=29373 tps=100 nb_sec=293 case_no=64 label=Case6.52 nb_sol=0 ticks=63800 tps=100 nb_sec=638 case_no=64 label=Case6.52 nb_sol=0 ticks=69483 tps=100 nb_sec=694 case_no=64 label=Case6.52 nb_sol=0 ticks=99026 tps=100 nb_sec=990 case_no=64 label=Case6.52 nb_sol=0 ticks=59284 tps=100 nb_sec=592 case_no=64 label=Case6.52 nb_sol=0 ticks=85928 tps=100 nb_sec=859 case_no=64 label=Case6.52 nb_sol=0 ticks=44345 tps=100 nb_sec=443 case_no=64 label=Case6.52 nb_sol=0 ticks=84601 tps=100 nb_sec=846 case_no=64 label=Case6.52 nb_sol=0 ticks=64074 tps=100 nb_sec=640 case_no=64 label=Case6.52 nb_sol=0 ticks=90906 tps=100 nb_sec=909 case_no=64 label=Case6.52 nb_sol=0 ticks=91639 tps=100 nb_sec=916 case_no=64 label=Case6.52 nb_sol=0 ticks=66372 tps=100 nb_sec=663 case_no=64 label=Case6.52 nb_sol=0 ticks=42103 tps=100 nb_sec=421 case_no=64 label=Case6.52 nb_sol=0 ticks=90214 tps=100 nb_sec=902 case_no=64 label=Case6.52 nb_sol=0 ticks=62763 tps=100 nb_sec=627 case_no=64 label=Case6.52 nb_sol=0 ticks=71999 tps=100 nb_sec=719 case_no=64 label=Case6.52 nb_sol=0 ticks=45313 tps=100 nb_sec=453 case_no=64 label=Case6.52 nb_sol=0 ticks=86555 tps=100 nb_sec=865 case_no=64 label=Case6.52 nb_sol=0 ticks=76496 tps=100 nb_sec=764 case_no=64 label=Case6.52 nb_sol=0 ticks=63369 tps=100 nb_sec=633 case_no=64 label=Case6.52 nb_sol=0 ticks=69178 tps=100 nb_sec=691 case_no=64 label=Case6.52 nb_sol=0 ticks=42525 tps=100 nb_sec=425 case_no=64 label=Case6.52 nb_sol=0 ticks=60153 tps=100 nb_sec=601 case_no=64 label=Case6.52 nb_sol=0 ticks=43354 tps=100 nb_sec=433 case_no=64 label=Case6.52 nb_sol=0 ticks=89740 tps=100 nb_sec=897 case_no=64 label=Case6.52 nb_sol=0 ticks=37835 tps=100 nb_sec=378 case_no=64 label=Case6.52 nb_sol=0 ticks=101103 tps=100 nb_sec=1011 case_no=64 label=Case6.52 nb_sol=0 ticks=77093 tps=100 nb_sec=770 case_no=64 label=Case6.52 nb_sol=0 ticks=102162 tps=100 nb_sec=1021 case_no=64 label=Case6.52 nb_sol=0 ticks=95552 tps=100 nb_sec=955 case_no=64 label=Case6.52 nb_sol=0 ticks=75533 tps=100 nb_sec=755 case_no=64 label=Case6.52 nb_sol=0 ticks=75044 tps=100 nb_sec=750 case_no=64 label=Case6.52 nb_sol=0 ticks=31022 tps=100 nb_sec=310 case_no=64 label=Case6.52 nb_sol=0 ticks=61517 tps=100 nb_sec=615 case_no=64 label=Case6.52 nb_sol=0 ticks=65960 tps=100 nb_sec=659 case_no=64 label=Case6.52 nb_sol=0 ticks=95320 tps=100 nb_sec=953 case_no=64 label=Case6.52 nb_sol=0 ticks=78701 tps=100 nb_sec=787 case_no=64 label=Case6.52 nb_sol=0 ticks=38205 tps=100 nb_sec=382 case_no=64 label=Case6.52 nb_sol=0 ticks=95909 tps=100 nb_sec=959 case_no=64 label=Case6.52 nb_sol=0 ticks=66672 tps=100 nb_sec=666 case_no=64 label=Case6.52 nb_sol=0 ticks=76136 tps=100 nb_sec=761 case_no=64 label=Case6.52 nb_sol=0 ticks=71558 tps=100 nb_sec=715 case_no=64 label=Case6.52 nb_sol=0 ticks=38141 tps=100 nb_sec=381 case_no=64 label=Case6.52 nb_sol=0 ticks=54716 tps=100 nb_sec=547 case_no=64 label=Case6.52 nb_sol=0 ticks=64214 tps=100 nb_sec=642 case_no=64 label=Case6.52 nb_sol=0 ticks=68500 tps=100 nb_sec=685 case_no=64 label=Case6.52 nb_sol=0 ticks=29971 tps=100 nb_sec=299 case_no=64 label=Case6.52 nb_sol=0 ticks=102448 tps=100 nb_sec=1024 case_no=64 label=Case6.52 nb_sol=0 ticks=74491 tps=100 nb_sec=744 case_no=64 label=Case6.52 nb_sol=0 ticks=45445 tps=100 nb_sec=454 case_no=64 label=Case6.52 nb_sol=0 ticks=62787 tps=100 nb_sec=627 case_no=64 label=Case6.52 nb_sol=0 ticks=83259 tps=100 nb_sec=832 case_no=64 label=Case6.52 nb_sol=0 ticks=73835 tps=100 nb_sec=738 case_no=64 label=Case6.52 nb_sol=0 ticks=43244 tps=100 nb_sec=432 case_no=64 label=Case6.52 nb_sol=0 ticks=83919 tps=100 nb_sec=839 case_no=64 label=Case6.52 nb_sol=0 ticks=62428 tps=100 nb_sec=624 case_no=64 label=Case6.52 nb_sol=0 ticks=102838 tps=100 nb_sec=1028 case_no=64 label=Case6.52 nb_sol=0 ticks=74939 tps=100 nb_sec=749 case_no=64 label=Case6.52 nb_sol=0 ticks=62862 tps=100 nb_sec=628 case_no=64 label=Case6.52 nb_sol=0 ticks=67935 tps=100 nb_sec=679 case_no=64 label=Case6.52 nb_sol=0 ticks=64889 tps=100 nb_sec=648 case_no=64 label=Case6.52 nb_sol=0 ticks=82754 tps=100 nb_sec=827 case_no=64 label=Case6.52 nb_sol=0 ticks=77670 tps=100 nb_sec=776 case_no=64 label=Case6.52 nb_sol=0 ticks=38516 tps=100 nb_sec=385 case_no=64 label=Case6.52 nb_sol=0 ticks=57929 tps=100 nb_sec=579 case_no=64 label=Case6.52 nb_sol=0 ticks=68325 tps=100 nb_sec=683 case_no=64 label=Case6.52 nb_sol=0 ticks=72747 tps=100 nb_sec=727 case_no=64 label=Case6.52 nb_sol=0 ticks=41565 tps=100 nb_sec=415 case_no=64 label=Case6.52 nb_sol=0 ticks=61411 tps=100 nb_sec=614 case_no=64 label=Case6.52 nb_sol=0 ticks=70495 tps=100 nb_sec=704 case_no=64 label=Case6.52 nb_sol=0 ticks=63778 tps=100 nb_sec=637 case_no=64 label=Case6.52 nb_sol=0 ticks=72615 tps=100 nb_sec=726 case_no=64 label=Case6.52 nb_sol=0 ticks=42196 tps=100 nb_sec=421 case_no=64 label=Case6.52 nb_sol=0 ticks=53531 tps=100 nb_sec=535 case_no=64 label=Case6.52 nb_sol=0 ticks=81105 tps=100 nb_sec=811 case_no=64 label=Case6.52 nb_sol=0 ticks=71216 tps=100 nb_sec=712 case_no=64 label=Case6.52 nb_sol=0 ticks=69803 tps=100 nb_sec=698 case_no=64 label=Case6.52 nb_sol=0 ticks=60261 tps=100 nb_sec=602 case_no=64 label=Case6.52 nb_sol=0 ticks=60226 tps=100 nb_sec=602 case_no=64 label=Case6.52 nb_sol=0 ticks=68461 tps=100 nb_sec=684 case_no=64 label=Case6.52 nb_sol=0 ticks=71737 tps=100 nb_sec=717 case_no=64 label=Case6.52 nb_sol=0 ticks=76510 tps=100 nb_sec=765 case_no=64 label=Case6.52 nb_sol=0 ticks=90039 tps=100 nb_sec=900 case_no=64 label=Case6.52 nb_sol=0 ticks=52572 tps=100 nb_sec=525 case_no=64 label=Case6.52 nb_sol=0 ticks=71219 tps=100 nb_sec=712 case_no=64 label=Case6.52 nb_sol=0 ticks=109672 tps=100 nb_sec=1096 case_no=64 label=Case6.52 nb_sol=0 ticks=60983 tps=100 nb_sec=609 case_no=64 label=Case6.52 nb_sol=0 ticks=73760 tps=100 nb_sec=737 case_no=64 label=Case6.52 nb_sol=0 ticks=109007 tps=100 nb_sec=1090 case_no=64 label=Case6.52 nb_sol=0 ticks=56757 tps=100 nb_sec=567 case_no=64 label=Case6.52 nb_sol=0 ticks=75591 tps=100 nb_sec=755 case_no=64 label=Case6.52 nb_sol=0 ticks=84580 tps=100 nb_sec=845 case_no=64 label=Case6.52 nb_sol=0 ticks=97066 tps=100 nb_sec=970 case_no=64 label=Case6.52 nb_sol=0 ticks=102271 tps=100 nb_sec=1022 case_no=64 label=Case6.52 nb_sol=0 ticks=56236 tps=100 nb_sec=562 case_no=64 label=Case6.52 nb_sol=0 ticks=115456 tps=100 nb_sec=1154 case_no=64 label=Case6.52 nb_sol=0 ticks=52369 tps=100 nb_sec=523 case_no=64 label=Case6.52 nb_sol=0 ticks=68265 tps=100 nb_sec=682 case_no=64 label=Case6.52 nb_sol=0 ticks=69330 tps=100 nb_sec=693 case_no=64 label=Case6.52 nb_sol=0 ticks=54062 tps=100 nb_sec=540 case_no=64 label=Case6.52 nb_sol=0 ticks=74570 tps=100 nb_sec=745 case_no=64 label=Case6.52 nb_sol=0 ticks=72297 tps=100 nb_sec=722 case_no=64 label=Case6.52 nb_sol=0 ticks=99828 tps=100 nb_sec=998 case_no=64 label=Case6.52 nb_sol=0 ticks=67452 tps=100 nb_sec=674 case_no=64 label=Case6.52 nb_sol=0 ticks=100680 tps=100 nb_sec=1006 case_no=64 label=Case6.52 nb_sol=0 ticks=60504 tps=100 nb_sec=605 case_no=64 label=Case6.52 nb_sol=0 ticks=61714 tps=100 nb_sec=617 case_no=64 label=Case6.52 nb_sol=0 ticks=84353 tps=100 nb_sec=843 case_no=64 label=Case6.52 nb_sol=0 ticks=103625 tps=100 nb_sec=1036 case_no=64 label=Case6.52 nb_sol=0 ticks=69576 tps=100 nb_sec=695 case_no=64 label=Case6.52 nb_sol=0 ticks=74833 tps=100 nb_sec=748 case_no=64 label=Case6.52 nb_sol=0 ticks=84578 tps=100 nb_sec=845 case_no=64 label=Case6.52 nb_sol=0 ticks=78883 tps=100 nb_sec=788 case_no=64 label=Case6.52 nb_sol=0 ticks=73152 tps=100 nb_sec=731 case_no=64 label=Case6.52 nb_sol=0 ticks=91870 tps=100 nb_sec=918 case_no=64 label=Case6.52 nb_sol=0 ticks=66181 tps=100 nb_sec=661 case_no=64 label=Case6.52 nb_sol=0 ticks=52252 tps=100 nb_sec=522 case_no=64 label=Case6.52 nb_sol=0 ticks=70756 tps=100 nb_sec=707 case_no=64 label=Case6.52 nb_sol=0 ticks=62780 tps=100 nb_sec=627 case_no=64 label=Case6.52 nb_sol=0 ticks=58218 tps=100 nb_sec=582 case_no=64 label=Case6.52 nb_sol=0 ticks=90425 tps=100 nb_sec=904 case_no=64 label=Case6.52 nb_sol=0 ticks=88702 tps=100 nb_sec=887 case_no=64 label=Case6.52 nb_sol=0 ticks=41869 tps=100 nb_sec=418 case_no=64 label=Case6.52 nb_sol=0 ticks=53368 tps=100 nb_sec=533 case_no=64 label=Case6.52 nb_sol=0 ticks=29611 tps=100 nb_sec=296 case_no=64 label=Case6.52 nb_sol=0 ticks=71860 tps=100 nb_sec=718 Nb_sol=0 Nb_sec=182417 2-2:40:17 or 50 hours missing cases: none