argc=5 -M 512 file2=30_select_Case6.45_starter_16_ checking files mod 512 from 0 to 511 case_no=57 label=Case6.45 nb_sol=0 ticks=88193 tps=100 nb_sec=881 case_no=57 label=Case6.45 nb_sol=0 ticks=102727 tps=100 nb_sec=1027 case_no=57 label=Case6.45 nb_sol=0 ticks=116298 tps=100 nb_sec=1162 case_no=57 label=Case6.45 nb_sol=0 ticks=147601 tps=100 nb_sec=1476 case_no=57 label=Case6.45 nb_sol=0 ticks=172925 tps=100 nb_sec=1729 case_no=57 label=Case6.45 nb_sol=0 ticks=109117 tps=100 nb_sec=1091 case_no=57 label=Case6.45 nb_sol=0 ticks=112065 tps=100 nb_sec=1120 case_no=57 label=Case6.45 nb_sol=0 ticks=147283 tps=100 nb_sec=1472 case_no=57 label=Case6.45 nb_sol=0 ticks=105256 tps=100 nb_sec=1052 case_no=57 label=Case6.45 nb_sol=0 ticks=110164 tps=100 nb_sec=1101 case_no=57 label=Case6.45 nb_sol=0 ticks=153220 tps=100 nb_sec=1532 case_no=57 label=Case6.45 nb_sol=0 ticks=130662 tps=100 nb_sec=1306 case_no=57 label=Case6.45 nb_sol=0 ticks=107940 tps=100 nb_sec=1079 case_no=57 label=Case6.45 nb_sol=0 ticks=159222 tps=100 nb_sec=1592 case_no=57 label=Case6.45 nb_sol=0 ticks=87915 tps=100 nb_sec=879 case_no=57 label=Case6.45 nb_sol=0 ticks=126921 tps=100 nb_sec=1269 case_no=57 label=Case6.45 nb_sol=0 ticks=154974 tps=100 nb_sec=1549 case_no=57 label=Case6.45 nb_sol=0 ticks=63512 tps=100 nb_sec=635 case_no=57 label=Case6.45 nb_sol=0 ticks=111912 tps=100 nb_sec=1119 case_no=57 label=Case6.45 nb_sol=0 ticks=161779 tps=100 nb_sec=1617 case_no=57 label=Case6.45 nb_sol=0 ticks=83306 tps=100 nb_sec=833 case_no=57 label=Case6.45 nb_sol=0 ticks=124653 tps=100 nb_sec=1246 case_no=57 label=Case6.45 nb_sol=0 ticks=170290 tps=100 nb_sec=1702 case_no=57 label=Case6.45 nb_sol=0 ticks=136414 tps=100 nb_sec=1364 case_no=57 label=Case6.45 nb_sol=0 ticks=128740 tps=100 nb_sec=1287 case_no=57 label=Case6.45 nb_sol=0 ticks=173467 tps=100 nb_sec=1734 case_no=57 label=Case6.45 nb_sol=0 ticks=81299 tps=100 nb_sec=812 case_no=57 label=Case6.45 nb_sol=0 ticks=92123 tps=100 nb_sec=921 case_no=57 label=Case6.45 nb_sol=0 ticks=147326 tps=100 nb_sec=1473 case_no=57 label=Case6.45 nb_sol=0 ticks=148942 tps=100 nb_sec=1489 case_no=57 label=Case6.45 nb_sol=0 ticks=108463 tps=100 nb_sec=1084 case_no=57 label=Case6.45 nb_sol=0 ticks=163017 tps=100 nb_sec=1630 case_no=57 label=Case6.45 nb_sol=0 ticks=113227 tps=100 nb_sec=1132 case_no=57 label=Case6.45 nb_sol=0 ticks=114503 tps=100 nb_sec=1145 case_no=57 label=Case6.45 nb_sol=0 ticks=107554 tps=100 nb_sec=1075 case_no=57 label=Case6.45 nb_sol=0 ticks=122088 tps=100 nb_sec=1220 case_no=57 label=Case6.45 nb_sol=0 ticks=165236 tps=100 nb_sec=1652 case_no=57 label=Case6.45 nb_sol=0 ticks=172341 tps=100 nb_sec=1723 case_no=57 label=Case6.45 nb_sol=0 ticks=144034 tps=100 nb_sec=1440 case_no=57 label=Case6.45 nb_sol=0 ticks=139108 tps=100 nb_sec=1391 case_no=57 label=Case6.45 nb_sol=0 ticks=100998 tps=100 nb_sec=1009 case_no=57 label=Case6.45 nb_sol=0 ticks=169013 tps=100 nb_sec=1690 case_no=57 label=Case6.45 nb_sol=0 ticks=136346 tps=100 nb_sec=1363 case_no=57 label=Case6.45 nb_sol=0 ticks=106809 tps=100 nb_sec=1068 case_no=57 label=Case6.45 nb_sol=0 ticks=114228 tps=100 nb_sec=1142 case_no=57 label=Case6.45 nb_sol=0 ticks=126712 tps=100 nb_sec=1267 case_no=57 label=Case6.45 nb_sol=0 ticks=127734 tps=100 nb_sec=1277 case_no=57 label=Case6.45 nb_sol=0 ticks=110309 tps=100 nb_sec=1103 case_no=57 label=Case6.45 nb_sol=0 ticks=69958 tps=100 nb_sec=699 case_no=57 label=Case6.45 nb_sol=0 ticks=61825 tps=100 nb_sec=618 case_no=57 label=Case6.45 nb_sol=0 ticks=67272 tps=100 nb_sec=672 case_no=57 label=Case6.45 nb_sol=0 ticks=68981 tps=100 nb_sec=689 case_no=57 label=Case6.45 nb_sol=0 ticks=100424 tps=100 nb_sec=1004 case_no=57 label=Case6.45 nb_sol=0 ticks=141088 tps=100 nb_sec=1410 case_no=57 label=Case6.45 nb_sol=0 ticks=138750 tps=100 nb_sec=1387 case_no=57 label=Case6.45 nb_sol=0 ticks=71500 tps=100 nb_sec=715 case_no=57 label=Case6.45 nb_sol=0 ticks=170715 tps=100 nb_sec=1707 case_no=57 label=Case6.45 nb_sol=0 ticks=159386 tps=100 nb_sec=1593 case_no=57 label=Case6.45 nb_sol=0 ticks=111098 tps=100 nb_sec=1110 case_no=57 label=Case6.45 nb_sol=0 ticks=146697 tps=100 nb_sec=1466 case_no=57 label=Case6.45 nb_sol=0 ticks=139290 tps=100 nb_sec=1392 case_no=57 label=Case6.45 nb_sol=0 ticks=145943 tps=100 nb_sec=1459 case_no=57 label=Case6.45 nb_sol=0 ticks=157886 tps=100 nb_sec=1578 case_no=57 label=Case6.45 nb_sol=0 ticks=108513 tps=100 nb_sec=1085 case_no=57 label=Case6.45 nb_sol=0 ticks=145230 tps=100 nb_sec=1452 case_no=57 label=Case6.45 nb_sol=0 ticks=123110 tps=100 nb_sec=1231 case_no=57 label=Case6.45 nb_sol=0 ticks=141943 tps=100 nb_sec=1419 case_no=57 label=Case6.45 nb_sol=0 ticks=178772 tps=100 nb_sec=1787 case_no=57 label=Case6.45 nb_sol=0 ticks=141035 tps=100 nb_sec=1410 case_no=57 label=Case6.45 nb_sol=0 ticks=135124 tps=100 nb_sec=1351 case_no=57 label=Case6.45 nb_sol=0 ticks=142965 tps=100 nb_sec=1429 case_no=57 label=Case6.45 nb_sol=0 ticks=69596 tps=100 nb_sec=695 case_no=57 label=Case6.45 nb_sol=0 ticks=158711 tps=100 nb_sec=1587 case_no=57 label=Case6.45 nb_sol=0 ticks=151773 tps=100 nb_sec=1517 case_no=57 label=Case6.45 nb_sol=0 ticks=140665 tps=100 nb_sec=1406 case_no=57 label=Case6.45 nb_sol=0 ticks=167562 tps=100 nb_sec=1675 case_no=57 label=Case6.45 nb_sol=0 ticks=171434 tps=100 nb_sec=1714 case_no=57 label=Case6.45 nb_sol=0 ticks=159516 tps=100 nb_sec=1595 case_no=57 label=Case6.45 nb_sol=0 ticks=165427 tps=100 nb_sec=1654 case_no=57 label=Case6.45 nb_sol=0 ticks=154173 tps=100 nb_sec=1541 case_no=57 label=Case6.45 nb_sol=0 ticks=138282 tps=100 nb_sec=1382 case_no=57 label=Case6.45 nb_sol=0 ticks=148724 tps=100 nb_sec=1487 case_no=57 label=Case6.45 nb_sol=0 ticks=80877 tps=100 nb_sec=808 case_no=57 label=Case6.45 nb_sol=0 ticks=139747 tps=100 nb_sec=1397 case_no=57 label=Case6.45 nb_sol=0 ticks=61461 tps=100 nb_sec=614 case_no=57 label=Case6.45 nb_sol=0 ticks=119174 tps=100 nb_sec=1191 case_no=57 label=Case6.45 nb_sol=0 ticks=164829 tps=100 nb_sec=1648 case_no=57 label=Case6.45 nb_sol=0 ticks=166038 tps=100 nb_sec=1660 case_no=57 label=Case6.45 nb_sol=0 ticks=69689 tps=100 nb_sec=696 case_no=57 label=Case6.45 nb_sol=0 ticks=125895 tps=100 nb_sec=1258 case_no=57 label=Case6.45 nb_sol=0 ticks=163485 tps=100 nb_sec=1634 case_no=57 label=Case6.45 nb_sol=0 ticks=73689 tps=100 nb_sec=736 case_no=57 label=Case6.45 nb_sol=0 ticks=121112 tps=100 nb_sec=1211 case_no=57 label=Case6.45 nb_sol=0 ticks=157896 tps=100 nb_sec=1578 case_no=57 label=Case6.45 nb_sol=0 ticks=98533 tps=100 nb_sec=985 case_no=57 label=Case6.45 nb_sol=0 ticks=119176 tps=100 nb_sec=1191 case_no=57 label=Case6.45 nb_sol=0 ticks=165084 tps=100 nb_sec=1650 case_no=57 label=Case6.45 nb_sol=0 ticks=60175 tps=100 nb_sec=601 case_no=57 label=Case6.45 nb_sol=0 ticks=148292 tps=100 nb_sec=1482 case_no=57 label=Case6.45 nb_sol=0 ticks=144656 tps=100 nb_sec=1446 case_no=57 label=Case6.45 nb_sol=0 ticks=120341 tps=100 nb_sec=1203 case_no=57 label=Case6.45 nb_sol=0 ticks=100786 tps=100 nb_sec=1007 case_no=57 label=Case6.45 nb_sol=0 ticks=120380 tps=100 nb_sec=1203 case_no=57 label=Case6.45 nb_sol=0 ticks=116515 tps=100 nb_sec=1165 case_no=57 label=Case6.45 nb_sol=0 ticks=157248 tps=100 nb_sec=1572 case_no=57 label=Case6.45 nb_sol=0 ticks=75671 tps=100 nb_sec=756 case_no=57 label=Case6.45 nb_sol=0 ticks=143592 tps=100 nb_sec=1435 case_no=57 label=Case6.45 nb_sol=0 ticks=103158 tps=100 nb_sec=1031 case_no=57 label=Case6.45 nb_sol=0 ticks=91642 tps=100 nb_sec=916 case_no=57 label=Case6.45 nb_sol=0 ticks=124855 tps=100 nb_sec=1248 case_no=57 label=Case6.45 nb_sol=0 ticks=174044 tps=100 nb_sec=1740 case_no=57 label=Case6.45 nb_sol=0 ticks=64957 tps=100 nb_sec=649 case_no=57 label=Case6.45 nb_sol=0 ticks=139625 tps=100 nb_sec=1396 case_no=57 label=Case6.45 nb_sol=0 ticks=69186 tps=100 nb_sec=691 case_no=57 label=Case6.45 nb_sol=0 ticks=84421 tps=100 nb_sec=844 case_no=57 label=Case6.45 nb_sol=0 ticks=80920 tps=100 nb_sec=809 case_no=57 label=Case6.45 nb_sol=0 ticks=154186 tps=100 nb_sec=1541 case_no=57 label=Case6.45 nb_sol=0 ticks=159926 tps=100 nb_sec=1599 case_no=57 label=Case6.45 nb_sol=0 ticks=97294 tps=100 nb_sec=972 case_no=57 label=Case6.45 nb_sol=0 ticks=151482 tps=100 nb_sec=1514 case_no=57 label=Case6.45 nb_sol=0 ticks=80413 tps=100 nb_sec=804 case_no=57 label=Case6.45 nb_sol=0 ticks=105178 tps=100 nb_sec=1051 case_no=57 label=Case6.45 nb_sol=0 ticks=130298 tps=100 nb_sec=1302 case_no=57 label=Case6.45 nb_sol=0 ticks=104755 tps=100 nb_sec=1047 case_no=57 label=Case6.45 nb_sol=0 ticks=111399 tps=100 nb_sec=1113 case_no=57 label=Case6.45 nb_sol=0 ticks=131045 tps=100 nb_sec=1310 case_no=57 label=Case6.45 nb_sol=0 ticks=63322 tps=100 nb_sec=633 case_no=57 label=Case6.45 nb_sol=0 ticks=169986 tps=100 nb_sec=1699 case_no=57 label=Case6.45 nb_sol=0 ticks=114878 tps=100 nb_sec=1148 case_no=57 label=Case6.45 nb_sol=0 ticks=158678 tps=100 nb_sec=1586 case_no=57 label=Case6.45 nb_sol=0 ticks=154885 tps=100 nb_sec=1548 case_no=57 label=Case6.45 nb_sol=0 ticks=136595 tps=100 nb_sec=1365 case_no=57 label=Case6.45 nb_sol=0 ticks=172416 tps=100 nb_sec=1724 case_no=57 label=Case6.45 nb_sol=0 ticks=64362 tps=100 nb_sec=643 case_no=57 label=Case6.45 nb_sol=0 ticks=140504 tps=100 nb_sec=1405 case_no=57 label=Case6.45 nb_sol=0 ticks=78099 tps=100 nb_sec=780 case_no=57 label=Case6.45 nb_sol=0 ticks=119135 tps=100 nb_sec=1191 case_no=57 label=Case6.45 nb_sol=0 ticks=81751 tps=100 nb_sec=817 case_no=57 label=Case6.45 nb_sol=0 ticks=125970 tps=100 nb_sec=1259 case_no=57 label=Case6.45 nb_sol=0 ticks=134694 tps=100 nb_sec=1346 case_no=57 label=Case6.45 nb_sol=0 ticks=86147 tps=100 nb_sec=861 case_no=57 label=Case6.45 nb_sol=0 ticks=132356 tps=100 nb_sec=1323 case_no=57 label=Case6.45 nb_sol=0 ticks=66344 tps=100 nb_sec=663 case_no=57 label=Case6.45 nb_sol=0 ticks=151120 tps=100 nb_sec=1511 case_no=57 label=Case6.45 nb_sol=0 ticks=82938 tps=100 nb_sec=829 case_no=57 label=Case6.45 nb_sol=0 ticks=126613 tps=100 nb_sec=1266 case_no=57 label=Case6.45 nb_sol=0 ticks=64486 tps=100 nb_sec=644 case_no=57 label=Case6.45 nb_sol=0 ticks=142672 tps=100 nb_sec=1426 case_no=57 label=Case6.45 nb_sol=0 ticks=61326 tps=100 nb_sec=613 case_no=57 label=Case6.45 nb_sol=0 ticks=63563 tps=100 nb_sec=635 case_no=57 label=Case6.45 nb_sol=0 ticks=149593 tps=100 nb_sec=1495 case_no=57 label=Case6.45 nb_sol=0 ticks=143535 tps=100 nb_sec=1435 case_no=57 label=Case6.45 nb_sol=0 ticks=64026 tps=100 nb_sec=640 case_no=57 label=Case6.45 nb_sol=0 ticks=177918 tps=100 nb_sec=1779 case_no=57 label=Case6.45 nb_sol=0 ticks=155645 tps=100 nb_sec=1556 case_no=57 label=Case6.45 nb_sol=0 ticks=59719 tps=100 nb_sec=597 case_no=57 label=Case6.45 nb_sol=0 ticks=141887 tps=100 nb_sec=1418 case_no=57 label=Case6.45 nb_sol=0 ticks=165352 tps=100 nb_sec=1653 case_no=57 label=Case6.45 nb_sol=0 ticks=62524 tps=100 nb_sec=625 case_no=57 label=Case6.45 nb_sol=0 ticks=124833 tps=100 nb_sec=1248 case_no=57 label=Case6.45 nb_sol=0 ticks=161947 tps=100 nb_sec=1619 case_no=57 label=Case6.45 nb_sol=0 ticks=155561 tps=100 nb_sec=1555 case_no=57 label=Case6.45 nb_sol=0 ticks=120020 tps=100 nb_sec=1200 case_no=57 label=Case6.45 nb_sol=0 ticks=137705 tps=100 nb_sec=1377 case_no=57 label=Case6.45 nb_sol=0 ticks=162693 tps=100 nb_sec=1626 case_no=57 label=Case6.45 nb_sol=0 ticks=67154 tps=100 nb_sec=671 case_no=57 label=Case6.45 nb_sol=0 ticks=60273 tps=100 nb_sec=602 case_no=57 label=Case6.45 nb_sol=0 ticks=115675 tps=100 nb_sec=1156 case_no=57 label=Case6.45 nb_sol=0 ticks=112892 tps=100 nb_sec=1128 case_no=57 label=Case6.45 nb_sol=0 ticks=67985 tps=100 nb_sec=679 case_no=57 label=Case6.45 nb_sol=0 ticks=93160 tps=100 nb_sec=931 case_no=57 label=Case6.45 nb_sol=0 ticks=85086 tps=100 nb_sec=850 case_no=57 label=Case6.45 nb_sol=0 ticks=89085 tps=100 nb_sec=890 case_no=57 label=Case6.45 nb_sol=0 ticks=145480 tps=100 nb_sec=1454 case_no=57 label=Case6.45 nb_sol=0 ticks=148780 tps=100 nb_sec=1487 case_no=57 label=Case6.45 nb_sol=0 ticks=78716 tps=100 nb_sec=787 case_no=57 label=Case6.45 nb_sol=0 ticks=174063 tps=100 nb_sec=1740 case_no=57 label=Case6.45 nb_sol=0 ticks=86546 tps=100 nb_sec=865 case_no=57 label=Case6.45 nb_sol=0 ticks=89118 tps=100 nb_sec=891 case_no=57 label=Case6.45 nb_sol=0 ticks=144692 tps=100 nb_sec=1446 case_no=57 label=Case6.45 nb_sol=0 ticks=116423 tps=100 nb_sec=1164 case_no=57 label=Case6.45 nb_sol=0 ticks=178244 tps=100 nb_sec=1782 case_no=57 label=Case6.45 nb_sol=0 ticks=98191 tps=100 nb_sec=981 case_no=57 label=Case6.45 nb_sol=0 ticks=163429 tps=100 nb_sec=1634 case_no=57 label=Case6.45 nb_sol=0 ticks=164483 tps=100 nb_sec=1644 case_no=57 label=Case6.45 nb_sol=0 ticks=164148 tps=100 nb_sec=1641 case_no=57 label=Case6.45 nb_sol=0 ticks=106086 tps=100 nb_sec=1060 case_no=57 label=Case6.45 nb_sol=0 ticks=112151 tps=100 nb_sec=1121 case_no=57 label=Case6.45 nb_sol=0 ticks=150729 tps=100 nb_sec=1507 case_no=57 label=Case6.45 nb_sol=0 ticks=149377 tps=100 nb_sec=1493 case_no=57 label=Case6.45 nb_sol=0 ticks=79115 tps=100 nb_sec=791 case_no=57 label=Case6.45 nb_sol=0 ticks=176031 tps=100 nb_sec=1760 case_no=57 label=Case6.45 nb_sol=0 ticks=61157 tps=100 nb_sec=611 case_no=57 label=Case6.45 nb_sol=0 ticks=81315 tps=100 nb_sec=813 case_no=57 label=Case6.45 nb_sol=0 ticks=162652 tps=100 nb_sec=1626 case_no=57 label=Case6.45 nb_sol=0 ticks=65910 tps=100 nb_sec=659 case_no=57 label=Case6.45 nb_sol=0 ticks=150145 tps=100 nb_sec=1501 case_no=57 label=Case6.45 nb_sol=0 ticks=60622 tps=100 nb_sec=606 case_no=57 label=Case6.45 nb_sol=0 ticks=156630 tps=100 nb_sec=1566 case_no=57 label=Case6.45 nb_sol=0 ticks=176928 tps=100 nb_sec=1769 case_no=57 label=Case6.45 nb_sol=0 ticks=62329 tps=100 nb_sec=623 case_no=57 label=Case6.45 nb_sol=0 ticks=149437 tps=100 nb_sec=1494 case_no=57 label=Case6.45 nb_sol=0 ticks=62255 tps=100 nb_sec=622 case_no=57 label=Case6.45 nb_sol=0 ticks=155262 tps=100 nb_sec=1552 case_no=57 label=Case6.45 nb_sol=0 ticks=65893 tps=100 nb_sec=658 case_no=57 label=Case6.45 nb_sol=0 ticks=137770 tps=100 nb_sec=1377 case_no=57 label=Case6.45 nb_sol=0 ticks=74667 tps=100 nb_sec=746 case_no=57 label=Case6.45 nb_sol=0 ticks=154608 tps=100 nb_sec=1546 case_no=57 label=Case6.45 nb_sol=0 ticks=63913 tps=100 nb_sec=639 case_no=57 label=Case6.45 nb_sol=0 ticks=61870 tps=100 nb_sec=618 case_no=57 label=Case6.45 nb_sol=0 ticks=60028 tps=100 nb_sec=600 case_no=57 label=Case6.45 nb_sol=0 ticks=55126 tps=100 nb_sec=551 case_no=57 label=Case6.45 nb_sol=0 ticks=59655 tps=100 nb_sec=596 case_no=57 label=Case6.45 nb_sol=0 ticks=63490 tps=100 nb_sec=634 case_no=57 label=Case6.45 nb_sol=0 ticks=135315 tps=100 nb_sec=1353 case_no=57 label=Case6.45 nb_sol=0 ticks=113455 tps=100 nb_sec=1134 case_no=57 label=Case6.45 nb_sol=0 ticks=142328 tps=100 nb_sec=1423 case_no=57 label=Case6.45 nb_sol=0 ticks=139722 tps=100 nb_sec=1397 case_no=57 label=Case6.45 nb_sol=0 ticks=117298 tps=100 nb_sec=1172 case_no=57 label=Case6.45 nb_sol=0 ticks=136762 tps=100 nb_sec=1367 case_no=57 label=Case6.45 nb_sol=0 ticks=70369 tps=100 nb_sec=703 case_no=57 label=Case6.45 nb_sol=0 ticks=72491 tps=100 nb_sec=724 case_no=57 label=Case6.45 nb_sol=0 ticks=94092 tps=100 nb_sec=940 case_no=57 label=Case6.45 nb_sol=0 ticks=79291 tps=100 nb_sec=792 case_no=57 label=Case6.45 nb_sol=0 ticks=87088 tps=100 nb_sec=870 case_no=57 label=Case6.45 nb_sol=0 ticks=43267 tps=100 nb_sec=432 case_no=57 label=Case6.45 nb_sol=0 ticks=144259 tps=100 nb_sec=1442 case_no=57 label=Case6.45 nb_sol=0 ticks=44880 tps=100 nb_sec=448 case_no=57 label=Case6.45 nb_sol=0 ticks=157590 tps=100 nb_sec=1575 case_no=57 label=Case6.45 nb_sol=0 ticks=63928 tps=100 nb_sec=639 case_no=57 label=Case6.45 nb_sol=0 ticks=65513 tps=100 nb_sec=655 case_no=57 label=Case6.45 nb_sol=0 ticks=98434 tps=100 nb_sec=984 case_no=57 label=Case6.45 nb_sol=0 ticks=64732 tps=100 nb_sec=647 case_no=57 label=Case6.45 nb_sol=0 ticks=93626 tps=100 nb_sec=936 case_no=57 label=Case6.45 nb_sol=0 ticks=63993 tps=100 nb_sec=639 case_no=57 label=Case6.45 nb_sol=0 ticks=45179 tps=100 nb_sec=451 case_no=57 label=Case6.45 nb_sol=0 ticks=86533 tps=100 nb_sec=865 case_no=57 label=Case6.45 nb_sol=0 ticks=43241 tps=100 nb_sec=432 case_no=57 label=Case6.45 nb_sol=0 ticks=66148 tps=100 nb_sec=661 case_no=57 label=Case6.45 nb_sol=0 ticks=42065 tps=100 nb_sec=420 case_no=57 label=Case6.45 nb_sol=0 ticks=84752 tps=100 nb_sec=847 case_no=57 label=Case6.45 nb_sol=0 ticks=66236 tps=100 nb_sec=662 case_no=57 label=Case6.45 nb_sol=0 ticks=83669 tps=100 nb_sec=836 case_no=57 label=Case6.45 nb_sol=0 ticks=87170 tps=100 nb_sec=871 case_no=57 label=Case6.45 nb_sol=0 ticks=46156 tps=100 nb_sec=461 case_no=57 label=Case6.45 nb_sol=0 ticks=93398 tps=100 nb_sec=933 case_no=57 label=Case6.45 nb_sol=0 ticks=42790 tps=100 nb_sec=427 case_no=57 label=Case6.45 nb_sol=0 ticks=42004 tps=100 nb_sec=420 case_no=57 label=Case6.45 nb_sol=0 ticks=67846 tps=100 nb_sec=678 case_no=57 label=Case6.45 nb_sol=0 ticks=61378 tps=100 nb_sec=613 case_no=57 label=Case6.45 nb_sol=0 ticks=77620 tps=100 nb_sec=776 case_no=57 label=Case6.45 nb_sol=0 ticks=59860 tps=100 nb_sec=598 case_no=57 label=Case6.45 nb_sol=0 ticks=39834 tps=100 nb_sec=398 case_no=57 label=Case6.45 nb_sol=0 ticks=84268 tps=100 nb_sec=842 case_no=57 label=Case6.45 nb_sol=0 ticks=45509 tps=100 nb_sec=455 case_no=57 label=Case6.45 nb_sol=0 ticks=67357 tps=100 nb_sec=673 case_no=57 label=Case6.45 nb_sol=0 ticks=89038 tps=100 nb_sec=890 case_no=57 label=Case6.45 nb_sol=0 ticks=66835 tps=100 nb_sec=668 case_no=57 label=Case6.45 nb_sol=0 ticks=63699 tps=100 nb_sec=636 case_no=57 label=Case6.45 nb_sol=0 ticks=113644 tps=100 nb_sec=1136 case_no=57 label=Case6.45 nb_sol=0 ticks=61045 tps=100 nb_sec=610 case_no=57 label=Case6.45 nb_sol=0 ticks=117562 tps=100 nb_sec=1175 case_no=57 label=Case6.45 nb_sol=0 ticks=57272 tps=100 nb_sec=572 case_no=57 label=Case6.45 nb_sol=0 ticks=146791 tps=100 nb_sec=1467 case_no=57 label=Case6.45 nb_sol=0 ticks=62153 tps=100 nb_sec=621 case_no=57 label=Case6.45 nb_sol=0 ticks=120745 tps=100 nb_sec=1207 case_no=57 label=Case6.45 nb_sol=0 ticks=62699 tps=100 nb_sec=626 case_no=57 label=Case6.45 nb_sol=0 ticks=127432 tps=100 nb_sec=1274 case_no=57 label=Case6.45 nb_sol=0 ticks=69796 tps=100 nb_sec=697 case_no=57 label=Case6.45 nb_sol=0 ticks=100774 tps=100 nb_sec=1007 case_no=57 label=Case6.45 nb_sol=0 ticks=95594 tps=100 nb_sec=955 case_no=57 label=Case6.45 nb_sol=0 ticks=138972 tps=100 nb_sec=1389 case_no=57 label=Case6.45 nb_sol=0 ticks=91579 tps=100 nb_sec=915 case_no=57 label=Case6.45 nb_sol=0 ticks=132790 tps=100 nb_sec=1327 case_no=57 label=Case6.45 nb_sol=0 ticks=78144 tps=100 nb_sec=781 case_no=57 label=Case6.45 nb_sol=0 ticks=113257 tps=100 nb_sec=1132 case_no=57 label=Case6.45 nb_sol=0 ticks=93909 tps=100 nb_sec=939 case_no=57 label=Case6.45 nb_sol=0 ticks=97628 tps=100 nb_sec=976 case_no=57 label=Case6.45 nb_sol=0 ticks=65288 tps=100 nb_sec=652 case_no=57 label=Case6.45 nb_sol=0 ticks=103186 tps=100 nb_sec=1031 case_no=57 label=Case6.45 nb_sol=0 ticks=97089 tps=100 nb_sec=970 case_no=57 label=Case6.45 nb_sol=0 ticks=60777 tps=100 nb_sec=607 case_no=57 label=Case6.45 nb_sol=0 ticks=111766 tps=100 nb_sec=1117 case_no=57 label=Case6.45 nb_sol=0 ticks=142626 tps=100 nb_sec=1426 case_no=57 label=Case6.45 nb_sol=0 ticks=75852 tps=100 nb_sec=758 case_no=57 label=Case6.45 nb_sol=0 ticks=57610 tps=100 nb_sec=576 case_no=57 label=Case6.45 nb_sol=0 ticks=89213 tps=100 nb_sec=892 case_no=57 label=Case6.45 nb_sol=0 ticks=115166 tps=100 nb_sec=1151 case_no=57 label=Case6.45 nb_sol=0 ticks=77179 tps=100 nb_sec=771 case_no=57 label=Case6.45 nb_sol=0 ticks=110685 tps=100 nb_sec=1106 case_no=57 label=Case6.45 nb_sol=0 ticks=58041 tps=100 nb_sec=580 case_no=57 label=Case6.45 nb_sol=0 ticks=96662 tps=100 nb_sec=966 case_no=57 label=Case6.45 nb_sol=0 ticks=76233 tps=100 nb_sec=762 case_no=57 label=Case6.45 nb_sol=0 ticks=60905 tps=100 nb_sec=609 case_no=57 label=Case6.45 nb_sol=0 ticks=102532 tps=100 nb_sec=1025 case_no=57 label=Case6.45 nb_sol=0 ticks=59144 tps=100 nb_sec=591 case_no=57 label=Case6.45 nb_sol=0 ticks=68249 tps=100 nb_sec=682 case_no=57 label=Case6.45 nb_sol=0 ticks=58953 tps=100 nb_sec=589 case_no=57 label=Case6.45 nb_sol=0 ticks=85322 tps=100 nb_sec=853 case_no=57 label=Case6.45 nb_sol=0 ticks=85875 tps=100 nb_sec=858 case_no=57 label=Case6.45 nb_sol=0 ticks=78238 tps=100 nb_sec=782 case_no=57 label=Case6.45 nb_sol=0 ticks=57122 tps=100 nb_sec=571 case_no=57 label=Case6.45 nb_sol=0 ticks=59543 tps=100 nb_sec=595 case_no=57 label=Case6.45 nb_sol=0 ticks=64386 tps=100 nb_sec=643 case_no=57 label=Case6.45 nb_sol=0 ticks=58696 tps=100 nb_sec=586 case_no=57 label=Case6.45 nb_sol=0 ticks=63603 tps=100 nb_sec=636 case_no=57 label=Case6.45 nb_sol=0 ticks=60432 tps=100 nb_sec=604 case_no=57 label=Case6.45 nb_sol=0 ticks=61876 tps=100 nb_sec=618 case_no=57 label=Case6.45 nb_sol=0 ticks=55803 tps=100 nb_sec=558 case_no=57 label=Case6.45 nb_sol=0 ticks=58857 tps=100 nb_sec=588 case_no=57 label=Case6.45 nb_sol=0 ticks=71279 tps=100 nb_sec=712 case_no=57 label=Case6.45 nb_sol=0 ticks=62389 tps=100 nb_sec=623 case_no=57 label=Case6.45 nb_sol=0 ticks=127908 tps=100 nb_sec=1279 case_no=57 label=Case6.45 nb_sol=0 ticks=66721 tps=100 nb_sec=667 case_no=57 label=Case6.45 nb_sol=0 ticks=128284 tps=100 nb_sec=1282 case_no=57 label=Case6.45 nb_sol=0 ticks=63037 tps=100 nb_sec=630 case_no=57 label=Case6.45 nb_sol=0 ticks=150749 tps=100 nb_sec=1507 case_no=57 label=Case6.45 nb_sol=0 ticks=62960 tps=100 nb_sec=629 case_no=57 label=Case6.45 nb_sol=0 ticks=157254 tps=100 nb_sec=1572 case_no=57 label=Case6.45 nb_sol=0 ticks=61279 tps=100 nb_sec=612 case_no=57 label=Case6.45 nb_sol=0 ticks=137371 tps=100 nb_sec=1373 case_no=57 label=Case6.45 nb_sol=0 ticks=61900 tps=100 nb_sec=619 case_no=57 label=Case6.45 nb_sol=0 ticks=135122 tps=100 nb_sec=1351 case_no=57 label=Case6.45 nb_sol=0 ticks=129437 tps=100 nb_sec=1294 case_no=57 label=Case6.45 nb_sol=0 ticks=149936 tps=100 nb_sec=1499 case_no=57 label=Case6.45 nb_sol=0 ticks=57992 tps=100 nb_sec=579 case_no=57 label=Case6.45 nb_sol=0 ticks=117135 tps=100 nb_sec=1171 case_no=57 label=Case6.45 nb_sol=0 ticks=168819 tps=100 nb_sec=1688 case_no=57 label=Case6.45 nb_sol=0 ticks=74189 tps=100 nb_sec=741 case_no=57 label=Case6.45 nb_sol=0 ticks=107373 tps=100 nb_sec=1073 case_no=57 label=Case6.45 nb_sol=0 ticks=132232 tps=100 nb_sec=1322 case_no=57 label=Case6.45 nb_sol=0 ticks=117399 tps=100 nb_sec=1173 case_no=57 label=Case6.45 nb_sol=0 ticks=86554 tps=100 nb_sec=865 case_no=57 label=Case6.45 nb_sol=0 ticks=69521 tps=100 nb_sec=695 case_no=57 label=Case6.45 nb_sol=0 ticks=153850 tps=100 nb_sec=1538 case_no=57 label=Case6.45 nb_sol=0 ticks=153717 tps=100 nb_sec=1537 case_no=57 label=Case6.45 nb_sol=0 ticks=87454 tps=100 nb_sec=874 case_no=57 label=Case6.45 nb_sol=0 ticks=154702 tps=100 nb_sec=1547 case_no=57 label=Case6.45 nb_sol=0 ticks=79242 tps=100 nb_sec=792 case_no=57 label=Case6.45 nb_sol=0 ticks=125840 tps=100 nb_sec=1258 case_no=57 label=Case6.45 nb_sol=0 ticks=119721 tps=100 nb_sec=1197 case_no=57 label=Case6.45 nb_sol=0 ticks=60288 tps=100 nb_sec=602 case_no=57 label=Case6.45 nb_sol=0 ticks=127205 tps=100 nb_sec=1272 case_no=57 label=Case6.45 nb_sol=0 ticks=122498 tps=100 nb_sec=1224 case_no=57 label=Case6.45 nb_sol=0 ticks=44643 tps=100 nb_sec=446 case_no=57 label=Case6.45 nb_sol=0 ticks=57890 tps=100 nb_sec=578 case_no=57 label=Case6.45 nb_sol=0 ticks=118840 tps=100 nb_sec=1188 case_no=57 label=Case6.45 nb_sol=0 ticks=55709 tps=100 nb_sec=557 case_no=57 label=Case6.45 nb_sol=0 ticks=98755 tps=100 nb_sec=987 case_no=57 label=Case6.45 nb_sol=0 ticks=107596 tps=100 nb_sec=1075 case_no=57 label=Case6.45 nb_sol=0 ticks=60444 tps=100 nb_sec=604 case_no=57 label=Case6.45 nb_sol=0 ticks=91203 tps=100 nb_sec=912 case_no=57 label=Case6.45 nb_sol=0 ticks=80136 tps=100 nb_sec=801 case_no=57 label=Case6.45 nb_sol=0 ticks=111675 tps=100 nb_sec=1116 case_no=57 label=Case6.45 nb_sol=0 ticks=43910 tps=100 nb_sec=439 case_no=57 label=Case6.45 nb_sol=0 ticks=81231 tps=100 nb_sec=812 case_no=57 label=Case6.45 nb_sol=0 ticks=129685 tps=100 nb_sec=1296 case_no=57 label=Case6.45 nb_sol=0 ticks=80846 tps=100 nb_sec=808 case_no=57 label=Case6.45 nb_sol=0 ticks=125879 tps=100 nb_sec=1258 case_no=57 label=Case6.45 nb_sol=0 ticks=41890 tps=100 nb_sec=418 case_no=57 label=Case6.45 nb_sol=0 ticks=71241 tps=100 nb_sec=712 case_no=57 label=Case6.45 nb_sol=0 ticks=140900 tps=100 nb_sec=1409 case_no=57 label=Case6.45 nb_sol=0 ticks=111973 tps=100 nb_sec=1119 case_no=57 label=Case6.45 nb_sol=0 ticks=103253 tps=100 nb_sec=1032 case_no=57 label=Case6.45 nb_sol=0 ticks=81901 tps=100 nb_sec=819 case_no=57 label=Case6.45 nb_sol=0 ticks=138199 tps=100 nb_sec=1381 case_no=57 label=Case6.45 nb_sol=0 ticks=134885 tps=100 nb_sec=1348 case_no=57 label=Case6.45 nb_sol=0 ticks=98795 tps=100 nb_sec=987 case_no=57 label=Case6.45 nb_sol=0 ticks=131081 tps=100 nb_sec=1310 case_no=57 label=Case6.45 nb_sol=0 ticks=69601 tps=100 nb_sec=696 case_no=57 label=Case6.45 nb_sol=0 ticks=85112 tps=100 nb_sec=851 case_no=57 label=Case6.45 nb_sol=0 ticks=92170 tps=100 nb_sec=921 case_no=57 label=Case6.45 nb_sol=0 ticks=99036 tps=100 nb_sec=990 case_no=57 label=Case6.45 nb_sol=0 ticks=88776 tps=100 nb_sec=887 case_no=57 label=Case6.45 nb_sol=0 ticks=99178 tps=100 nb_sec=991 case_no=57 label=Case6.45 nb_sol=0 ticks=92381 tps=100 nb_sec=923 case_no=57 label=Case6.45 nb_sol=0 ticks=134770 tps=100 nb_sec=1347 case_no=57 label=Case6.45 nb_sol=0 ticks=104393 tps=100 nb_sec=1043 case_no=57 label=Case6.45 nb_sol=0 ticks=149901 tps=100 nb_sec=1499 case_no=57 label=Case6.45 nb_sol=0 ticks=61649 tps=100 nb_sec=616 case_no=57 label=Case6.45 nb_sol=0 ticks=98575 tps=100 nb_sec=985 case_no=57 label=Case6.45 nb_sol=0 ticks=118385 tps=100 nb_sec=1183 case_no=57 label=Case6.45 nb_sol=0 ticks=117406 tps=100 nb_sec=1174 case_no=57 label=Case6.45 nb_sol=0 ticks=99897 tps=100 nb_sec=998 case_no=57 label=Case6.45 nb_sol=0 ticks=63845 tps=100 nb_sec=638 case_no=57 label=Case6.45 nb_sol=0 ticks=102242 tps=100 nb_sec=1022 case_no=57 label=Case6.45 nb_sol=0 ticks=114797 tps=100 nb_sec=1147 case_no=57 label=Case6.45 nb_sol=0 ticks=113797 tps=100 nb_sec=1137 case_no=57 label=Case6.45 nb_sol=0 ticks=119402 tps=100 nb_sec=1194 case_no=57 label=Case6.45 nb_sol=0 ticks=58891 tps=100 nb_sec=588 case_no=57 label=Case6.45 nb_sol=0 ticks=78113 tps=100 nb_sec=781 case_no=57 label=Case6.45 nb_sol=0 ticks=107412 tps=100 nb_sec=1074 case_no=57 label=Case6.45 nb_sol=0 ticks=106989 tps=100 nb_sec=1069 case_no=57 label=Case6.45 nb_sol=0 ticks=162108 tps=100 nb_sec=1621 case_no=57 label=Case6.45 nb_sol=0 ticks=63166 tps=100 nb_sec=631 case_no=57 label=Case6.45 nb_sol=0 ticks=102860 tps=100 nb_sec=1028 case_no=57 label=Case6.45 nb_sol=0 ticks=97101 tps=100 nb_sec=971 case_no=57 label=Case6.45 nb_sol=0 ticks=119011 tps=100 nb_sec=1190 case_no=57 label=Case6.45 nb_sol=0 ticks=155044 tps=100 nb_sec=1550 case_no=57 label=Case6.45 nb_sol=0 ticks=56924 tps=100 nb_sec=569 case_no=57 label=Case6.45 nb_sol=0 ticks=63093 tps=100 nb_sec=630 case_no=57 label=Case6.45 nb_sol=0 ticks=96521 tps=100 nb_sec=965 case_no=57 label=Case6.45 nb_sol=0 ticks=170854 tps=100 nb_sec=1708 case_no=57 label=Case6.45 nb_sol=0 ticks=121960 tps=100 nb_sec=1219 case_no=57 label=Case6.45 nb_sol=0 ticks=62050 tps=100 nb_sec=620 case_no=57 label=Case6.45 nb_sol=0 ticks=62519 tps=100 nb_sec=625 case_no=57 label=Case6.45 nb_sol=0 ticks=100758 tps=100 nb_sec=1007 case_no=57 label=Case6.45 nb_sol=0 ticks=62508 tps=100 nb_sec=625 case_no=57 label=Case6.45 nb_sol=0 ticks=169587 tps=100 nb_sec=1695 case_no=57 label=Case6.45 nb_sol=0 ticks=125947 tps=100 nb_sec=1259 case_no=57 label=Case6.45 nb_sol=0 ticks=90472 tps=100 nb_sec=904 case_no=57 label=Case6.45 nb_sol=0 ticks=63437 tps=100 nb_sec=634 case_no=57 label=Case6.45 nb_sol=0 ticks=160248 tps=100 nb_sec=1602 case_no=57 label=Case6.45 nb_sol=0 ticks=67352 tps=100 nb_sec=673 case_no=57 label=Case6.45 nb_sol=0 ticks=64426 tps=100 nb_sec=644 case_no=57 label=Case6.45 nb_sol=0 ticks=160249 tps=100 nb_sec=1602 case_no=57 label=Case6.45 nb_sol=0 ticks=72979 tps=100 nb_sec=729 case_no=57 label=Case6.45 nb_sol=0 ticks=174705 tps=100 nb_sec=1747 case_no=57 label=Case6.45 nb_sol=0 ticks=161470 tps=100 nb_sec=1614 case_no=57 label=Case6.45 nb_sol=0 ticks=87347 tps=100 nb_sec=873 case_no=57 label=Case6.45 nb_sol=0 ticks=164869 tps=100 nb_sec=1648 case_no=57 label=Case6.45 nb_sol=0 ticks=63383 tps=100 nb_sec=633 case_no=57 label=Case6.45 nb_sol=0 ticks=161726 tps=100 nb_sec=1617 case_no=57 label=Case6.45 nb_sol=0 ticks=71693 tps=100 nb_sec=716 case_no=57 label=Case6.45 nb_sol=0 ticks=156251 tps=100 nb_sec=1562 case_no=57 label=Case6.45 nb_sol=0 ticks=65202 tps=100 nb_sec=652 case_no=57 label=Case6.45 nb_sol=0 ticks=58781 tps=100 nb_sec=587 case_no=57 label=Case6.45 nb_sol=0 ticks=110562 tps=100 nb_sec=1105 case_no=57 label=Case6.45 nb_sol=0 ticks=110825 tps=100 nb_sec=1108 case_no=57 label=Case6.45 nb_sol=0 ticks=103519 tps=100 nb_sec=1035 case_no=57 label=Case6.45 nb_sol=0 ticks=109565 tps=100 nb_sec=1095 case_no=57 label=Case6.45 nb_sol=0 ticks=103980 tps=100 nb_sec=1039 case_no=57 label=Case6.45 nb_sol=0 ticks=61714 tps=100 nb_sec=617 case_no=57 label=Case6.45 nb_sol=0 ticks=97043 tps=100 nb_sec=970 case_no=57 label=Case6.45 nb_sol=0 ticks=62880 tps=100 nb_sec=628 case_no=57 label=Case6.45 nb_sol=0 ticks=113831 tps=100 nb_sec=1138 case_no=57 label=Case6.45 nb_sol=0 ticks=102842 tps=100 nb_sec=1028 case_no=57 label=Case6.45 nb_sol=0 ticks=112178 tps=100 nb_sec=1121 case_no=57 label=Case6.45 nb_sol=0 ticks=93445 tps=100 nb_sec=934 case_no=57 label=Case6.45 nb_sol=0 ticks=115062 tps=100 nb_sec=1150 case_no=57 label=Case6.45 nb_sol=0 ticks=116157 tps=100 nb_sec=1161 case_no=57 label=Case6.45 nb_sol=0 ticks=67354 tps=100 nb_sec=673 case_no=57 label=Case6.45 nb_sol=0 ticks=101277 tps=100 nb_sec=1012 case_no=57 label=Case6.45 nb_sol=0 ticks=104734 tps=100 nb_sec=1047 case_no=57 label=Case6.45 nb_sol=0 ticks=108554 tps=100 nb_sec=1085 case_no=57 label=Case6.45 nb_sol=0 ticks=111223 tps=100 nb_sec=1112 case_no=57 label=Case6.45 nb_sol=0 ticks=99653 tps=100 nb_sec=996 case_no=57 label=Case6.45 nb_sol=0 ticks=63045 tps=100 nb_sec=630 case_no=57 label=Case6.45 nb_sol=0 ticks=124617 tps=100 nb_sec=1246 case_no=57 label=Case6.45 nb_sol=0 ticks=59700 tps=100 nb_sec=597 case_no=57 label=Case6.45 nb_sol=0 ticks=57115 tps=100 nb_sec=571 case_no=57 label=Case6.45 nb_sol=0 ticks=98196 tps=100 nb_sec=981 case_no=57 label=Case6.45 nb_sol=0 ticks=117691 tps=100 nb_sec=1176 case_no=57 label=Case6.45 nb_sol=0 ticks=64234 tps=100 nb_sec=642 case_no=57 label=Case6.45 nb_sol=0 ticks=106733 tps=100 nb_sec=1067 case_no=57 label=Case6.45 nb_sol=0 ticks=65836 tps=100 nb_sec=658 case_no=57 label=Case6.45 nb_sol=0 ticks=116115 tps=100 nb_sec=1161 case_no=57 label=Case6.45 nb_sol=0 ticks=139156 tps=100 nb_sec=1391 case_no=57 label=Case6.45 nb_sol=0 ticks=60211 tps=100 nb_sec=602 case_no=57 label=Case6.45 nb_sol=0 ticks=111076 tps=100 nb_sec=1110 case_no=57 label=Case6.45 nb_sol=0 ticks=73228 tps=100 nb_sec=732 case_no=57 label=Case6.45 nb_sol=0 ticks=66542 tps=100 nb_sec=665 case_no=57 label=Case6.45 nb_sol=0 ticks=60626 tps=100 nb_sec=606 case_no=57 label=Case6.45 nb_sol=0 ticks=66890 tps=100 nb_sec=668 case_no=57 label=Case6.45 nb_sol=0 ticks=58495 tps=100 nb_sec=584 case_no=57 label=Case6.45 nb_sol=0 ticks=61289 tps=100 nb_sec=612 case_no=57 label=Case6.45 nb_sol=0 ticks=175385 tps=100 nb_sec=1753 case_no=57 label=Case6.45 nb_sol=0 ticks=103776 tps=100 nb_sec=1037 case_no=57 label=Case6.45 nb_sol=0 ticks=61939 tps=100 nb_sec=619 case_no=57 label=Case6.45 nb_sol=0 ticks=186889 tps=100 nb_sec=1868 case_no=57 label=Case6.45 nb_sol=0 ticks=105478 tps=100 nb_sec=1054 case_no=57 label=Case6.45 nb_sol=0 ticks=82286 tps=100 nb_sec=822 case_no=57 label=Case6.45 nb_sol=0 ticks=148862 tps=100 nb_sec=1488 case_no=57 label=Case6.45 nb_sol=0 ticks=111649 tps=100 nb_sec=1116 case_no=57 label=Case6.45 nb_sol=0 ticks=70076 tps=100 nb_sec=700 case_no=57 label=Case6.45 nb_sol=0 ticks=144761 tps=100 nb_sec=1447 case_no=57 label=Case6.45 nb_sol=0 ticks=101874 tps=100 nb_sec=1018 case_no=57 label=Case6.45 nb_sol=0 ticks=63181 tps=100 nb_sec=631 case_no=57 label=Case6.45 nb_sol=0 ticks=151336 tps=100 nb_sec=1513 case_no=57 label=Case6.45 nb_sol=0 ticks=118277 tps=100 nb_sec=1182 case_no=57 label=Case6.45 nb_sol=0 ticks=62225 tps=100 nb_sec=622 case_no=57 label=Case6.45 nb_sol=0 ticks=166855 tps=100 nb_sec=1668 case_no=57 label=Case6.45 nb_sol=0 ticks=97013 tps=100 nb_sec=970 case_no=57 label=Case6.45 nb_sol=0 ticks=62749 tps=100 nb_sec=627 case_no=57 label=Case6.45 nb_sol=0 ticks=101695 tps=100 nb_sec=1016 case_no=57 label=Case6.45 nb_sol=0 ticks=118536 tps=100 nb_sec=1185 case_no=57 label=Case6.45 nb_sol=0 ticks=66584 tps=100 nb_sec=665 case_no=57 label=Case6.45 nb_sol=0 ticks=151338 tps=100 nb_sec=1513 case_no=57 label=Case6.45 nb_sol=0 ticks=107242 tps=100 nb_sec=1072 case_no=57 label=Case6.45 nb_sol=0 ticks=71664 tps=100 nb_sec=716 case_no=57 label=Case6.45 nb_sol=0 ticks=179677 tps=100 nb_sec=1796 case_no=57 label=Case6.45 nb_sol=0 ticks=93369 tps=100 nb_sec=933 case_no=57 label=Case6.45 nb_sol=0 ticks=63733 tps=100 nb_sec=637 case_no=57 label=Case6.45 nb_sol=0 ticks=123638 tps=100 nb_sec=1236 case_no=57 label=Case6.45 nb_sol=0 ticks=103403 tps=100 nb_sec=1034 case_no=57 label=Case6.45 nb_sol=0 ticks=62093 tps=100 nb_sec=620 case_no=57 label=Case6.45 nb_sol=0 ticks=95511 tps=100 nb_sec=955 case_no=57 label=Case6.45 nb_sol=0 ticks=61571 tps=100 nb_sec=615 case_no=57 label=Case6.45 nb_sol=0 ticks=112543 tps=100 nb_sec=1125 case_no=57 label=Case6.45 nb_sol=0 ticks=61617 tps=100 nb_sec=616 case_no=57 label=Case6.45 nb_sol=0 ticks=75231 tps=100 nb_sec=752 case_no=57 label=Case6.45 nb_sol=0 ticks=71818 tps=100 nb_sec=718 case_no=57 label=Case6.45 nb_sol=0 ticks=97804 tps=100 nb_sec=978 case_no=57 label=Case6.45 nb_sol=0 ticks=73532 tps=100 nb_sec=735 case_no=57 label=Case6.45 nb_sol=0 ticks=65729 tps=100 nb_sec=657 case_no=57 label=Case6.45 nb_sol=0 ticks=62564 tps=100 nb_sec=625 case_no=57 label=Case6.45 nb_sol=0 ticks=65532 tps=100 nb_sec=655 case_no=57 label=Case6.45 nb_sol=0 ticks=85017 tps=100 nb_sec=850 case_no=57 label=Case6.45 nb_sol=0 ticks=86386 tps=100 nb_sec=863 case_no=57 label=Case6.45 nb_sol=0 ticks=62837 tps=100 nb_sec=628 case_no=57 label=Case6.45 nb_sol=0 ticks=61134 tps=100 nb_sec=611 case_no=57 label=Case6.45 nb_sol=0 ticks=67368 tps=100 nb_sec=673 Nb_sol=0 Nb_sec=537904 6-5:25:4 or 149 hours missing cases: none