argc=5 -M 512 file2=30_select_Case6.75_starter_15_ checking files mod 512 from 0 to 511 case_no=87 label=Case6.75 nb_sol=0 ticks=79696 tps=100 nb_sec=796 case_no=87 label=Case6.75 nb_sol=0 ticks=61957 tps=100 nb_sec=619 case_no=87 label=Case6.75 nb_sol=0 ticks=98037 tps=100 nb_sec=980 case_no=87 label=Case6.75 nb_sol=0 ticks=95425 tps=100 nb_sec=954 case_no=87 label=Case6.75 nb_sol=0 ticks=113887 tps=100 nb_sec=1138 case_no=87 label=Case6.75 nb_sol=0 ticks=119640 tps=100 nb_sec=1196 case_no=87 label=Case6.75 nb_sol=0 ticks=56003 tps=100 nb_sec=560 case_no=87 label=Case6.75 nb_sol=0 ticks=64127 tps=100 nb_sec=641 case_no=87 label=Case6.75 nb_sol=0 ticks=44288 tps=100 nb_sec=442 case_no=87 label=Case6.75 nb_sol=0 ticks=50911 tps=100 nb_sec=509 case_no=87 label=Case6.75 nb_sol=0 ticks=96344 tps=100 nb_sec=963 case_no=87 label=Case6.75 nb_sol=0 ticks=110799 tps=100 nb_sec=1107 case_no=87 label=Case6.75 nb_sol=0 ticks=83373 tps=100 nb_sec=833 case_no=87 label=Case6.75 nb_sol=0 ticks=51734 tps=100 nb_sec=517 case_no=87 label=Case6.75 nb_sol=0 ticks=78000 tps=100 nb_sec=780 case_no=87 label=Case6.75 nb_sol=0 ticks=81268 tps=100 nb_sec=812 case_no=87 label=Case6.75 nb_sol=0 ticks=85216 tps=100 nb_sec=852 case_no=87 label=Case6.75 nb_sol=0 ticks=155716 tps=100 nb_sec=1557 case_no=87 label=Case6.75 nb_sol=0 ticks=46457 tps=100 nb_sec=464 case_no=87 label=Case6.75 nb_sol=0 ticks=109627 tps=100 nb_sec=1096 case_no=87 label=Case6.75 nb_sol=0 ticks=133572 tps=100 nb_sec=1335 case_no=87 label=Case6.75 nb_sol=0 ticks=86624 tps=100 nb_sec=866 case_no=87 label=Case6.75 nb_sol=0 ticks=86315 tps=100 nb_sec=863 case_no=87 label=Case6.75 nb_sol=0 ticks=73028 tps=100 nb_sec=730 case_no=87 label=Case6.75 nb_sol=0 ticks=91659 tps=100 nb_sec=916 case_no=87 label=Case6.75 nb_sol=0 ticks=165655 tps=100 nb_sec=1656 case_no=87 label=Case6.75 nb_sol=0 ticks=50102 tps=100 nb_sec=501 case_no=87 label=Case6.75 nb_sol=0 ticks=70241 tps=100 nb_sec=702 case_no=87 label=Case6.75 nb_sol=0 ticks=74937 tps=100 nb_sec=749 case_no=87 label=Case6.75 nb_sol=0 ticks=95393 tps=100 nb_sec=953 case_no=87 label=Case6.75 nb_sol=0 ticks=102756 tps=100 nb_sec=1027 case_no=87 label=Case6.75 nb_sol=0 ticks=93903 tps=100 nb_sec=939 case_no=87 label=Case6.75 nb_sol=0 ticks=126402 tps=100 nb_sec=1264 case_no=87 label=Case6.75 nb_sol=0 ticks=117627 tps=100 nb_sec=1176 case_no=87 label=Case6.75 nb_sol=0 ticks=127328 tps=100 nb_sec=1273 case_no=87 label=Case6.75 nb_sol=0 ticks=41695 tps=100 nb_sec=416 case_no=87 label=Case6.75 nb_sol=0 ticks=105529 tps=100 nb_sec=1055 case_no=87 label=Case6.75 nb_sol=0 ticks=105070 tps=100 nb_sec=1050 case_no=87 label=Case6.75 nb_sol=0 ticks=66491 tps=100 nb_sec=664 case_no=87 label=Case6.75 nb_sol=0 ticks=78473 tps=100 nb_sec=784 case_no=87 label=Case6.75 nb_sol=0 ticks=83044 tps=100 nb_sec=830 case_no=87 label=Case6.75 nb_sol=0 ticks=125595 tps=100 nb_sec=1255 case_no=87 label=Case6.75 nb_sol=0 ticks=41068 tps=100 nb_sec=410 case_no=87 label=Case6.75 nb_sol=0 ticks=65703 tps=100 nb_sec=657 case_no=87 label=Case6.75 nb_sol=0 ticks=70159 tps=100 nb_sec=701 case_no=87 label=Case6.75 nb_sol=0 ticks=44903 tps=100 nb_sec=449 case_no=87 label=Case6.75 nb_sol=0 ticks=120161 tps=100 nb_sec=1201 case_no=87 label=Case6.75 nb_sol=0 ticks=91569 tps=100 nb_sec=915 case_no=87 label=Case6.75 nb_sol=0 ticks=83142 tps=100 nb_sec=831 case_no=87 label=Case6.75 nb_sol=0 ticks=79468 tps=100 nb_sec=794 case_no=87 label=Case6.75 nb_sol=0 ticks=93452 tps=100 nb_sec=934 case_no=87 label=Case6.75 nb_sol=0 ticks=102786 tps=100 nb_sec=1027 case_no=87 label=Case6.75 nb_sol=0 ticks=93201 tps=100 nb_sec=932 case_no=87 label=Case6.75 nb_sol=0 ticks=48394 tps=100 nb_sec=483 case_no=87 label=Case6.75 nb_sol=0 ticks=162628 tps=100 nb_sec=1626 case_no=87 label=Case6.75 nb_sol=0 ticks=84789 tps=100 nb_sec=847 case_no=87 label=Case6.75 nb_sol=0 ticks=106042 tps=100 nb_sec=1060 case_no=87 label=Case6.75 nb_sol=0 ticks=70219 tps=100 nb_sec=702 case_no=87 label=Case6.75 nb_sol=0 ticks=33472 tps=100 nb_sec=334 case_no=87 label=Case6.75 nb_sol=0 ticks=108573 tps=100 nb_sec=1085 case_no=87 label=Case6.75 nb_sol=0 ticks=81460 tps=100 nb_sec=814 case_no=87 label=Case6.75 nb_sol=0 ticks=48926 tps=100 nb_sec=489 case_no=87 label=Case6.75 nb_sol=0 ticks=80818 tps=100 nb_sec=808 case_no=87 label=Case6.75 nb_sol=0 ticks=101751 tps=100 nb_sec=1017 case_no=87 label=Case6.75 nb_sol=0 ticks=78010 tps=100 nb_sec=780 case_no=87 label=Case6.75 nb_sol=0 ticks=72023 tps=100 nb_sec=720 case_no=87 label=Case6.75 nb_sol=0 ticks=59442 tps=100 nb_sec=594 case_no=87 label=Case6.75 nb_sol=0 ticks=43993 tps=100 nb_sec=439 case_no=87 label=Case6.75 nb_sol=0 ticks=82425 tps=100 nb_sec=824 case_no=87 label=Case6.75 nb_sol=0 ticks=92852 tps=100 nb_sec=928 case_no=87 label=Case6.75 nb_sol=0 ticks=87026 tps=100 nb_sec=870 case_no=87 label=Case6.75 nb_sol=0 ticks=150480 tps=100 nb_sec=1504 case_no=87 label=Case6.75 nb_sol=0 ticks=97701 tps=100 nb_sec=977 case_no=87 label=Case6.75 nb_sol=0 ticks=45771 tps=100 nb_sec=457 case_no=87 label=Case6.75 nb_sol=0 ticks=118108 tps=100 nb_sec=1181 case_no=87 label=Case6.75 nb_sol=0 ticks=66786 tps=100 nb_sec=667 case_no=87 label=Case6.75 nb_sol=0 ticks=51251 tps=100 nb_sec=512 case_no=87 label=Case6.75 nb_sol=0 ticks=79644 tps=100 nb_sec=796 case_no=87 label=Case6.75 nb_sol=0 ticks=104752 tps=100 nb_sec=1047 case_no=87 label=Case6.75 nb_sol=0 ticks=86759 tps=100 nb_sec=867 case_no=87 label=Case6.75 nb_sol=0 ticks=112621 tps=100 nb_sec=1126 case_no=87 label=Case6.75 nb_sol=0 ticks=81884 tps=100 nb_sec=818 case_no=87 label=Case6.75 nb_sol=0 ticks=161439 tps=100 nb_sec=1614 case_no=87 label=Case6.75 nb_sol=0 ticks=91075 tps=100 nb_sec=910 case_no=87 label=Case6.75 nb_sol=0 ticks=76087 tps=100 nb_sec=760 case_no=87 label=Case6.75 nb_sol=0 ticks=100180 tps=100 nb_sec=1001 case_no=87 label=Case6.75 nb_sol=0 ticks=85535 tps=100 nb_sec=855 case_no=87 label=Case6.75 nb_sol=0 ticks=106388 tps=100 nb_sec=1063 case_no=87 label=Case6.75 nb_sol=0 ticks=101623 tps=100 nb_sec=1016 case_no=87 label=Case6.75 nb_sol=0 ticks=94933 tps=100 nb_sec=949 case_no=87 label=Case6.75 nb_sol=0 ticks=59144 tps=100 nb_sec=591 case_no=87 label=Case6.75 nb_sol=0 ticks=99991 tps=100 nb_sec=999 case_no=87 label=Case6.75 nb_sol=0 ticks=81421 tps=100 nb_sec=814 case_no=87 label=Case6.75 nb_sol=0 ticks=68636 tps=100 nb_sec=686 case_no=87 label=Case6.75 nb_sol=0 ticks=132485 tps=100 nb_sec=1324 case_no=87 label=Case6.75 nb_sol=0 ticks=110265 tps=100 nb_sec=1102 case_no=87 label=Case6.75 nb_sol=0 ticks=79690 tps=100 nb_sec=796 case_no=87 label=Case6.75 nb_sol=0 ticks=94202 tps=100 nb_sec=942 case_no=87 label=Case6.75 nb_sol=0 ticks=85325 tps=100 nb_sec=853 case_no=87 label=Case6.75 nb_sol=0 ticks=66992 tps=100 nb_sec=669 case_no=87 label=Case6.75 nb_sol=0 ticks=81850 tps=100 nb_sec=818 case_no=87 label=Case6.75 nb_sol=0 ticks=73620 tps=100 nb_sec=736 case_no=87 label=Case6.75 nb_sol=0 ticks=80382 tps=100 nb_sec=803 case_no=87 label=Case6.75 nb_sol=0 ticks=93500 tps=100 nb_sec=935 case_no=87 label=Case6.75 nb_sol=0 ticks=121947 tps=100 nb_sec=1219 case_no=87 label=Case6.75 nb_sol=0 ticks=40899 tps=100 nb_sec=408 case_no=87 label=Case6.75 nb_sol=0 ticks=85120 tps=100 nb_sec=851 case_no=87 label=Case6.75 nb_sol=0 ticks=107008 tps=100 nb_sec=1070 case_no=87 label=Case6.75 nb_sol=0 ticks=90294 tps=100 nb_sec=902 case_no=87 label=Case6.75 nb_sol=0 ticks=70342 tps=100 nb_sec=703 case_no=87 label=Case6.75 nb_sol=0 ticks=95251 tps=100 nb_sec=952 case_no=87 label=Case6.75 nb_sol=0 ticks=95900 tps=100 nb_sec=959 case_no=87 label=Case6.75 nb_sol=0 ticks=97888 tps=100 nb_sec=978 case_no=87 label=Case6.75 nb_sol=0 ticks=70685 tps=100 nb_sec=706 case_no=87 label=Case6.75 nb_sol=0 ticks=96736 tps=100 nb_sec=967 case_no=87 label=Case6.75 nb_sol=0 ticks=80341 tps=100 nb_sec=803 case_no=87 label=Case6.75 nb_sol=0 ticks=71075 tps=100 nb_sec=710 case_no=87 label=Case6.75 nb_sol=0 ticks=131123 tps=100 nb_sec=1311 case_no=87 label=Case6.75 nb_sol=0 ticks=88397 tps=100 nb_sec=883 case_no=87 label=Case6.75 nb_sol=0 ticks=73788 tps=100 nb_sec=737 case_no=87 label=Case6.75 nb_sol=0 ticks=76705 tps=100 nb_sec=767 case_no=87 label=Case6.75 nb_sol=0 ticks=78544 tps=100 nb_sec=785 case_no=87 label=Case6.75 nb_sol=0 ticks=59344 tps=100 nb_sec=593 case_no=87 label=Case6.75 nb_sol=0 ticks=82001 tps=100 nb_sec=820 case_no=87 label=Case6.75 nb_sol=0 ticks=127493 tps=100 nb_sec=1274 case_no=87 label=Case6.75 nb_sol=0 ticks=88387 tps=100 nb_sec=883 case_no=87 label=Case6.75 nb_sol=0 ticks=83481 tps=100 nb_sec=834 case_no=87 label=Case6.75 nb_sol=0 ticks=106329 tps=100 nb_sec=1063 case_no=87 label=Case6.75 nb_sol=0 ticks=84995 tps=100 nb_sec=849 case_no=87 label=Case6.75 nb_sol=0 ticks=95357 tps=100 nb_sec=953 case_no=87 label=Case6.75 nb_sol=0 ticks=102294 tps=100 nb_sec=1022 case_no=87 label=Case6.75 nb_sol=0 ticks=81110 tps=100 nb_sec=811 case_no=87 label=Case6.75 nb_sol=0 ticks=88698 tps=100 nb_sec=886 case_no=87 label=Case6.75 nb_sol=0 ticks=91033 tps=100 nb_sec=910 case_no=87 label=Case6.75 nb_sol=0 ticks=69881 tps=100 nb_sec=698 case_no=87 label=Case6.75 nb_sol=0 ticks=65198 tps=100 nb_sec=651 case_no=87 label=Case6.75 nb_sol=0 ticks=82118 tps=100 nb_sec=821 case_no=87 label=Case6.75 nb_sol=0 ticks=82981 tps=100 nb_sec=829 case_no=87 label=Case6.75 nb_sol=0 ticks=83723 tps=100 nb_sec=837 case_no=87 label=Case6.75 nb_sol=0 ticks=77352 tps=100 nb_sec=773 case_no=87 label=Case6.75 nb_sol=0 ticks=92674 tps=100 nb_sec=926 case_no=87 label=Case6.75 nb_sol=0 ticks=81476 tps=100 nb_sec=814 case_no=87 label=Case6.75 nb_sol=0 ticks=95956 tps=100 nb_sec=959 case_no=87 label=Case6.75 nb_sol=0 ticks=89873 tps=100 nb_sec=898 case_no=87 label=Case6.75 nb_sol=0 ticks=44858 tps=100 nb_sec=448 case_no=87 label=Case6.75 nb_sol=0 ticks=99536 tps=100 nb_sec=995 case_no=87 label=Case6.75 nb_sol=0 ticks=79132 tps=100 nb_sec=791 case_no=87 label=Case6.75 nb_sol=0 ticks=66454 tps=100 nb_sec=664 case_no=87 label=Case6.75 nb_sol=0 ticks=87028 tps=100 nb_sec=870 case_no=87 label=Case6.75 nb_sol=0 ticks=86195 tps=100 nb_sec=861 case_no=87 label=Case6.75 nb_sol=0 ticks=95408 tps=100 nb_sec=954 case_no=87 label=Case6.75 nb_sol=0 ticks=107178 tps=100 nb_sec=1071 case_no=87 label=Case6.75 nb_sol=0 ticks=114244 tps=100 nb_sec=1142 case_no=87 label=Case6.75 nb_sol=0 ticks=86381 tps=100 nb_sec=863 case_no=87 label=Case6.75 nb_sol=0 ticks=91544 tps=100 nb_sec=915 case_no=87 label=Case6.75 nb_sol=0 ticks=74969 tps=100 nb_sec=749 case_no=87 label=Case6.75 nb_sol=0 ticks=87333 tps=100 nb_sec=873 case_no=87 label=Case6.75 nb_sol=0 ticks=91371 tps=100 nb_sec=913 case_no=87 label=Case6.75 nb_sol=0 ticks=72027 tps=100 nb_sec=720 case_no=87 label=Case6.75 nb_sol=0 ticks=53233 tps=100 nb_sec=532 case_no=87 label=Case6.75 nb_sol=0 ticks=103914 tps=100 nb_sec=1039 case_no=87 label=Case6.75 nb_sol=0 ticks=82920 tps=100 nb_sec=829 case_no=87 label=Case6.75 nb_sol=0 ticks=77831 tps=100 nb_sec=778 case_no=87 label=Case6.75 nb_sol=0 ticks=86479 tps=100 nb_sec=864 case_no=87 label=Case6.75 nb_sol=0 ticks=91850 tps=100 nb_sec=918 case_no=87 label=Case6.75 nb_sol=0 ticks=115620 tps=100 nb_sec=1156 case_no=87 label=Case6.75 nb_sol=0 ticks=76267 tps=100 nb_sec=762 case_no=87 label=Case6.75 nb_sol=0 ticks=69770 tps=100 nb_sec=697 case_no=87 label=Case6.75 nb_sol=0 ticks=119496 tps=100 nb_sec=1194 case_no=87 label=Case6.75 nb_sol=0 ticks=89878 tps=100 nb_sec=898 case_no=87 label=Case6.75 nb_sol=0 ticks=79804 tps=100 nb_sec=798 case_no=87 label=Case6.75 nb_sol=0 ticks=110623 tps=100 nb_sec=1106 case_no=87 label=Case6.75 nb_sol=0 ticks=123447 tps=100 nb_sec=1234 case_no=87 label=Case6.75 nb_sol=0 ticks=88231 tps=100 nb_sec=882 case_no=87 label=Case6.75 nb_sol=0 ticks=97124 tps=100 nb_sec=971 case_no=87 label=Case6.75 nb_sol=0 ticks=79807 tps=100 nb_sec=798 case_no=87 label=Case6.75 nb_sol=0 ticks=87632 tps=100 nb_sec=876 case_no=87 label=Case6.75 nb_sol=0 ticks=87105 tps=100 nb_sec=871 case_no=87 label=Case6.75 nb_sol=0 ticks=135873 tps=100 nb_sec=1358 case_no=87 label=Case6.75 nb_sol=0 ticks=90216 tps=100 nb_sec=902 case_no=87 label=Case6.75 nb_sol=0 ticks=62351 tps=100 nb_sec=623 case_no=87 label=Case6.75 nb_sol=0 ticks=78301 tps=100 nb_sec=783 case_no=87 label=Case6.75 nb_sol=0 ticks=77771 tps=100 nb_sec=777 case_no=87 label=Case6.75 nb_sol=0 ticks=100118 tps=100 nb_sec=1001 case_no=87 label=Case6.75 nb_sol=0 ticks=70957 tps=100 nb_sec=709 case_no=87 label=Case6.75 nb_sol=0 ticks=85087 tps=100 nb_sec=850 case_no=87 label=Case6.75 nb_sol=0 ticks=78083 tps=100 nb_sec=780 case_no=87 label=Case6.75 nb_sol=0 ticks=37999 tps=100 nb_sec=379 case_no=87 label=Case6.75 nb_sol=0 ticks=87725 tps=100 nb_sec=877 case_no=87 label=Case6.75 nb_sol=0 ticks=72200 tps=100 nb_sec=722 case_no=87 label=Case6.75 nb_sol=0 ticks=83214 tps=100 nb_sec=832 case_no=87 label=Case6.75 nb_sol=0 ticks=92281 tps=100 nb_sec=922 case_no=87 label=Case6.75 nb_sol=0 ticks=82251 tps=100 nb_sec=822 case_no=87 label=Case6.75 nb_sol=0 ticks=95472 tps=100 nb_sec=954 case_no=87 label=Case6.75 nb_sol=0 ticks=74984 tps=100 nb_sec=749 case_no=87 label=Case6.75 nb_sol=0 ticks=91995 tps=100 nb_sec=919 case_no=87 label=Case6.75 nb_sol=0 ticks=74765 tps=100 nb_sec=747 case_no=87 label=Case6.75 nb_sol=0 ticks=74481 tps=100 nb_sec=744 case_no=87 label=Case6.75 nb_sol=0 ticks=69775 tps=100 nb_sec=697 case_no=87 label=Case6.75 nb_sol=0 ticks=110566 tps=100 nb_sec=1105 case_no=87 label=Case6.75 nb_sol=0 ticks=105628 tps=100 nb_sec=1056 case_no=87 label=Case6.75 nb_sol=0 ticks=87933 tps=100 nb_sec=879 case_no=87 label=Case6.75 nb_sol=0 ticks=97372 tps=100 nb_sec=973 case_no=87 label=Case6.75 nb_sol=0 ticks=100478 tps=100 nb_sec=1004 case_no=87 label=Case6.75 nb_sol=0 ticks=65550 tps=100 nb_sec=655 case_no=87 label=Case6.75 nb_sol=0 ticks=67352 tps=100 nb_sec=673 case_no=87 label=Case6.75 nb_sol=0 ticks=64981 tps=100 nb_sec=649 case_no=87 label=Case6.75 nb_sol=0 ticks=65492 tps=100 nb_sec=654 case_no=87 label=Case6.75 nb_sol=0 ticks=62922 tps=100 nb_sec=629 case_no=87 label=Case6.75 nb_sol=0 ticks=70442 tps=100 nb_sec=704 case_no=87 label=Case6.75 nb_sol=0 ticks=78179 tps=100 nb_sec=781 case_no=87 label=Case6.75 nb_sol=0 ticks=90401 tps=100 nb_sec=904 case_no=87 label=Case6.75 nb_sol=0 ticks=72892 tps=100 nb_sec=728 case_no=87 label=Case6.75 nb_sol=0 ticks=87704 tps=100 nb_sec=877 case_no=87 label=Case6.75 nb_sol=0 ticks=99803 tps=100 nb_sec=998 case_no=87 label=Case6.75 nb_sol=0 ticks=69139 tps=100 nb_sec=691 case_no=87 label=Case6.75 nb_sol=0 ticks=47029 tps=100 nb_sec=470 case_no=87 label=Case6.75 nb_sol=0 ticks=112261 tps=100 nb_sec=1122 case_no=87 label=Case6.75 nb_sol=0 ticks=152054 tps=100 nb_sec=1520 case_no=87 label=Case6.75 nb_sol=0 ticks=77340 tps=100 nb_sec=773 case_no=87 label=Case6.75 nb_sol=0 ticks=81619 tps=100 nb_sec=816 case_no=87 label=Case6.75 nb_sol=0 ticks=134842 tps=100 nb_sec=1348 case_no=87 label=Case6.75 nb_sol=0 ticks=81276 tps=100 nb_sec=812 case_no=87 label=Case6.75 nb_sol=0 ticks=89547 tps=100 nb_sec=895 case_no=87 label=Case6.75 nb_sol=0 ticks=92755 tps=100 nb_sec=927 case_no=87 label=Case6.75 nb_sol=0 ticks=95410 tps=100 nb_sec=954 case_no=87 label=Case6.75 nb_sol=0 ticks=94415 tps=100 nb_sec=944 case_no=87 label=Case6.75 nb_sol=0 ticks=80198 tps=100 nb_sec=801 case_no=87 label=Case6.75 nb_sol=0 ticks=99685 tps=100 nb_sec=996 case_no=87 label=Case6.75 nb_sol=0 ticks=112136 tps=100 nb_sec=1121 case_no=87 label=Case6.75 nb_sol=0 ticks=139820 tps=100 nb_sec=1398 case_no=87 label=Case6.75 nb_sol=0 ticks=73378 tps=100 nb_sec=733 case_no=87 label=Case6.75 nb_sol=0 ticks=86826 tps=100 nb_sec=868 case_no=87 label=Case6.75 nb_sol=0 ticks=76652 tps=100 nb_sec=766 case_no=87 label=Case6.75 nb_sol=0 ticks=107792 tps=100 nb_sec=1077 case_no=87 label=Case6.75 nb_sol=0 ticks=75067 tps=100 nb_sec=750 case_no=87 label=Case6.75 nb_sol=0 ticks=130093 tps=100 nb_sec=1300 case_no=87 label=Case6.75 nb_sol=0 ticks=74272 tps=100 nb_sec=742 case_no=87 label=Case6.75 nb_sol=0 ticks=69178 tps=100 nb_sec=691 case_no=87 label=Case6.75 nb_sol=0 ticks=62893 tps=100 nb_sec=628 case_no=87 label=Case6.75 nb_sol=0 ticks=97549 tps=100 nb_sec=975 case_no=87 label=Case6.75 nb_sol=0 ticks=77226 tps=100 nb_sec=772 case_no=87 label=Case6.75 nb_sol=0 ticks=82039 tps=100 nb_sec=820 case_no=87 label=Case6.75 nb_sol=0 ticks=82719 tps=100 nb_sec=827 case_no=87 label=Case6.75 nb_sol=0 ticks=91064 tps=100 nb_sec=910 case_no=87 label=Case6.75 nb_sol=0 ticks=71183 tps=100 nb_sec=711 case_no=87 label=Case6.75 nb_sol=0 ticks=79058 tps=100 nb_sec=790 case_no=87 label=Case6.75 nb_sol=0 ticks=69597 tps=100 nb_sec=695 case_no=87 label=Case6.75 nb_sol=0 ticks=96757 tps=100 nb_sec=967 case_no=87 label=Case6.75 nb_sol=0 ticks=108804 tps=100 nb_sec=1088 case_no=87 label=Case6.75 nb_sol=0 ticks=103329 tps=100 nb_sec=1033 case_no=87 label=Case6.75 nb_sol=0 ticks=89583 tps=100 nb_sec=895 case_no=87 label=Case6.75 nb_sol=0 ticks=113294 tps=100 nb_sec=1132 case_no=87 label=Case6.75 nb_sol=0 ticks=111102 tps=100 nb_sec=1111 case_no=87 label=Case6.75 nb_sol=0 ticks=74505 tps=100 nb_sec=745 case_no=87 label=Case6.75 nb_sol=0 ticks=91643 tps=100 nb_sec=916 case_no=87 label=Case6.75 nb_sol=0 ticks=119653 tps=100 nb_sec=1196 case_no=87 label=Case6.75 nb_sol=0 ticks=103438 tps=100 nb_sec=1034 case_no=87 label=Case6.75 nb_sol=0 ticks=96513 tps=100 nb_sec=965 case_no=87 label=Case6.75 nb_sol=0 ticks=106732 tps=100 nb_sec=1067 case_no=87 label=Case6.75 nb_sol=0 ticks=81907 tps=100 nb_sec=819 case_no=87 label=Case6.75 nb_sol=0 ticks=89259 tps=100 nb_sec=892 case_no=87 label=Case6.75 nb_sol=0 ticks=83948 tps=100 nb_sec=839 case_no=87 label=Case6.75 nb_sol=0 ticks=92858 tps=100 nb_sec=928 case_no=87 label=Case6.75 nb_sol=0 ticks=105718 tps=100 nb_sec=1057 case_no=87 label=Case6.75 nb_sol=0 ticks=99269 tps=100 nb_sec=992 case_no=87 label=Case6.75 nb_sol=0 ticks=90056 tps=100 nb_sec=900 case_no=87 label=Case6.75 nb_sol=0 ticks=35463 tps=100 nb_sec=354 case_no=87 label=Case6.75 nb_sol=0 ticks=79660 tps=100 nb_sec=796 case_no=87 label=Case6.75 nb_sol=0 ticks=137754 tps=100 nb_sec=1377 case_no=87 label=Case6.75 nb_sol=0 ticks=90269 tps=100 nb_sec=902 case_no=87 label=Case6.75 nb_sol=0 ticks=74017 tps=100 nb_sec=740 case_no=87 label=Case6.75 nb_sol=0 ticks=105012 tps=100 nb_sec=1050 case_no=87 label=Case6.75 nb_sol=0 ticks=127305 tps=100 nb_sec=1273 case_no=87 label=Case6.75 nb_sol=0 ticks=45261 tps=100 nb_sec=452 case_no=87 label=Case6.75 nb_sol=0 ticks=73812 tps=100 nb_sec=738 case_no=87 label=Case6.75 nb_sol=0 ticks=62850 tps=100 nb_sec=628 case_no=87 label=Case6.75 nb_sol=0 ticks=114517 tps=100 nb_sec=1145 case_no=87 label=Case6.75 nb_sol=0 ticks=63371 tps=100 nb_sec=633 case_no=87 label=Case6.75 nb_sol=0 ticks=77345 tps=100 nb_sec=773 case_no=87 label=Case6.75 nb_sol=0 ticks=76266 tps=100 nb_sec=762 case_no=87 label=Case6.75 nb_sol=0 ticks=113648 tps=100 nb_sec=1136 case_no=87 label=Case6.75 nb_sol=0 ticks=41201 tps=100 nb_sec=412 case_no=87 label=Case6.75 nb_sol=0 ticks=107800 tps=100 nb_sec=1078 case_no=87 label=Case6.75 nb_sol=0 ticks=90163 tps=100 nb_sec=901 case_no=87 label=Case6.75 nb_sol=0 ticks=87609 tps=100 nb_sec=876 case_no=87 label=Case6.75 nb_sol=0 ticks=40796 tps=100 nb_sec=407 case_no=87 label=Case6.75 nb_sol=0 ticks=86070 tps=100 nb_sec=860 case_no=87 label=Case6.75 nb_sol=0 ticks=69904 tps=100 nb_sec=699 case_no=87 label=Case6.75 nb_sol=0 ticks=73163 tps=100 nb_sec=731 case_no=87 label=Case6.75 nb_sol=0 ticks=74795 tps=100 nb_sec=747 case_no=87 label=Case6.75 nb_sol=0 ticks=135040 tps=100 nb_sec=1350 case_no=87 label=Case6.75 nb_sol=0 ticks=86408 tps=100 nb_sec=864 case_no=87 label=Case6.75 nb_sol=0 ticks=96620 tps=100 nb_sec=966 case_no=87 label=Case6.75 nb_sol=0 ticks=73655 tps=100 nb_sec=736 case_no=87 label=Case6.75 nb_sol=0 ticks=81791 tps=100 nb_sec=817 case_no=87 label=Case6.75 nb_sol=0 ticks=78803 tps=100 nb_sec=788 case_no=87 label=Case6.75 nb_sol=0 ticks=86229 tps=100 nb_sec=862 case_no=87 label=Case6.75 nb_sol=0 ticks=144776 tps=100 nb_sec=1447 case_no=87 label=Case6.75 nb_sol=0 ticks=93650 tps=100 nb_sec=936 case_no=87 label=Case6.75 nb_sol=0 ticks=109874 tps=100 nb_sec=1098 case_no=87 label=Case6.75 nb_sol=0 ticks=78911 tps=100 nb_sec=789 case_no=87 label=Case6.75 nb_sol=0 ticks=100129 tps=100 nb_sec=1001 case_no=87 label=Case6.75 nb_sol=0 ticks=76748 tps=100 nb_sec=767 case_no=87 label=Case6.75 nb_sol=0 ticks=138264 tps=100 nb_sec=1382 case_no=87 label=Case6.75 nb_sol=0 ticks=92608 tps=100 nb_sec=926 case_no=87 label=Case6.75 nb_sol=0 ticks=132141 tps=100 nb_sec=1321 case_no=87 label=Case6.75 nb_sol=0 ticks=83878 tps=100 nb_sec=838 case_no=87 label=Case6.75 nb_sol=0 ticks=87247 tps=100 nb_sec=872 case_no=87 label=Case6.75 nb_sol=0 ticks=85244 tps=100 nb_sec=852 case_no=87 label=Case6.75 nb_sol=0 ticks=72814 tps=100 nb_sec=728 case_no=87 label=Case6.75 nb_sol=0 ticks=71107 tps=100 nb_sec=711 case_no=87 label=Case6.75 nb_sol=0 ticks=59783 tps=100 nb_sec=597 case_no=87 label=Case6.75 nb_sol=0 ticks=104560 tps=100 nb_sec=1045 case_no=87 label=Case6.75 nb_sol=0 ticks=102187 tps=100 nb_sec=1021 case_no=87 label=Case6.75 nb_sol=0 ticks=87302 tps=100 nb_sec=873 case_no=87 label=Case6.75 nb_sol=0 ticks=90647 tps=100 nb_sec=906 case_no=87 label=Case6.75 nb_sol=0 ticks=85209 tps=100 nb_sec=852 case_no=87 label=Case6.75 nb_sol=0 ticks=87979 tps=100 nb_sec=879 case_no=87 label=Case6.75 nb_sol=0 ticks=80489 tps=100 nb_sec=804 case_no=87 label=Case6.75 nb_sol=0 ticks=67306 tps=100 nb_sec=673 case_no=87 label=Case6.75 nb_sol=0 ticks=81799 tps=100 nb_sec=817 case_no=87 label=Case6.75 nb_sol=0 ticks=97514 tps=100 nb_sec=975 case_no=87 label=Case6.75 nb_sol=0 ticks=107541 tps=100 nb_sec=1075 case_no=87 label=Case6.75 nb_sol=0 ticks=87993 tps=100 nb_sec=879 case_no=87 label=Case6.75 nb_sol=0 ticks=75369 tps=100 nb_sec=753 case_no=87 label=Case6.75 nb_sol=0 ticks=77382 tps=100 nb_sec=773 case_no=87 label=Case6.75 nb_sol=0 ticks=97196 tps=100 nb_sec=971 case_no=87 label=Case6.75 nb_sol=0 ticks=88822 tps=100 nb_sec=888 case_no=87 label=Case6.75 nb_sol=0 ticks=95294 tps=100 nb_sec=952 case_no=87 label=Case6.75 nb_sol=0 ticks=90089 tps=100 nb_sec=900 case_no=87 label=Case6.75 nb_sol=0 ticks=94873 tps=100 nb_sec=948 case_no=87 label=Case6.75 nb_sol=0 ticks=107236 tps=100 nb_sec=1072 case_no=87 label=Case6.75 nb_sol=0 ticks=90781 tps=100 nb_sec=907 case_no=87 label=Case6.75 nb_sol=0 ticks=112248 tps=100 nb_sec=1122 case_no=87 label=Case6.75 nb_sol=0 ticks=100467 tps=100 nb_sec=1004 case_no=87 label=Case6.75 nb_sol=0 ticks=88649 tps=100 nb_sec=886 case_no=87 label=Case6.75 nb_sol=0 ticks=127899 tps=100 nb_sec=1278 case_no=87 label=Case6.75 nb_sol=0 ticks=69573 tps=100 nb_sec=695 case_no=87 label=Case6.75 nb_sol=0 ticks=80872 tps=100 nb_sec=808 case_no=87 label=Case6.75 nb_sol=0 ticks=96324 tps=100 nb_sec=963 case_no=87 label=Case6.75 nb_sol=0 ticks=82539 tps=100 nb_sec=825 case_no=87 label=Case6.75 nb_sol=0 ticks=76383 tps=100 nb_sec=763 case_no=87 label=Case6.75 nb_sol=0 ticks=130030 tps=100 nb_sec=1300 case_no=87 label=Case6.75 nb_sol=0 ticks=106159 tps=100 nb_sec=1061 case_no=87 label=Case6.75 nb_sol=0 ticks=90650 tps=100 nb_sec=906 case_no=87 label=Case6.75 nb_sol=0 ticks=81409 tps=100 nb_sec=814 case_no=87 label=Case6.75 nb_sol=0 ticks=97626 tps=100 nb_sec=976 case_no=87 label=Case6.75 nb_sol=0 ticks=104400 tps=100 nb_sec=1044 case_no=87 label=Case6.75 nb_sol=0 ticks=72576 tps=100 nb_sec=725 case_no=87 label=Case6.75 nb_sol=0 ticks=109993 tps=100 nb_sec=1099 case_no=87 label=Case6.75 nb_sol=0 ticks=82013 tps=100 nb_sec=820 case_no=87 label=Case6.75 nb_sol=0 ticks=85991 tps=100 nb_sec=859 case_no=87 label=Case6.75 nb_sol=0 ticks=77318 tps=100 nb_sec=773 case_no=87 label=Case6.75 nb_sol=0 ticks=78512 tps=100 nb_sec=785 case_no=87 label=Case6.75 nb_sol=0 ticks=80937 tps=100 nb_sec=809 case_no=87 label=Case6.75 nb_sol=0 ticks=68862 tps=100 nb_sec=688 case_no=87 label=Case6.75 nb_sol=0 ticks=120703 tps=100 nb_sec=1207 case_no=87 label=Case6.75 nb_sol=0 ticks=57650 tps=100 nb_sec=576 case_no=87 label=Case6.75 nb_sol=0 ticks=98035 tps=100 nb_sec=980 case_no=87 label=Case6.75 nb_sol=0 ticks=64637 tps=100 nb_sec=646 case_no=87 label=Case6.75 nb_sol=0 ticks=77275 tps=100 nb_sec=772 case_no=87 label=Case6.75 nb_sol=0 ticks=76334 tps=100 nb_sec=763 case_no=87 label=Case6.75 nb_sol=0 ticks=109683 tps=100 nb_sec=1096 case_no=87 label=Case6.75 nb_sol=0 ticks=90544 tps=100 nb_sec=905 case_no=87 label=Case6.75 nb_sol=0 ticks=72555 tps=100 nb_sec=725 case_no=87 label=Case6.75 nb_sol=0 ticks=66591 tps=100 nb_sec=665 case_no=87 label=Case6.75 nb_sol=0 ticks=78001 tps=100 nb_sec=780 case_no=87 label=Case6.75 nb_sol=0 ticks=82537 tps=100 nb_sec=825 case_no=87 label=Case6.75 nb_sol=0 ticks=59866 tps=100 nb_sec=598 case_no=87 label=Case6.75 nb_sol=0 ticks=72767 tps=100 nb_sec=727 case_no=87 label=Case6.75 nb_sol=0 ticks=113728 tps=100 nb_sec=1137 case_no=87 label=Case6.75 nb_sol=0 ticks=67381 tps=100 nb_sec=673 case_no=87 label=Case6.75 nb_sol=0 ticks=61128 tps=100 nb_sec=611 case_no=87 label=Case6.75 nb_sol=0 ticks=87114 tps=100 nb_sec=871 case_no=87 label=Case6.75 nb_sol=0 ticks=80684 tps=100 nb_sec=806 case_no=87 label=Case6.75 nb_sol=0 ticks=64321 tps=100 nb_sec=643 case_no=87 label=Case6.75 nb_sol=0 ticks=41571 tps=100 nb_sec=415 case_no=87 label=Case6.75 nb_sol=0 ticks=93177 tps=100 nb_sec=931 case_no=87 label=Case6.75 nb_sol=0 ticks=85459 tps=100 nb_sec=854 case_no=87 label=Case6.75 nb_sol=0 ticks=107598 tps=100 nb_sec=1075 case_no=87 label=Case6.75 nb_sol=0 ticks=35795 tps=100 nb_sec=357 case_no=87 label=Case6.75 nb_sol=0 ticks=72515 tps=100 nb_sec=725 case_no=87 label=Case6.75 nb_sol=0 ticks=73424 tps=100 nb_sec=734 case_no=87 label=Case6.75 nb_sol=0 ticks=39997 tps=100 nb_sec=399 case_no=87 label=Case6.75 nb_sol=0 ticks=78224 tps=100 nb_sec=782 case_no=87 label=Case6.75 nb_sol=0 ticks=81449 tps=100 nb_sec=814 case_no=87 label=Case6.75 nb_sol=0 ticks=108710 tps=100 nb_sec=1087 case_no=87 label=Case6.75 nb_sol=0 ticks=64027 tps=100 nb_sec=640 case_no=87 label=Case6.75 nb_sol=0 ticks=90314 tps=100 nb_sec=903 case_no=87 label=Case6.75 nb_sol=0 ticks=94812 tps=100 nb_sec=948 case_no=87 label=Case6.75 nb_sol=0 ticks=92122 tps=100 nb_sec=921 case_no=87 label=Case6.75 nb_sol=0 ticks=87707 tps=100 nb_sec=877 case_no=87 label=Case6.75 nb_sol=0 ticks=62514 tps=100 nb_sec=625 case_no=87 label=Case6.75 nb_sol=0 ticks=110963 tps=100 nb_sec=1109 case_no=87 label=Case6.75 nb_sol=0 ticks=122744 tps=100 nb_sec=1227 case_no=87 label=Case6.75 nb_sol=0 ticks=51838 tps=100 nb_sec=518 case_no=87 label=Case6.75 nb_sol=0 ticks=52784 tps=100 nb_sec=527 case_no=87 label=Case6.75 nb_sol=0 ticks=90765 tps=100 nb_sec=907 case_no=87 label=Case6.75 nb_sol=0 ticks=94439 tps=100 nb_sec=944 case_no=87 label=Case6.75 nb_sol=0 ticks=121709 tps=100 nb_sec=1217 case_no=87 label=Case6.75 nb_sol=0 ticks=82718 tps=100 nb_sec=827 case_no=87 label=Case6.75 nb_sol=0 ticks=108277 tps=100 nb_sec=1082 case_no=87 label=Case6.75 nb_sol=0 ticks=99511 tps=100 nb_sec=995 case_no=87 label=Case6.75 nb_sol=0 ticks=85586 tps=100 nb_sec=855 case_no=87 label=Case6.75 nb_sol=0 ticks=90760 tps=100 nb_sec=907 case_no=87 label=Case6.75 nb_sol=0 ticks=39339 tps=100 nb_sec=393 case_no=87 label=Case6.75 nb_sol=0 ticks=68640 tps=100 nb_sec=686 case_no=87 label=Case6.75 nb_sol=0 ticks=81211 tps=100 nb_sec=812 case_no=87 label=Case6.75 nb_sol=0 ticks=77250 tps=100 nb_sec=772 case_no=87 label=Case6.75 nb_sol=0 ticks=43404 tps=100 nb_sec=434 case_no=87 label=Case6.75 nb_sol=0 ticks=97131 tps=100 nb_sec=971 case_no=87 label=Case6.75 nb_sol=0 ticks=99947 tps=100 nb_sec=999 case_no=87 label=Case6.75 nb_sol=0 ticks=80344 tps=100 nb_sec=803 case_no=87 label=Case6.75 nb_sol=0 ticks=82504 tps=100 nb_sec=825 case_no=87 label=Case6.75 nb_sol=0 ticks=76015 tps=100 nb_sec=760 case_no=87 label=Case6.75 nb_sol=0 ticks=81317 tps=100 nb_sec=813 case_no=87 label=Case6.75 nb_sol=0 ticks=104680 tps=100 nb_sec=1046 case_no=87 label=Case6.75 nb_sol=0 ticks=118172 tps=100 nb_sec=1181 case_no=87 label=Case6.75 nb_sol=0 ticks=103628 tps=100 nb_sec=1036 case_no=87 label=Case6.75 nb_sol=0 ticks=128782 tps=100 nb_sec=1287 case_no=87 label=Case6.75 nb_sol=0 ticks=109491 tps=100 nb_sec=1094 case_no=87 label=Case6.75 nb_sol=0 ticks=108601 tps=100 nb_sec=1086 case_no=87 label=Case6.75 nb_sol=0 ticks=87306 tps=100 nb_sec=873 case_no=87 label=Case6.75 nb_sol=0 ticks=91697 tps=100 nb_sec=916 case_no=87 label=Case6.75 nb_sol=0 ticks=79385 tps=100 nb_sec=793 case_no=87 label=Case6.75 nb_sol=0 ticks=93732 tps=100 nb_sec=937 case_no=87 label=Case6.75 nb_sol=0 ticks=81077 tps=100 nb_sec=810 case_no=87 label=Case6.75 nb_sol=0 ticks=97930 tps=100 nb_sec=979 case_no=87 label=Case6.75 nb_sol=0 ticks=103293 tps=100 nb_sec=1032 case_no=87 label=Case6.75 nb_sol=0 ticks=104703 tps=100 nb_sec=1047 case_no=87 label=Case6.75 nb_sol=0 ticks=127206 tps=100 nb_sec=1272 case_no=87 label=Case6.75 nb_sol=0 ticks=94944 tps=100 nb_sec=949 case_no=87 label=Case6.75 nb_sol=0 ticks=105715 tps=100 nb_sec=1057 case_no=87 label=Case6.75 nb_sol=0 ticks=72276 tps=100 nb_sec=722 case_no=87 label=Case6.75 nb_sol=0 ticks=83451 tps=100 nb_sec=834 case_no=87 label=Case6.75 nb_sol=0 ticks=71985 tps=100 nb_sec=719 case_no=87 label=Case6.75 nb_sol=0 ticks=103337 tps=100 nb_sec=1033 case_no=87 label=Case6.75 nb_sol=0 ticks=91650 tps=100 nb_sec=916 case_no=87 label=Case6.75 nb_sol=0 ticks=70631 tps=100 nb_sec=706 case_no=87 label=Case6.75 nb_sol=0 ticks=127962 tps=100 nb_sec=1279 case_no=87 label=Case6.75 nb_sol=0 ticks=91328 tps=100 nb_sec=913 case_no=87 label=Case6.75 nb_sol=0 ticks=97192 tps=100 nb_sec=971 case_no=87 label=Case6.75 nb_sol=0 ticks=80791 tps=100 nb_sec=807 case_no=87 label=Case6.75 nb_sol=0 ticks=91042 tps=100 nb_sec=910 case_no=87 label=Case6.75 nb_sol=0 ticks=137109 tps=100 nb_sec=1371 case_no=87 label=Case6.75 nb_sol=0 ticks=59879 tps=100 nb_sec=598 case_no=87 label=Case6.75 nb_sol=0 ticks=67968 tps=100 nb_sec=679 case_no=87 label=Case6.75 nb_sol=0 ticks=99414 tps=100 nb_sec=994 case_no=87 label=Case6.75 nb_sol=0 ticks=84714 tps=100 nb_sec=847 case_no=87 label=Case6.75 nb_sol=0 ticks=93399 tps=100 nb_sec=933 case_no=87 label=Case6.75 nb_sol=0 ticks=97588 tps=100 nb_sec=975 case_no=87 label=Case6.75 nb_sol=0 ticks=89102 tps=100 nb_sec=891 case_no=87 label=Case6.75 nb_sol=0 ticks=111174 tps=100 nb_sec=1111 case_no=87 label=Case6.75 nb_sol=0 ticks=109792 tps=100 nb_sec=1097 case_no=87 label=Case6.75 nb_sol=0 ticks=82357 tps=100 nb_sec=823 case_no=87 label=Case6.75 nb_sol=0 ticks=64546 tps=100 nb_sec=645 case_no=87 label=Case6.75 nb_sol=0 ticks=80483 tps=100 nb_sec=804 case_no=87 label=Case6.75 nb_sol=0 ticks=119665 tps=100 nb_sec=1196 case_no=87 label=Case6.75 nb_sol=0 ticks=102920 tps=100 nb_sec=1029 case_no=87 label=Case6.75 nb_sol=0 ticks=94192 tps=100 nb_sec=941 case_no=87 label=Case6.75 nb_sol=0 ticks=75868 tps=100 nb_sec=758 case_no=87 label=Case6.75 nb_sol=0 ticks=72181 tps=100 nb_sec=721 case_no=87 label=Case6.75 nb_sol=0 ticks=71620 tps=100 nb_sec=716 case_no=87 label=Case6.75 nb_sol=0 ticks=69344 tps=100 nb_sec=693 case_no=87 label=Case6.75 nb_sol=0 ticks=84831 tps=100 nb_sec=848 case_no=87 label=Case6.75 nb_sol=0 ticks=70621 tps=100 nb_sec=706 case_no=87 label=Case6.75 nb_sol=0 ticks=80511 tps=100 nb_sec=805 case_no=87 label=Case6.75 nb_sol=0 ticks=138887 tps=100 nb_sec=1388 case_no=87 label=Case6.75 nb_sol=0 ticks=119704 tps=100 nb_sec=1197 case_no=87 label=Case6.75 nb_sol=0 ticks=107519 tps=100 nb_sec=1075 case_no=87 label=Case6.75 nb_sol=0 ticks=68120 tps=100 nb_sec=681 case_no=87 label=Case6.75 nb_sol=0 ticks=61612 tps=100 nb_sec=616 case_no=87 label=Case6.75 nb_sol=0 ticks=142750 tps=100 nb_sec=1427 case_no=87 label=Case6.75 nb_sol=0 ticks=103841 tps=100 nb_sec=1038 case_no=87 label=Case6.75 nb_sol=0 ticks=106324 tps=100 nb_sec=1063 case_no=87 label=Case6.75 nb_sol=0 ticks=105811 tps=100 nb_sec=1058 case_no=87 label=Case6.75 nb_sol=0 ticks=99266 tps=100 nb_sec=992 case_no=87 label=Case6.75 nb_sol=0 ticks=140790 tps=100 nb_sec=1407 case_no=87 label=Case6.75 nb_sol=0 ticks=133063 tps=100 nb_sec=1330 case_no=87 label=Case6.75 nb_sol=0 ticks=89534 tps=100 nb_sec=895 case_no=87 label=Case6.75 nb_sol=0 ticks=87605 tps=100 nb_sec=876 case_no=87 label=Case6.75 nb_sol=0 ticks=84310 tps=100 nb_sec=843 case_no=87 label=Case6.75 nb_sol=0 ticks=108461 tps=100 nb_sec=1084 case_no=87 label=Case6.75 nb_sol=0 ticks=77518 tps=100 nb_sec=775 case_no=87 label=Case6.75 nb_sol=0 ticks=100094 tps=100 nb_sec=1000 case_no=87 label=Case6.75 nb_sol=0 ticks=95781 tps=100 nb_sec=957 case_no=87 label=Case6.75 nb_sol=0 ticks=76815 tps=100 nb_sec=768 case_no=87 label=Case6.75 nb_sol=0 ticks=79943 tps=100 nb_sec=799 case_no=87 label=Case6.75 nb_sol=0 ticks=79582 tps=100 nb_sec=795 case_no=87 label=Case6.75 nb_sol=0 ticks=68109 tps=100 nb_sec=681 case_no=87 label=Case6.75 nb_sol=0 ticks=115473 tps=100 nb_sec=1154 case_no=87 label=Case6.75 nb_sol=0 ticks=58030 tps=100 nb_sec=580 case_no=87 label=Case6.75 nb_sol=0 ticks=56377 tps=100 nb_sec=563 case_no=87 label=Case6.75 nb_sol=0 ticks=61470 tps=100 nb_sec=614 case_no=87 label=Case6.75 nb_sol=0 ticks=80686 tps=100 nb_sec=806 case_no=87 label=Case6.75 nb_sol=0 ticks=64254 tps=100 nb_sec=642 case_no=87 label=Case6.75 nb_sol=0 ticks=67403 tps=100 nb_sec=674 case_no=87 label=Case6.75 nb_sol=0 ticks=61738 tps=100 nb_sec=617 case_no=87 label=Case6.75 nb_sol=0 ticks=80054 tps=100 nb_sec=800 case_no=87 label=Case6.75 nb_sol=0 ticks=115897 tps=100 nb_sec=1158 case_no=87 label=Case6.75 nb_sol=0 ticks=79642 tps=100 nb_sec=796 case_no=87 label=Case6.75 nb_sol=0 ticks=106544 tps=100 nb_sec=1065 case_no=87 label=Case6.75 nb_sol=0 ticks=88925 tps=100 nb_sec=889 case_no=87 label=Case6.75 nb_sol=0 ticks=83707 tps=100 nb_sec=837 case_no=87 label=Case6.75 nb_sol=0 ticks=85528 tps=100 nb_sec=855 case_no=87 label=Case6.75 nb_sol=0 ticks=78611 tps=100 nb_sec=786 case_no=87 label=Case6.75 nb_sol=0 ticks=88686 tps=100 nb_sec=886 case_no=87 label=Case6.75 nb_sol=0 ticks=65015 tps=100 nb_sec=650 case_no=87 label=Case6.75 nb_sol=0 ticks=73455 tps=100 nb_sec=734 case_no=87 label=Case6.75 nb_sol=0 ticks=96149 tps=100 nb_sec=961 case_no=87 label=Case6.75 nb_sol=0 ticks=158212 tps=100 nb_sec=1582 Nb_sol=0 Nb_sec=451101 5-5:18:21 or 125 hours missing cases: none