argc=5 -M 256 file2=30_select_Case6.51_starter_16_ checking files mod 256 from 0 to 255 case_no=63 label=Case6.51 nb_sol=0 ticks=80568 tps=100 nb_sec=805 case_no=63 label=Case6.51 nb_sol=0 ticks=99743 tps=100 nb_sec=997 case_no=63 label=Case6.51 nb_sol=0 ticks=58441 tps=100 nb_sec=584 case_no=63 label=Case6.51 nb_sol=0 ticks=73583 tps=100 nb_sec=735 case_no=63 label=Case6.51 nb_sol=0 ticks=54907 tps=100 nb_sec=549 case_no=63 label=Case6.51 nb_sol=0 ticks=29634 tps=100 nb_sec=296 case_no=63 label=Case6.51 nb_sol=0 ticks=50540 tps=100 nb_sec=505 case_no=63 label=Case6.51 nb_sol=0 ticks=43832 tps=100 nb_sec=438 case_no=63 label=Case6.51 nb_sol=0 ticks=47529 tps=100 nb_sec=475 case_no=63 label=Case6.51 nb_sol=0 ticks=78883 tps=100 nb_sec=788 case_no=63 label=Case6.51 nb_sol=0 ticks=79115 tps=100 nb_sec=791 case_no=63 label=Case6.51 nb_sol=0 ticks=41093 tps=100 nb_sec=410 case_no=63 label=Case6.51 nb_sol=0 ticks=65203 tps=100 nb_sec=652 case_no=63 label=Case6.51 nb_sol=0 ticks=63981 tps=100 nb_sec=639 case_no=63 label=Case6.51 nb_sol=0 ticks=96095 tps=100 nb_sec=960 case_no=63 label=Case6.51 nb_sol=0 ticks=47107 tps=100 nb_sec=471 case_no=63 label=Case6.51 nb_sol=0 ticks=64998 tps=100 nb_sec=649 case_no=63 label=Case6.51 nb_sol=0 ticks=111095 tps=100 nb_sec=1110 case_no=63 label=Case6.51 nb_sol=0 ticks=44428 tps=100 nb_sec=444 case_no=63 label=Case6.51 nb_sol=0 ticks=62315 tps=100 nb_sec=623 case_no=63 label=Case6.51 nb_sol=0 ticks=96887 tps=100 nb_sec=968 case_no=63 label=Case6.51 nb_sol=0 ticks=31631 tps=100 nb_sec=316 case_no=63 label=Case6.51 nb_sol=0 ticks=66189 tps=100 nb_sec=661 case_no=63 label=Case6.51 nb_sol=0 ticks=63653 tps=100 nb_sec=636 case_no=63 label=Case6.51 nb_sol=0 ticks=107353 tps=100 nb_sec=1073 case_no=63 label=Case6.51 nb_sol=0 ticks=41470 tps=100 nb_sec=414 case_no=63 label=Case6.51 nb_sol=0 ticks=50596 tps=100 nb_sec=505 case_no=63 label=Case6.51 nb_sol=0 ticks=68290 tps=100 nb_sec=682 case_no=63 label=Case6.51 nb_sol=0 ticks=98413 tps=100 nb_sec=984 case_no=63 label=Case6.51 nb_sol=0 ticks=39166 tps=100 nb_sec=391 case_no=63 label=Case6.51 nb_sol=0 ticks=40938 tps=100 nb_sec=409 case_no=63 label=Case6.51 nb_sol=0 ticks=96254 tps=100 nb_sec=962 case_no=63 label=Case6.51 nb_sol=0 ticks=107147 tps=100 nb_sec=1071 case_no=63 label=Case6.51 nb_sol=0 ticks=106829 tps=100 nb_sec=1068 case_no=63 label=Case6.51 nb_sol=0 ticks=55066 tps=100 nb_sec=550 case_no=63 label=Case6.51 nb_sol=0 ticks=71311 tps=100 nb_sec=713 case_no=63 label=Case6.51 nb_sol=0 ticks=38464 tps=100 nb_sec=384 case_no=63 label=Case6.51 nb_sol=0 ticks=54735 tps=100 nb_sec=547 case_no=63 label=Case6.51 nb_sol=0 ticks=87524 tps=100 nb_sec=875 case_no=63 label=Case6.51 nb_sol=0 ticks=71651 tps=100 nb_sec=716 case_no=63 label=Case6.51 nb_sol=0 ticks=91843 tps=100 nb_sec=918 case_no=63 label=Case6.51 nb_sol=0 ticks=91869 tps=100 nb_sec=918 case_no=63 label=Case6.51 nb_sol=0 ticks=100717 tps=100 nb_sec=1007 case_no=63 label=Case6.51 nb_sol=0 ticks=60313 tps=100 nb_sec=603 case_no=63 label=Case6.51 nb_sol=0 ticks=64793 tps=100 nb_sec=647 case_no=63 label=Case6.51 nb_sol=0 ticks=66069 tps=100 nb_sec=660 case_no=63 label=Case6.51 nb_sol=0 ticks=91402 tps=100 nb_sec=914 case_no=63 label=Case6.51 nb_sol=0 ticks=104343 tps=100 nb_sec=1043 case_no=63 label=Case6.51 nb_sol=0 ticks=114796 tps=100 nb_sec=1147 case_no=63 label=Case6.51 nb_sol=0 ticks=103645 tps=100 nb_sec=1036 case_no=63 label=Case6.51 nb_sol=0 ticks=70298 tps=100 nb_sec=702 case_no=63 label=Case6.51 nb_sol=0 ticks=106368 tps=100 nb_sec=1063 case_no=63 label=Case6.51 nb_sol=0 ticks=94933 tps=100 nb_sec=949 case_no=63 label=Case6.51 nb_sol=0 ticks=76319 tps=100 nb_sec=763 case_no=63 label=Case6.51 nb_sol=0 ticks=109127 tps=100 nb_sec=1091 case_no=63 label=Case6.51 nb_sol=0 ticks=77945 tps=100 nb_sec=779 case_no=63 label=Case6.51 nb_sol=0 ticks=102815 tps=100 nb_sec=1028 case_no=63 label=Case6.51 nb_sol=0 ticks=63624 tps=100 nb_sec=636 case_no=63 label=Case6.51 nb_sol=0 ticks=28985 tps=100 nb_sec=289 case_no=63 label=Case6.51 nb_sol=0 ticks=74778 tps=100 nb_sec=747 case_no=63 label=Case6.51 nb_sol=0 ticks=74034 tps=100 nb_sec=740 case_no=63 label=Case6.51 nb_sol=0 ticks=43631 tps=100 nb_sec=436 case_no=63 label=Case6.51 nb_sol=0 ticks=92364 tps=100 nb_sec=923 case_no=63 label=Case6.51 nb_sol=0 ticks=57402 tps=100 nb_sec=574 case_no=63 label=Case6.51 nb_sol=0 ticks=93782 tps=100 nb_sec=937 case_no=63 label=Case6.51 nb_sol=0 ticks=88223 tps=100 nb_sec=882 case_no=63 label=Case6.51 nb_sol=0 ticks=70056 tps=100 nb_sec=700 case_no=63 label=Case6.51 nb_sol=0 ticks=57493 tps=100 nb_sec=574 case_no=63 label=Case6.51 nb_sol=0 ticks=74276 tps=100 nb_sec=742 case_no=63 label=Case6.51 nb_sol=0 ticks=28738 tps=100 nb_sec=287 case_no=63 label=Case6.51 nb_sol=0 ticks=102492 tps=100 nb_sec=1024 case_no=63 label=Case6.51 nb_sol=0 ticks=87848 tps=100 nb_sec=878 case_no=63 label=Case6.51 nb_sol=0 ticks=65673 tps=100 nb_sec=656 case_no=63 label=Case6.51 nb_sol=0 ticks=95234 tps=100 nb_sec=952 case_no=63 label=Case6.51 nb_sol=0 ticks=30300 tps=100 nb_sec=303 case_no=63 label=Case6.51 nb_sol=0 ticks=87006 tps=100 nb_sec=870 case_no=63 label=Case6.51 nb_sol=0 ticks=82967 tps=100 nb_sec=829 case_no=63 label=Case6.51 nb_sol=0 ticks=48976 tps=100 nb_sec=489 case_no=63 label=Case6.51 nb_sol=0 ticks=71069 tps=100 nb_sec=710 case_no=63 label=Case6.51 nb_sol=0 ticks=74384 tps=100 nb_sec=743 case_no=63 label=Case6.51 nb_sol=0 ticks=102753 tps=100 nb_sec=1027 case_no=63 label=Case6.51 nb_sol=0 ticks=64718 tps=100 nb_sec=647 case_no=63 label=Case6.51 nb_sol=0 ticks=45219 tps=100 nb_sec=452 case_no=63 label=Case6.51 nb_sol=0 ticks=28312 tps=100 nb_sec=283 case_no=63 label=Case6.51 nb_sol=0 ticks=86616 tps=100 nb_sec=866 case_no=63 label=Case6.51 nb_sol=0 ticks=96390 tps=100 nb_sec=963 case_no=63 label=Case6.51 nb_sol=0 ticks=60935 tps=100 nb_sec=609 case_no=63 label=Case6.51 nb_sol=0 ticks=74002 tps=100 nb_sec=740 case_no=63 label=Case6.51 nb_sol=0 ticks=103864 tps=100 nb_sec=1038 case_no=63 label=Case6.51 nb_sol=0 ticks=101991 tps=100 nb_sec=1019 case_no=63 label=Case6.51 nb_sol=0 ticks=42995 tps=100 nb_sec=429 case_no=63 label=Case6.51 nb_sol=0 ticks=64625 tps=100 nb_sec=646 case_no=63 label=Case6.51 nb_sol=0 ticks=71434 tps=100 nb_sec=714 case_no=63 label=Case6.51 nb_sol=0 ticks=93689 tps=100 nb_sec=936 case_no=63 label=Case6.51 nb_sol=0 ticks=100643 tps=100 nb_sec=1006 case_no=63 label=Case6.51 nb_sol=0 ticks=92302 tps=100 nb_sec=923 case_no=63 label=Case6.51 nb_sol=0 ticks=47600 tps=100 nb_sec=476 case_no=63 label=Case6.51 nb_sol=0 ticks=28300 tps=100 nb_sec=283 case_no=63 label=Case6.51 nb_sol=0 ticks=65479 tps=100 nb_sec=654 case_no=63 label=Case6.51 nb_sol=0 ticks=75026 tps=100 nb_sec=750 case_no=63 label=Case6.51 nb_sol=0 ticks=64725 tps=100 nb_sec=647 case_no=63 label=Case6.51 nb_sol=0 ticks=63432 tps=100 nb_sec=634 case_no=63 label=Case6.51 nb_sol=0 ticks=111721 tps=100 nb_sec=1117 case_no=63 label=Case6.51 nb_sol=0 ticks=28927 tps=100 nb_sec=289 case_no=63 label=Case6.51 nb_sol=0 ticks=124717 tps=100 nb_sec=1247 case_no=63 label=Case6.51 nb_sol=0 ticks=58203 tps=100 nb_sec=582 case_no=63 label=Case6.51 nb_sol=0 ticks=86184 tps=100 nb_sec=861 case_no=63 label=Case6.51 nb_sol=0 ticks=61494 tps=100 nb_sec=614 case_no=63 label=Case6.51 nb_sol=0 ticks=88654 tps=100 nb_sec=886 case_no=63 label=Case6.51 nb_sol=0 ticks=64002 tps=100 nb_sec=640 case_no=63 label=Case6.51 nb_sol=0 ticks=102381 tps=100 nb_sec=1023 case_no=63 label=Case6.51 nb_sol=0 ticks=81706 tps=100 nb_sec=817 case_no=63 label=Case6.51 nb_sol=0 ticks=89723 tps=100 nb_sec=897 case_no=63 label=Case6.51 nb_sol=0 ticks=94307 tps=100 nb_sec=943 case_no=63 label=Case6.51 nb_sol=0 ticks=101908 tps=100 nb_sec=1019 case_no=63 label=Case6.51 nb_sol=0 ticks=72165 tps=100 nb_sec=721 case_no=63 label=Case6.51 nb_sol=0 ticks=93949 tps=100 nb_sec=939 case_no=63 label=Case6.51 nb_sol=0 ticks=66840 tps=100 nb_sec=668 case_no=63 label=Case6.51 nb_sol=0 ticks=98000 tps=100 nb_sec=980 case_no=63 label=Case6.51 nb_sol=0 ticks=58059 tps=100 nb_sec=580 case_no=63 label=Case6.51 nb_sol=0 ticks=104341 tps=100 nb_sec=1043 case_no=63 label=Case6.51 nb_sol=0 ticks=65383 tps=100 nb_sec=653 case_no=63 label=Case6.51 nb_sol=0 ticks=28324 tps=100 nb_sec=283 case_no=63 label=Case6.51 nb_sol=0 ticks=63323 tps=100 nb_sec=633 case_no=63 label=Case6.51 nb_sol=0 ticks=105209 tps=100 nb_sec=1052 case_no=63 label=Case6.51 nb_sol=0 ticks=29924 tps=100 nb_sec=299 case_no=63 label=Case6.51 nb_sol=0 ticks=70461 tps=100 nb_sec=704 case_no=63 label=Case6.51 nb_sol=0 ticks=29723 tps=100 nb_sec=297 case_no=63 label=Case6.51 nb_sol=0 ticks=76219 tps=100 nb_sec=762 case_no=63 label=Case6.51 nb_sol=0 ticks=64824 tps=100 nb_sec=648 case_no=63 label=Case6.51 nb_sol=0 ticks=68450 tps=100 nb_sec=684 case_no=63 label=Case6.51 nb_sol=0 ticks=68094 tps=100 nb_sec=680 case_no=63 label=Case6.51 nb_sol=0 ticks=27895 tps=100 nb_sec=278 case_no=63 label=Case6.51 nb_sol=0 ticks=61886 tps=100 nb_sec=618 case_no=63 label=Case6.51 nb_sol=0 ticks=68814 tps=100 nb_sec=688 case_no=63 label=Case6.51 nb_sol=0 ticks=95371 tps=100 nb_sec=953 case_no=63 label=Case6.51 nb_sol=0 ticks=29979 tps=100 nb_sec=299 case_no=63 label=Case6.51 nb_sol=0 ticks=64131 tps=100 nb_sec=641 case_no=63 label=Case6.51 nb_sol=0 ticks=72249 tps=100 nb_sec=722 case_no=63 label=Case6.51 nb_sol=0 ticks=88246 tps=100 nb_sec=882 case_no=63 label=Case6.51 nb_sol=0 ticks=40572 tps=100 nb_sec=405 case_no=63 label=Case6.51 nb_sol=0 ticks=30995 tps=100 nb_sec=309 case_no=63 label=Case6.51 nb_sol=0 ticks=100603 tps=100 nb_sec=1006 case_no=63 label=Case6.51 nb_sol=0 ticks=42514 tps=100 nb_sec=425 case_no=63 label=Case6.51 nb_sol=0 ticks=52085 tps=100 nb_sec=520 case_no=63 label=Case6.51 nb_sol=0 ticks=61860 tps=100 nb_sec=618 case_no=63 label=Case6.51 nb_sol=0 ticks=73799 tps=100 nb_sec=737 case_no=63 label=Case6.51 nb_sol=0 ticks=93468 tps=100 nb_sec=934 case_no=63 label=Case6.51 nb_sol=0 ticks=67862 tps=100 nb_sec=678 case_no=63 label=Case6.51 nb_sol=0 ticks=96007 tps=100 nb_sec=960 case_no=63 label=Case6.51 nb_sol=0 ticks=60886 tps=100 nb_sec=608 case_no=63 label=Case6.51 nb_sol=0 ticks=39027 tps=100 nb_sec=390 case_no=63 label=Case6.51 nb_sol=0 ticks=74120 tps=100 nb_sec=741 case_no=63 label=Case6.51 nb_sol=0 ticks=107770 tps=100 nb_sec=1077 case_no=63 label=Case6.51 nb_sol=0 ticks=65207 tps=100 nb_sec=652 case_no=63 label=Case6.51 nb_sol=0 ticks=41777 tps=100 nb_sec=417 case_no=63 label=Case6.51 nb_sol=0 ticks=47357 tps=100 nb_sec=473 case_no=63 label=Case6.51 nb_sol=0 ticks=73582 tps=100 nb_sec=735 case_no=63 label=Case6.51 nb_sol=0 ticks=78118 tps=100 nb_sec=781 case_no=63 label=Case6.51 nb_sol=0 ticks=64098 tps=100 nb_sec=640 case_no=63 label=Case6.51 nb_sol=0 ticks=65933 tps=100 nb_sec=659 case_no=63 label=Case6.51 nb_sol=0 ticks=106658 tps=100 nb_sec=1066 case_no=63 label=Case6.51 nb_sol=0 ticks=99033 tps=100 nb_sec=990 case_no=63 label=Case6.51 nb_sol=0 ticks=97500 tps=100 nb_sec=975 case_no=63 label=Case6.51 nb_sol=0 ticks=79207 tps=100 nb_sec=792 case_no=63 label=Case6.51 nb_sol=0 ticks=94763 tps=100 nb_sec=947 case_no=63 label=Case6.51 nb_sol=0 ticks=81007 tps=100 nb_sec=810 case_no=63 label=Case6.51 nb_sol=0 ticks=74807 tps=100 nb_sec=748 case_no=63 label=Case6.51 nb_sol=0 ticks=60986 tps=100 nb_sec=609 case_no=63 label=Case6.51 nb_sol=0 ticks=63788 tps=100 nb_sec=637 case_no=63 label=Case6.51 nb_sol=0 ticks=46448 tps=100 nb_sec=464 case_no=63 label=Case6.51 nb_sol=0 ticks=72448 tps=100 nb_sec=724 case_no=63 label=Case6.51 nb_sol=0 ticks=70879 tps=100 nb_sec=708 case_no=63 label=Case6.51 nb_sol=0 ticks=70668 tps=100 nb_sec=706 case_no=63 label=Case6.51 nb_sol=0 ticks=80915 tps=100 nb_sec=809 case_no=63 label=Case6.51 nb_sol=0 ticks=81722 tps=100 nb_sec=817 case_no=63 label=Case6.51 nb_sol=0 ticks=57038 tps=100 nb_sec=570 case_no=63 label=Case6.51 nb_sol=0 ticks=65286 tps=100 nb_sec=652 case_no=63 label=Case6.51 nb_sol=0 ticks=102080 tps=100 nb_sec=1020 case_no=63 label=Case6.51 nb_sol=0 ticks=60048 tps=100 nb_sec=600 case_no=63 label=Case6.51 nb_sol=0 ticks=59453 tps=100 nb_sec=594 case_no=63 label=Case6.51 nb_sol=0 ticks=84861 tps=100 nb_sec=848 case_no=63 label=Case6.51 nb_sol=0 ticks=69627 tps=100 nb_sec=696 case_no=63 label=Case6.51 nb_sol=0 ticks=76169 tps=100 nb_sec=761 case_no=63 label=Case6.51 nb_sol=0 ticks=114438 tps=100 nb_sec=1144 case_no=63 label=Case6.51 nb_sol=0 ticks=28469 tps=100 nb_sec=284 case_no=63 label=Case6.51 nb_sol=0 ticks=57899 tps=100 nb_sec=578 case_no=63 label=Case6.51 nb_sol=0 ticks=68296 tps=100 nb_sec=682 case_no=63 label=Case6.51 nb_sol=0 ticks=92654 tps=100 nb_sec=926 case_no=63 label=Case6.51 nb_sol=0 ticks=62604 tps=100 nb_sec=626 case_no=63 label=Case6.51 nb_sol=0 ticks=88334 tps=100 nb_sec=883 case_no=63 label=Case6.51 nb_sol=0 ticks=64421 tps=100 nb_sec=644 case_no=63 label=Case6.51 nb_sol=0 ticks=79651 tps=100 nb_sec=796 case_no=63 label=Case6.51 nb_sol=0 ticks=55105 tps=100 nb_sec=551 case_no=63 label=Case6.51 nb_sol=0 ticks=73574 tps=100 nb_sec=735 case_no=63 label=Case6.51 nb_sol=0 ticks=50200 tps=100 nb_sec=502 case_no=63 label=Case6.51 nb_sol=0 ticks=29801 tps=100 nb_sec=298 case_no=63 label=Case6.51 nb_sol=0 ticks=60872 tps=100 nb_sec=608 case_no=63 label=Case6.51 nb_sol=0 ticks=84136 tps=100 nb_sec=841 case_no=63 label=Case6.51 nb_sol=0 ticks=59236 tps=100 nb_sec=592 case_no=63 label=Case6.51 nb_sol=0 ticks=60650 tps=100 nb_sec=606 case_no=63 label=Case6.51 nb_sol=0 ticks=104744 tps=100 nb_sec=1047 case_no=63 label=Case6.51 nb_sol=0 ticks=27509 tps=100 nb_sec=275 case_no=63 label=Case6.51 nb_sol=0 ticks=58846 tps=100 nb_sec=588 case_no=63 label=Case6.51 nb_sol=0 ticks=65104 tps=100 nb_sec=651 case_no=63 label=Case6.51 nb_sol=0 ticks=56848 tps=100 nb_sec=568 case_no=63 label=Case6.51 nb_sol=0 ticks=76911 tps=100 nb_sec=769 case_no=63 label=Case6.51 nb_sol=0 ticks=58988 tps=100 nb_sec=589 case_no=63 label=Case6.51 nb_sol=0 ticks=27649 tps=100 nb_sec=276 case_no=63 label=Case6.51 nb_sol=0 ticks=63970 tps=100 nb_sec=639 case_no=63 label=Case6.51 nb_sol=0 ticks=49807 tps=100 nb_sec=498 case_no=63 label=Case6.51 nb_sol=0 ticks=104288 tps=100 nb_sec=1042 case_no=63 label=Case6.51 nb_sol=0 ticks=68815 tps=100 nb_sec=688 case_no=63 label=Case6.51 nb_sol=0 ticks=57364 tps=100 nb_sec=573 case_no=63 label=Case6.51 nb_sol=0 ticks=27679 tps=100 nb_sec=276 case_no=63 label=Case6.51 nb_sol=0 ticks=42164 tps=100 nb_sec=421 case_no=63 label=Case6.51 nb_sol=0 ticks=67600 tps=100 nb_sec=676 case_no=63 label=Case6.51 nb_sol=0 ticks=68838 tps=100 nb_sec=688 case_no=63 label=Case6.51 nb_sol=0 ticks=62749 tps=100 nb_sec=627 case_no=63 label=Case6.51 nb_sol=0 ticks=75265 tps=100 nb_sec=752 case_no=63 label=Case6.51 nb_sol=0 ticks=29070 tps=100 nb_sec=290 case_no=63 label=Case6.51 nb_sol=0 ticks=76403 tps=100 nb_sec=764 case_no=63 label=Case6.51 nb_sol=0 ticks=60178 tps=100 nb_sec=601 case_no=63 label=Case6.51 nb_sol=0 ticks=38465 tps=100 nb_sec=384 case_no=63 label=Case6.51 nb_sol=0 ticks=69445 tps=100 nb_sec=694 case_no=63 label=Case6.51 nb_sol=0 ticks=89791 tps=100 nb_sec=897 case_no=63 label=Case6.51 nb_sol=0 ticks=84804 tps=100 nb_sec=848 case_no=63 label=Case6.51 nb_sol=0 ticks=64427 tps=100 nb_sec=644 case_no=63 label=Case6.51 nb_sol=0 ticks=31969 tps=100 nb_sec=319 case_no=63 label=Case6.51 nb_sol=0 ticks=69821 tps=100 nb_sec=698 case_no=63 label=Case6.51 nb_sol=0 ticks=58207 tps=100 nb_sec=582 case_no=63 label=Case6.51 nb_sol=0 ticks=38569 tps=100 nb_sec=385 case_no=63 label=Case6.51 nb_sol=0 ticks=74324 tps=100 nb_sec=743 case_no=63 label=Case6.51 nb_sol=0 ticks=72048 tps=100 nb_sec=720 case_no=63 label=Case6.51 nb_sol=0 ticks=51592 tps=100 nb_sec=515 case_no=63 label=Case6.51 nb_sol=0 ticks=33002 tps=100 nb_sec=330 case_no=63 label=Case6.51 nb_sol=0 ticks=69840 tps=100 nb_sec=698 case_no=63 label=Case6.51 nb_sol=0 ticks=68715 tps=100 nb_sec=687 case_no=63 label=Case6.51 nb_sol=0 ticks=68764 tps=100 nb_sec=687 case_no=63 label=Case6.51 nb_sol=0 ticks=72318 tps=100 nb_sec=723 case_no=63 label=Case6.51 nb_sol=0 ticks=111990 tps=100 nb_sec=1119 case_no=63 label=Case6.51 nb_sol=0 ticks=76935 tps=100 nb_sec=769 case_no=63 label=Case6.51 nb_sol=0 ticks=62514 tps=100 nb_sec=625 case_no=63 label=Case6.51 nb_sol=0 ticks=77266 tps=100 nb_sec=772 case_no=63 label=Case6.51 nb_sol=0 ticks=28959 tps=100 nb_sec=289 case_no=63 label=Case6.51 nb_sol=0 ticks=26274 tps=100 nb_sec=262 case_no=63 label=Case6.51 nb_sol=0 ticks=29878 tps=100 nb_sec=298 case_no=63 label=Case6.51 nb_sol=0 ticks=69009 tps=100 nb_sec=690 case_no=63 label=Case6.51 nb_sol=0 ticks=70517 tps=100 nb_sec=705 case_no=63 label=Case6.51 nb_sol=0 ticks=67145 tps=100 nb_sec=671 case_no=63 label=Case6.51 nb_sol=0 ticks=75944 tps=100 nb_sec=759 case_no=63 label=Case6.51 nb_sol=0 ticks=94737 tps=100 nb_sec=947 case_no=63 label=Case6.51 nb_sol=0 ticks=75605 tps=100 nb_sec=756 case_no=63 label=Case6.51 nb_sol=0 ticks=64562 tps=100 nb_sec=645 case_no=63 label=Case6.51 nb_sol=0 ticks=27513 tps=100 nb_sec=275 case_no=63 label=Case6.51 nb_sol=0 ticks=63369 tps=100 nb_sec=633 Nb_sol=0 Nb_sec=178090 2-1:28:10 or 49 hours missing cases: none