argc=5 -M 256 file2=30_select_Case6.65_starter_16_ checking files mod 256 from 0 to 255 case_no=77 label=Case6.65 nb_sol=0 ticks=82573 tps=100 nb_sec=825 case_no=77 label=Case6.65 nb_sol=0 ticks=78917 tps=100 nb_sec=789 case_no=77 label=Case6.65 nb_sol=0 ticks=125964 tps=100 nb_sec=1259 case_no=77 label=Case6.65 nb_sol=0 ticks=117993 tps=100 nb_sec=1179 case_no=77 label=Case6.65 nb_sol=0 ticks=56792 tps=100 nb_sec=567 case_no=77 label=Case6.65 nb_sol=0 ticks=126501 tps=100 nb_sec=1265 case_no=77 label=Case6.65 nb_sol=0 ticks=106069 tps=100 nb_sec=1060 case_no=77 label=Case6.65 nb_sol=0 ticks=146260 tps=100 nb_sec=1462 case_no=77 label=Case6.65 nb_sol=0 ticks=83451 tps=100 nb_sec=834 case_no=77 label=Case6.65 nb_sol=0 ticks=141178 tps=100 nb_sec=1411 case_no=77 label=Case6.65 nb_sol=0 ticks=55648 tps=100 nb_sec=556 case_no=77 label=Case6.65 nb_sol=0 ticks=117157 tps=100 nb_sec=1171 case_no=77 label=Case6.65 nb_sol=0 ticks=58698 tps=100 nb_sec=586 case_no=77 label=Case6.65 nb_sol=0 ticks=99887 tps=100 nb_sec=998 case_no=77 label=Case6.65 nb_sol=0 ticks=114300 tps=100 nb_sec=1143 case_no=77 label=Case6.65 nb_sol=0 ticks=89320 tps=100 nb_sec=893 case_no=77 label=Case6.65 nb_sol=0 ticks=104064 tps=100 nb_sec=1040 case_no=77 label=Case6.65 nb_sol=0 ticks=79542 tps=100 nb_sec=795 case_no=77 label=Case6.65 nb_sol=0 ticks=59379 tps=100 nb_sec=593 case_no=77 label=Case6.65 nb_sol=0 ticks=62972 tps=100 nb_sec=629 case_no=77 label=Case6.65 nb_sol=0 ticks=111338 tps=100 nb_sec=1113 case_no=77 label=Case6.65 nb_sol=0 ticks=135048 tps=100 nb_sec=1350 case_no=77 label=Case6.65 nb_sol=0 ticks=127331 tps=100 nb_sec=1273 case_no=77 label=Case6.65 nb_sol=0 ticks=127929 tps=100 nb_sec=1279 case_no=77 label=Case6.65 nb_sol=0 ticks=75100 tps=100 nb_sec=751 case_no=77 label=Case6.65 nb_sol=0 ticks=76623 tps=100 nb_sec=766 case_no=77 label=Case6.65 nb_sol=0 ticks=138643 tps=100 nb_sec=1386 case_no=77 label=Case6.65 nb_sol=0 ticks=84783 tps=100 nb_sec=847 case_no=77 label=Case6.65 nb_sol=0 ticks=139204 tps=100 nb_sec=1392 case_no=77 label=Case6.65 nb_sol=0 ticks=142443 tps=100 nb_sec=1424 case_no=77 label=Case6.65 nb_sol=0 ticks=118486 tps=100 nb_sec=1184 case_no=77 label=Case6.65 nb_sol=0 ticks=113283 tps=100 nb_sec=1132 case_no=77 label=Case6.65 nb_sol=0 ticks=121614 tps=100 nb_sec=1216 case_no=77 label=Case6.65 nb_sol=0 ticks=170082 tps=100 nb_sec=1700 case_no=77 label=Case6.65 nb_sol=0 ticks=74484 tps=100 nb_sec=744 case_no=77 label=Case6.65 nb_sol=0 ticks=133464 tps=100 nb_sec=1334 case_no=77 label=Case6.65 nb_sol=0 ticks=118804 tps=100 nb_sec=1188 case_no=77 label=Case6.65 nb_sol=0 ticks=124670 tps=100 nb_sec=1246 case_no=77 label=Case6.65 nb_sol=0 ticks=116046 tps=100 nb_sec=1160 case_no=77 label=Case6.65 nb_sol=0 ticks=138337 tps=100 nb_sec=1383 case_no=77 label=Case6.65 nb_sol=0 ticks=80821 tps=100 nb_sec=808 case_no=77 label=Case6.65 nb_sol=0 ticks=65128 tps=100 nb_sec=651 case_no=77 label=Case6.65 nb_sol=0 ticks=149934 tps=100 nb_sec=1499 case_no=77 label=Case6.65 nb_sol=0 ticks=136220 tps=100 nb_sec=1362 case_no=77 label=Case6.65 nb_sol=0 ticks=88731 tps=100 nb_sec=887 case_no=77 label=Case6.65 nb_sol=0 ticks=107087 tps=100 nb_sec=1070 case_no=77 label=Case6.65 nb_sol=0 ticks=124645 tps=100 nb_sec=1246 case_no=77 label=Case6.65 nb_sol=0 ticks=80118 tps=100 nb_sec=801 case_no=77 label=Case6.65 nb_sol=0 ticks=136821 tps=100 nb_sec=1368 case_no=77 label=Case6.65 nb_sol=0 ticks=141435 tps=100 nb_sec=1414 case_no=77 label=Case6.65 nb_sol=0 ticks=128207 tps=100 nb_sec=1282 case_no=77 label=Case6.65 nb_sol=0 ticks=85086 tps=100 nb_sec=850 case_no=77 label=Case6.65 nb_sol=0 ticks=168740 tps=100 nb_sec=1687 case_no=77 label=Case6.65 nb_sol=0 ticks=106023 tps=100 nb_sec=1060 case_no=77 label=Case6.65 nb_sol=0 ticks=137788 tps=100 nb_sec=1377 case_no=77 label=Case6.65 nb_sol=0 ticks=85891 tps=100 nb_sec=858 case_no=77 label=Case6.65 nb_sol=0 ticks=125754 tps=100 nb_sec=1257 case_no=77 label=Case6.65 nb_sol=0 ticks=100633 tps=100 nb_sec=1006 case_no=77 label=Case6.65 nb_sol=0 ticks=120906 tps=100 nb_sec=1209 case_no=77 label=Case6.65 nb_sol=0 ticks=123682 tps=100 nb_sec=1236 case_no=77 label=Case6.65 nb_sol=0 ticks=56851 tps=100 nb_sec=568 case_no=77 label=Case6.65 nb_sol=0 ticks=160687 tps=100 nb_sec=1606 case_no=77 label=Case6.65 nb_sol=0 ticks=117810 tps=100 nb_sec=1178 case_no=77 label=Case6.65 nb_sol=0 ticks=96436 tps=100 nb_sec=964 case_no=77 label=Case6.65 nb_sol=0 ticks=165325 tps=100 nb_sec=1653 case_no=77 label=Case6.65 nb_sol=0 ticks=62036 tps=100 nb_sec=620 case_no=77 label=Case6.65 nb_sol=0 ticks=139868 tps=100 nb_sec=1398 case_no=77 label=Case6.65 nb_sol=0 ticks=100058 tps=100 nb_sec=1000 case_no=77 label=Case6.65 nb_sol=0 ticks=93312 tps=100 nb_sec=933 case_no=77 label=Case6.65 nb_sol=0 ticks=92867 tps=100 nb_sec=928 case_no=77 label=Case6.65 nb_sol=0 ticks=92831 tps=100 nb_sec=928 case_no=77 label=Case6.65 nb_sol=0 ticks=95580 tps=100 nb_sec=955 case_no=77 label=Case6.65 nb_sol=0 ticks=147173 tps=100 nb_sec=1471 case_no=77 label=Case6.65 nb_sol=0 ticks=109447 tps=100 nb_sec=1094 case_no=77 label=Case6.65 nb_sol=0 ticks=110967 tps=100 nb_sec=1109 case_no=77 label=Case6.65 nb_sol=0 ticks=109471 tps=100 nb_sec=1094 case_no=77 label=Case6.65 nb_sol=0 ticks=81466 tps=100 nb_sec=814 case_no=77 label=Case6.65 nb_sol=0 ticks=66056 tps=100 nb_sec=660 case_no=77 label=Case6.65 nb_sol=0 ticks=172556 tps=100 nb_sec=1725 case_no=77 label=Case6.65 nb_sol=0 ticks=103069 tps=100 nb_sec=1030 case_no=77 label=Case6.65 nb_sol=0 ticks=133471 tps=100 nb_sec=1334 case_no=77 label=Case6.65 nb_sol=0 ticks=141378 tps=100 nb_sec=1413 case_no=77 label=Case6.65 nb_sol=0 ticks=142418 tps=100 nb_sec=1424 case_no=77 label=Case6.65 nb_sol=0 ticks=67029 tps=100 nb_sec=670 case_no=77 label=Case6.65 nb_sol=0 ticks=145174 tps=100 nb_sec=1451 case_no=77 label=Case6.65 nb_sol=0 ticks=142765 tps=100 nb_sec=1427 case_no=77 label=Case6.65 nb_sol=0 ticks=129478 tps=100 nb_sec=1294 case_no=77 label=Case6.65 nb_sol=0 ticks=107893 tps=100 nb_sec=1078 case_no=77 label=Case6.65 nb_sol=0 ticks=128868 tps=100 nb_sec=1288 case_no=77 label=Case6.65 nb_sol=0 ticks=136987 tps=100 nb_sec=1369 case_no=77 label=Case6.65 nb_sol=0 ticks=125411 tps=100 nb_sec=1254 case_no=77 label=Case6.65 nb_sol=0 ticks=118475 tps=100 nb_sec=1184 case_no=77 label=Case6.65 nb_sol=0 ticks=131268 tps=100 nb_sec=1312 case_no=77 label=Case6.65 nb_sol=0 ticks=123076 tps=100 nb_sec=1230 case_no=77 label=Case6.65 nb_sol=0 ticks=141942 tps=100 nb_sec=1419 case_no=77 label=Case6.65 nb_sol=0 ticks=173366 tps=100 nb_sec=1733 case_no=77 label=Case6.65 nb_sol=0 ticks=121697 tps=100 nb_sec=1216 case_no=77 label=Case6.65 nb_sol=0 ticks=78516 tps=100 nb_sec=785 case_no=77 label=Case6.65 nb_sol=0 ticks=105476 tps=100 nb_sec=1054 case_no=77 label=Case6.65 nb_sol=0 ticks=143213 tps=100 nb_sec=1432 case_no=77 label=Case6.65 nb_sol=0 ticks=125390 tps=100 nb_sec=1253 case_no=77 label=Case6.65 nb_sol=0 ticks=68152 tps=100 nb_sec=681 case_no=77 label=Case6.65 nb_sol=0 ticks=104919 tps=100 nb_sec=1049 case_no=77 label=Case6.65 nb_sol=0 ticks=192960 tps=100 nb_sec=1929 case_no=77 label=Case6.65 nb_sol=0 ticks=124164 tps=100 nb_sec=1241 case_no=77 label=Case6.65 nb_sol=0 ticks=97490 tps=100 nb_sec=974 case_no=77 label=Case6.65 nb_sol=0 ticks=108575 tps=100 nb_sec=1085 case_no=77 label=Case6.65 nb_sol=0 ticks=150038 tps=100 nb_sec=1500 case_no=77 label=Case6.65 nb_sol=0 ticks=125413 tps=100 nb_sec=1254 case_no=77 label=Case6.65 nb_sol=0 ticks=96693 tps=100 nb_sec=966 case_no=77 label=Case6.65 nb_sol=0 ticks=103067 tps=100 nb_sec=1030 case_no=77 label=Case6.65 nb_sol=0 ticks=143626 tps=100 nb_sec=1436 case_no=77 label=Case6.65 nb_sol=0 ticks=126724 tps=100 nb_sec=1267 case_no=77 label=Case6.65 nb_sol=0 ticks=64508 tps=100 nb_sec=645 case_no=77 label=Case6.65 nb_sol=0 ticks=132552 tps=100 nb_sec=1325 case_no=77 label=Case6.65 nb_sol=0 ticks=136938 tps=100 nb_sec=1369 case_no=77 label=Case6.65 nb_sol=0 ticks=97027 tps=100 nb_sec=970 case_no=77 label=Case6.65 nb_sol=0 ticks=101021 tps=100 nb_sec=1010 case_no=77 label=Case6.65 nb_sol=0 ticks=71386 tps=100 nb_sec=713 case_no=77 label=Case6.65 nb_sol=0 ticks=140311 tps=100 nb_sec=1403 case_no=77 label=Case6.65 nb_sol=0 ticks=132108 tps=100 nb_sec=1321 case_no=77 label=Case6.65 nb_sol=0 ticks=82697 tps=100 nb_sec=826 case_no=77 label=Case6.65 nb_sol=0 ticks=94178 tps=100 nb_sec=941 case_no=77 label=Case6.65 nb_sol=0 ticks=121761 tps=100 nb_sec=1217 case_no=77 label=Case6.65 nb_sol=0 ticks=124157 tps=100 nb_sec=1241 case_no=77 label=Case6.65 nb_sol=0 ticks=189152 tps=100 nb_sec=1891 case_no=77 label=Case6.65 nb_sol=0 ticks=108552 tps=100 nb_sec=1085 case_no=77 label=Case6.65 nb_sol=0 ticks=121610 tps=100 nb_sec=1216 case_no=77 label=Case6.65 nb_sol=0 ticks=170385 tps=100 nb_sec=1703 case_no=77 label=Case6.65 nb_sol=0 ticks=109326 tps=100 nb_sec=1093 case_no=77 label=Case6.65 nb_sol=0 ticks=136113 tps=100 nb_sec=1361 case_no=77 label=Case6.65 nb_sol=0 ticks=108767 tps=100 nb_sec=1087 case_no=77 label=Case6.65 nb_sol=0 ticks=154578 tps=100 nb_sec=1545 case_no=77 label=Case6.65 nb_sol=0 ticks=123490 tps=100 nb_sec=1234 case_no=77 label=Case6.65 nb_sol=0 ticks=58989 tps=100 nb_sec=589 case_no=77 label=Case6.65 nb_sol=0 ticks=150574 tps=100 nb_sec=1505 case_no=77 label=Case6.65 nb_sol=0 ticks=65279 tps=100 nb_sec=652 case_no=77 label=Case6.65 nb_sol=0 ticks=157170 tps=100 nb_sec=1571 case_no=77 label=Case6.65 nb_sol=0 ticks=110115 tps=100 nb_sec=1101 case_no=77 label=Case6.65 nb_sol=0 ticks=117692 tps=100 nb_sec=1176 case_no=77 label=Case6.65 nb_sol=0 ticks=84597 tps=100 nb_sec=845 case_no=77 label=Case6.65 nb_sol=0 ticks=155394 tps=100 nb_sec=1553 case_no=77 label=Case6.65 nb_sol=0 ticks=124500 tps=100 nb_sec=1245 case_no=77 label=Case6.65 nb_sol=0 ticks=70493 tps=100 nb_sec=704 case_no=77 label=Case6.65 nb_sol=0 ticks=99941 tps=100 nb_sec=999 case_no=77 label=Case6.65 nb_sol=0 ticks=184025 tps=100 nb_sec=1840 case_no=77 label=Case6.65 nb_sol=0 ticks=122260 tps=100 nb_sec=1222 case_no=77 label=Case6.65 nb_sol=0 ticks=92176 tps=100 nb_sec=921 case_no=77 label=Case6.65 nb_sol=0 ticks=87067 tps=100 nb_sec=870 case_no=77 label=Case6.65 nb_sol=0 ticks=115078 tps=100 nb_sec=1150 case_no=77 label=Case6.65 nb_sol=0 ticks=84900 tps=100 nb_sec=849 case_no=77 label=Case6.65 nb_sol=0 ticks=183077 tps=100 nb_sec=1830 case_no=77 label=Case6.65 nb_sol=0 ticks=116800 tps=100 nb_sec=1168 case_no=77 label=Case6.65 nb_sol=0 ticks=85283 tps=100 nb_sec=852 case_no=77 label=Case6.65 nb_sol=0 ticks=168011 tps=100 nb_sec=1680 case_no=77 label=Case6.65 nb_sol=0 ticks=76918 tps=100 nb_sec=769 case_no=77 label=Case6.65 nb_sol=0 ticks=78451 tps=100 nb_sec=784 case_no=77 label=Case6.65 nb_sol=0 ticks=151890 tps=100 nb_sec=1518 case_no=77 label=Case6.65 nb_sol=0 ticks=80967 tps=100 nb_sec=809 case_no=77 label=Case6.65 nb_sol=0 ticks=155393 tps=100 nb_sec=1553 case_no=77 label=Case6.65 nb_sol=0 ticks=69687 tps=100 nb_sec=696 case_no=77 label=Case6.65 nb_sol=0 ticks=154410 tps=100 nb_sec=1544 case_no=77 label=Case6.65 nb_sol=0 ticks=127260 tps=100 nb_sec=1272 case_no=77 label=Case6.65 nb_sol=0 ticks=133641 tps=100 nb_sec=1336 case_no=77 label=Case6.65 nb_sol=0 ticks=176203 tps=100 nb_sec=1762 case_no=77 label=Case6.65 nb_sol=0 ticks=67884 tps=100 nb_sec=678 case_no=77 label=Case6.65 nb_sol=0 ticks=62739 tps=100 nb_sec=627 case_no=77 label=Case6.65 nb_sol=0 ticks=85297 tps=100 nb_sec=852 case_no=77 label=Case6.65 nb_sol=0 ticks=156283 tps=100 nb_sec=1562 case_no=77 label=Case6.65 nb_sol=0 ticks=74383 tps=100 nb_sec=743 case_no=77 label=Case6.65 nb_sol=0 ticks=119737 tps=100 nb_sec=1197 case_no=77 label=Case6.65 nb_sol=0 ticks=162610 tps=100 nb_sec=1626 case_no=77 label=Case6.65 nb_sol=0 ticks=155066 tps=100 nb_sec=1550 case_no=77 label=Case6.65 nb_sol=0 ticks=161756 tps=100 nb_sec=1617 case_no=77 label=Case6.65 nb_sol=0 ticks=93283 tps=100 nb_sec=932 case_no=77 label=Case6.65 nb_sol=0 ticks=129196 tps=100 nb_sec=1291 case_no=77 label=Case6.65 nb_sol=0 ticks=58559 tps=100 nb_sec=585 case_no=77 label=Case6.65 nb_sol=0 ticks=129736 tps=100 nb_sec=1297 case_no=77 label=Case6.65 nb_sol=0 ticks=75882 tps=100 nb_sec=758 case_no=77 label=Case6.65 nb_sol=0 ticks=121654 tps=100 nb_sec=1216 case_no=77 label=Case6.65 nb_sol=0 ticks=158026 tps=100 nb_sec=1580 case_no=77 label=Case6.65 nb_sol=0 ticks=121577 tps=100 nb_sec=1215 case_no=77 label=Case6.65 nb_sol=0 ticks=87404 tps=100 nb_sec=874 case_no=77 label=Case6.65 nb_sol=0 ticks=186797 tps=100 nb_sec=1867 case_no=77 label=Case6.65 nb_sol=0 ticks=113815 tps=100 nb_sec=1138 case_no=77 label=Case6.65 nb_sol=0 ticks=124055 tps=100 nb_sec=1240 case_no=77 label=Case6.65 nb_sol=0 ticks=152619 tps=100 nb_sec=1526 case_no=77 label=Case6.65 nb_sol=0 ticks=100196 tps=100 nb_sec=1001 case_no=77 label=Case6.65 nb_sol=0 ticks=111617 tps=100 nb_sec=1116 case_no=77 label=Case6.65 nb_sol=0 ticks=85273 tps=100 nb_sec=852 case_no=77 label=Case6.65 nb_sol=0 ticks=58294 tps=100 nb_sec=582 case_no=77 label=Case6.65 nb_sol=0 ticks=164716 tps=100 nb_sec=1647 case_no=77 label=Case6.65 nb_sol=0 ticks=179462 tps=100 nb_sec=1794 case_no=77 label=Case6.65 nb_sol=0 ticks=119392 tps=100 nb_sec=1193 case_no=77 label=Case6.65 nb_sol=0 ticks=94812 tps=100 nb_sec=948 case_no=77 label=Case6.65 nb_sol=0 ticks=121649 tps=100 nb_sec=1216 case_no=77 label=Case6.65 nb_sol=0 ticks=175251 tps=100 nb_sec=1752 case_no=77 label=Case6.65 nb_sol=0 ticks=121058 tps=100 nb_sec=1210 case_no=77 label=Case6.65 nb_sol=0 ticks=119874 tps=100 nb_sec=1198 case_no=77 label=Case6.65 nb_sol=0 ticks=110583 tps=100 nb_sec=1105 case_no=77 label=Case6.65 nb_sol=0 ticks=120420 tps=100 nb_sec=1204 case_no=77 label=Case6.65 nb_sol=0 ticks=188947 tps=100 nb_sec=1889 case_no=77 label=Case6.65 nb_sol=0 ticks=129222 tps=100 nb_sec=1292 case_no=77 label=Case6.65 nb_sol=0 ticks=124033 tps=100 nb_sec=1240 case_no=77 label=Case6.65 nb_sol=0 ticks=120695 tps=100 nb_sec=1206 case_no=77 label=Case6.65 nb_sol=0 ticks=138106 tps=100 nb_sec=1381 case_no=77 label=Case6.65 nb_sol=0 ticks=107686 tps=100 nb_sec=1076 case_no=77 label=Case6.65 nb_sol=0 ticks=132858 tps=100 nb_sec=1328 case_no=77 label=Case6.65 nb_sol=0 ticks=128442 tps=100 nb_sec=1284 case_no=77 label=Case6.65 nb_sol=0 ticks=115095 tps=100 nb_sec=1150 case_no=77 label=Case6.65 nb_sol=0 ticks=108996 tps=100 nb_sec=1089 case_no=77 label=Case6.65 nb_sol=0 ticks=132357 tps=100 nb_sec=1323 case_no=77 label=Case6.65 nb_sol=0 ticks=125092 tps=100 nb_sec=1250 case_no=77 label=Case6.65 nb_sol=0 ticks=100893 tps=100 nb_sec=1008 case_no=77 label=Case6.65 nb_sol=0 ticks=123856 tps=100 nb_sec=1238 case_no=77 label=Case6.65 nb_sol=0 ticks=115754 tps=100 nb_sec=1157 case_no=77 label=Case6.65 nb_sol=0 ticks=146427 tps=100 nb_sec=1464 case_no=77 label=Case6.65 nb_sol=0 ticks=116431 tps=100 nb_sec=1164 case_no=77 label=Case6.65 nb_sol=0 ticks=116044 tps=100 nb_sec=1160 case_no=77 label=Case6.65 nb_sol=0 ticks=136251 tps=100 nb_sec=1362 case_no=77 label=Case6.65 nb_sol=0 ticks=87578 tps=100 nb_sec=875 case_no=77 label=Case6.65 nb_sol=0 ticks=99705 tps=100 nb_sec=997 case_no=77 label=Case6.65 nb_sol=0 ticks=60144 tps=100 nb_sec=601 case_no=77 label=Case6.65 nb_sol=0 ticks=108757 tps=100 nb_sec=1087 case_no=77 label=Case6.65 nb_sol=0 ticks=133431 tps=100 nb_sec=1334 case_no=77 label=Case6.65 nb_sol=0 ticks=83226 tps=100 nb_sec=832 case_no=77 label=Case6.65 nb_sol=0 ticks=79489 tps=100 nb_sec=794 case_no=77 label=Case6.65 nb_sol=0 ticks=162340 tps=100 nb_sec=1623 case_no=77 label=Case6.65 nb_sol=0 ticks=144777 tps=100 nb_sec=1447 case_no=77 label=Case6.65 nb_sol=0 ticks=114430 tps=100 nb_sec=1144 case_no=77 label=Case6.65 nb_sol=0 ticks=166790 tps=100 nb_sec=1667 case_no=77 label=Case6.65 nb_sol=0 ticks=77120 tps=100 nb_sec=771 case_no=77 label=Case6.65 nb_sol=0 ticks=116157 tps=100 nb_sec=1161 case_no=77 label=Case6.65 nb_sol=0 ticks=112643 tps=100 nb_sec=1126 case_no=77 label=Case6.65 nb_sol=0 ticks=111227 tps=100 nb_sec=1112 case_no=77 label=Case6.65 nb_sol=0 ticks=85724 tps=100 nb_sec=857 case_no=77 label=Case6.65 nb_sol=0 ticks=133351 tps=100 nb_sec=1333 case_no=77 label=Case6.65 nb_sol=0 ticks=129611 tps=100 nb_sec=1296 case_no=77 label=Case6.65 nb_sol=0 ticks=99874 tps=100 nb_sec=998 case_no=77 label=Case6.65 nb_sol=0 ticks=100799 tps=100 nb_sec=1007 case_no=77 label=Case6.65 nb_sol=0 ticks=75534 tps=100 nb_sec=755 case_no=77 label=Case6.65 nb_sol=0 ticks=127915 tps=100 nb_sec=1279 case_no=77 label=Case6.65 nb_sol=0 ticks=61440 tps=100 nb_sec=614 case_no=77 label=Case6.65 nb_sol=0 ticks=90311 tps=100 nb_sec=903 case_no=77 label=Case6.65 nb_sol=0 ticks=165865 tps=100 nb_sec=1658 case_no=77 label=Case6.65 nb_sol=0 ticks=119772 tps=100 nb_sec=1197 case_no=77 label=Case6.65 nb_sol=0 ticks=95585 tps=100 nb_sec=955 case_no=77 label=Case6.65 nb_sol=0 ticks=86715 tps=100 nb_sec=867 case_no=77 label=Case6.65 nb_sol=0 ticks=129555 tps=100 nb_sec=1295 case_no=77 label=Case6.65 nb_sol=0 ticks=57174 tps=100 nb_sec=571 case_no=77 label=Case6.65 nb_sol=0 ticks=82984 tps=100 nb_sec=829 case_no=77 label=Case6.65 nb_sol=0 ticks=126566 tps=100 nb_sec=1265 case_no=77 label=Case6.65 nb_sol=0 ticks=88758 tps=100 nb_sec=887 case_no=77 label=Case6.65 nb_sol=0 ticks=158650 tps=100 nb_sec=1586 case_no=77 label=Case6.65 nb_sol=0 ticks=120186 tps=100 nb_sec=1201 case_no=77 label=Case6.65 nb_sol=0 ticks=108382 tps=100 nb_sec=1083 Nb_sol=0 Nb_sec=296029 3-10:13:49 or 82 hours missing cases: none