argc=5 -M 512 file2=30_select_Case6.71_starter_15_ checking files mod 512 from 0 to 511 case_no=83 label=Case6.71 nb_sol=0 ticks=199789 tps=100 nb_sec=1997 case_no=83 label=Case6.71 nb_sol=0 ticks=114248 tps=100 nb_sec=1142 case_no=83 label=Case6.71 nb_sol=0 ticks=288922 tps=100 nb_sec=2889 case_no=83 label=Case6.71 nb_sol=0 ticks=196755 tps=100 nb_sec=1967 case_no=83 label=Case6.71 nb_sol=0 ticks=100596 tps=100 nb_sec=1005 case_no=83 label=Case6.71 nb_sol=0 ticks=178928 tps=100 nb_sec=1789 case_no=83 label=Case6.71 nb_sol=0 ticks=242229 tps=100 nb_sec=2422 case_no=83 label=Case6.71 nb_sol=0 ticks=136033 tps=100 nb_sec=1360 case_no=83 label=Case6.71 nb_sol=0 ticks=168827 tps=100 nb_sec=1688 case_no=83 label=Case6.71 nb_sol=0 ticks=87333 tps=100 nb_sec=873 case_no=83 label=Case6.71 nb_sol=0 ticks=199824 tps=100 nb_sec=1998 case_no=83 label=Case6.71 nb_sol=0 ticks=291731 tps=100 nb_sec=2917 case_no=83 label=Case6.71 nb_sol=0 ticks=183432 tps=100 nb_sec=1834 case_no=83 label=Case6.71 nb_sol=0 ticks=81419 tps=100 nb_sec=814 case_no=83 label=Case6.71 nb_sol=0 ticks=218401 tps=100 nb_sec=2184 case_no=83 label=Case6.71 nb_sol=0 ticks=193158 tps=100 nb_sec=1931 case_no=83 label=Case6.71 nb_sol=0 ticks=184328 tps=100 nb_sec=1843 case_no=83 label=Case6.71 nb_sol=0 ticks=196564 tps=100 nb_sec=1965 case_no=83 label=Case6.71 nb_sol=0 ticks=245165 tps=100 nb_sec=2451 case_no=83 label=Case6.71 nb_sol=0 ticks=232028 tps=100 nb_sec=2320 case_no=83 label=Case6.71 nb_sol=0 ticks=94598 tps=100 nb_sec=945 case_no=83 label=Case6.71 nb_sol=0 ticks=181323 tps=100 nb_sec=1813 case_no=83 label=Case6.71 nb_sol=0 ticks=302463 tps=100 nb_sec=3024 case_no=83 label=Case6.71 nb_sol=0 ticks=145779 tps=100 nb_sec=1457 case_no=83 label=Case6.71 nb_sol=0 ticks=208000 tps=100 nb_sec=2080 case_no=83 label=Case6.71 nb_sol=0 ticks=313754 tps=100 nb_sec=3137 case_no=83 label=Case6.71 nb_sol=0 ticks=144399 tps=100 nb_sec=1443 case_no=83 label=Case6.71 nb_sol=0 ticks=172945 tps=100 nb_sec=1729 case_no=83 label=Case6.71 nb_sol=0 ticks=192365 tps=100 nb_sec=1923 case_no=83 label=Case6.71 nb_sol=0 ticks=211682 tps=100 nb_sec=2116 case_no=83 label=Case6.71 nb_sol=0 ticks=193405 tps=100 nb_sec=1934 case_no=83 label=Case6.71 nb_sol=0 ticks=157229 tps=100 nb_sec=1572 case_no=83 label=Case6.71 nb_sol=0 ticks=319279 tps=100 nb_sec=3192 case_no=83 label=Case6.71 nb_sol=0 ticks=190818 tps=100 nb_sec=1908 case_no=83 label=Case6.71 nb_sol=0 ticks=167981 tps=100 nb_sec=1679 case_no=83 label=Case6.71 nb_sol=0 ticks=237641 tps=100 nb_sec=2376 case_no=83 label=Case6.71 nb_sol=0 ticks=222894 tps=100 nb_sec=2228 case_no=83 label=Case6.71 nb_sol=0 ticks=321236 tps=100 nb_sec=3212 case_no=83 label=Case6.71 nb_sol=0 ticks=179840 tps=100 nb_sec=1798 case_no=83 label=Case6.71 nb_sol=0 ticks=241678 tps=100 nb_sec=2416 case_no=83 label=Case6.71 nb_sol=0 ticks=160023 tps=100 nb_sec=1600 case_no=83 label=Case6.71 nb_sol=0 ticks=196753 tps=100 nb_sec=1967 case_no=83 label=Case6.71 nb_sol=0 ticks=234609 tps=100 nb_sec=2346 case_no=83 label=Case6.71 nb_sol=0 ticks=166168 tps=100 nb_sec=1661 case_no=83 label=Case6.71 nb_sol=0 ticks=164953 tps=100 nb_sec=1649 case_no=83 label=Case6.71 nb_sol=0 ticks=273989 tps=100 nb_sec=2739 case_no=83 label=Case6.71 nb_sol=0 ticks=179830 tps=100 nb_sec=1798 case_no=83 label=Case6.71 nb_sol=0 ticks=166437 tps=100 nb_sec=1664 case_no=83 label=Case6.71 nb_sol=0 ticks=254064 tps=100 nb_sec=2540 case_no=83 label=Case6.71 nb_sol=0 ticks=189724 tps=100 nb_sec=1897 case_no=83 label=Case6.71 nb_sol=0 ticks=201442 tps=100 nb_sec=2014 case_no=83 label=Case6.71 nb_sol=0 ticks=179998 tps=100 nb_sec=1799 case_no=83 label=Case6.71 nb_sol=0 ticks=289793 tps=100 nb_sec=2897 case_no=83 label=Case6.71 nb_sol=0 ticks=177557 tps=100 nb_sec=1775 case_no=83 label=Case6.71 nb_sol=0 ticks=280518 tps=100 nb_sec=2805 case_no=83 label=Case6.71 nb_sol=0 ticks=186411 tps=100 nb_sec=1864 case_no=83 label=Case6.71 nb_sol=0 ticks=188071 tps=100 nb_sec=1880 case_no=83 label=Case6.71 nb_sol=0 ticks=232498 tps=100 nb_sec=2324 case_no=83 label=Case6.71 nb_sol=0 ticks=136678 tps=100 nb_sec=1366 case_no=83 label=Case6.71 nb_sol=0 ticks=208489 tps=100 nb_sec=2084 case_no=83 label=Case6.71 nb_sol=0 ticks=169448 tps=100 nb_sec=1694 case_no=83 label=Case6.71 nb_sol=0 ticks=254134 tps=100 nb_sec=2541 case_no=83 label=Case6.71 nb_sol=0 ticks=178788 tps=100 nb_sec=1787 case_no=83 label=Case6.71 nb_sol=0 ticks=317388 tps=100 nb_sec=3173 case_no=83 label=Case6.71 nb_sol=0 ticks=144768 tps=100 nb_sec=1447 case_no=83 label=Case6.71 nb_sol=0 ticks=152891 tps=100 nb_sec=1528 case_no=83 label=Case6.71 nb_sol=0 ticks=208913 tps=100 nb_sec=2089 case_no=83 label=Case6.71 nb_sol=0 ticks=278667 tps=100 nb_sec=2786 case_no=83 label=Case6.71 nb_sol=0 ticks=285397 tps=100 nb_sec=2853 case_no=83 label=Case6.71 nb_sol=0 ticks=136868 tps=100 nb_sec=1368 case_no=83 label=Case6.71 nb_sol=0 ticks=171706 tps=100 nb_sec=1717 case_no=83 label=Case6.71 nb_sol=0 ticks=334063 tps=100 nb_sec=3340 case_no=83 label=Case6.71 nb_sol=0 ticks=178394 tps=100 nb_sec=1783 case_no=83 label=Case6.71 nb_sol=0 ticks=179261 tps=100 nb_sec=1792 case_no=83 label=Case6.71 nb_sol=0 ticks=246864 tps=100 nb_sec=2468 case_no=83 label=Case6.71 nb_sol=0 ticks=162227 tps=100 nb_sec=1622 case_no=83 label=Case6.71 nb_sol=0 ticks=121819 tps=100 nb_sec=1218 case_no=83 label=Case6.71 nb_sol=0 ticks=257055 tps=100 nb_sec=2570 case_no=83 label=Case6.71 nb_sol=0 ticks=108258 tps=100 nb_sec=1082 case_no=83 label=Case6.71 nb_sol=0 ticks=197795 tps=100 nb_sec=1977 case_no=83 label=Case6.71 nb_sol=0 ticks=261061 tps=100 nb_sec=2610 case_no=83 label=Case6.71 nb_sol=0 ticks=147781 tps=100 nb_sec=1477 case_no=83 label=Case6.71 nb_sol=0 ticks=192142 tps=100 nb_sec=1921 case_no=83 label=Case6.71 nb_sol=0 ticks=200369 tps=100 nb_sec=2003 case_no=83 label=Case6.71 nb_sol=0 ticks=191962 tps=100 nb_sec=1919 case_no=83 label=Case6.71 nb_sol=0 ticks=154288 tps=100 nb_sec=1542 case_no=83 label=Case6.71 nb_sol=0 ticks=268548 tps=100 nb_sec=2685 case_no=83 label=Case6.71 nb_sol=0 ticks=196935 tps=100 nb_sec=1969 case_no=83 label=Case6.71 nb_sol=0 ticks=165394 tps=100 nb_sec=1653 case_no=83 label=Case6.71 nb_sol=0 ticks=257752 tps=100 nb_sec=2577 case_no=83 label=Case6.71 nb_sol=0 ticks=150356 tps=100 nb_sec=1503 case_no=83 label=Case6.71 nb_sol=0 ticks=136673 tps=100 nb_sec=1366 case_no=83 label=Case6.71 nb_sol=0 ticks=242920 tps=100 nb_sec=2429 case_no=83 label=Case6.71 nb_sol=0 ticks=170858 tps=100 nb_sec=1708 case_no=83 label=Case6.71 nb_sol=0 ticks=173789 tps=100 nb_sec=1737 case_no=83 label=Case6.71 nb_sol=0 ticks=208152 tps=100 nb_sec=2081 case_no=83 label=Case6.71 nb_sol=0 ticks=185603 tps=100 nb_sec=1856 case_no=83 label=Case6.71 nb_sol=0 ticks=179536 tps=100 nb_sec=1795 case_no=83 label=Case6.71 nb_sol=0 ticks=251089 tps=100 nb_sec=2510 case_no=83 label=Case6.71 nb_sol=0 ticks=133478 tps=100 nb_sec=1334 case_no=83 label=Case6.71 nb_sol=0 ticks=159924 tps=100 nb_sec=1599 case_no=83 label=Case6.71 nb_sol=0 ticks=225845 tps=100 nb_sec=2258 case_no=83 label=Case6.71 nb_sol=0 ticks=180966 tps=100 nb_sec=1809 case_no=83 label=Case6.71 nb_sol=0 ticks=177641 tps=100 nb_sec=1776 case_no=83 label=Case6.71 nb_sol=0 ticks=324694 tps=100 nb_sec=3246 case_no=83 label=Case6.71 nb_sol=0 ticks=210613 tps=100 nb_sec=2106 case_no=83 label=Case6.71 nb_sol=0 ticks=188619 tps=100 nb_sec=1886 case_no=83 label=Case6.71 nb_sol=0 ticks=260728 tps=100 nb_sec=2607 case_no=83 label=Case6.71 nb_sol=0 ticks=257025 tps=100 nb_sec=2570 case_no=83 label=Case6.71 nb_sol=0 ticks=225243 tps=100 nb_sec=2252 case_no=83 label=Case6.71 nb_sol=0 ticks=153378 tps=100 nb_sec=1533 case_no=83 label=Case6.71 nb_sol=0 ticks=187363 tps=100 nb_sec=1873 case_no=83 label=Case6.71 nb_sol=0 ticks=177885 tps=100 nb_sec=1778 case_no=83 label=Case6.71 nb_sol=0 ticks=264663 tps=100 nb_sec=2646 case_no=83 label=Case6.71 nb_sol=0 ticks=253463 tps=100 nb_sec=2534 case_no=83 label=Case6.71 nb_sol=0 ticks=125118 tps=100 nb_sec=1251 case_no=83 label=Case6.71 nb_sol=0 ticks=187672 tps=100 nb_sec=1876 case_no=83 label=Case6.71 nb_sol=0 ticks=312154 tps=100 nb_sec=3121 case_no=83 label=Case6.71 nb_sol=0 ticks=250398 tps=100 nb_sec=2503 case_no=83 label=Case6.71 nb_sol=0 ticks=242888 tps=100 nb_sec=2428 case_no=83 label=Case6.71 nb_sol=0 ticks=146084 tps=100 nb_sec=1460 case_no=83 label=Case6.71 nb_sol=0 ticks=150749 tps=100 nb_sec=1507 case_no=83 label=Case6.71 nb_sol=0 ticks=147052 tps=100 nb_sec=1470 case_no=83 label=Case6.71 nb_sol=0 ticks=296242 tps=100 nb_sec=2962 case_no=83 label=Case6.71 nb_sol=0 ticks=279908 tps=100 nb_sec=2799 case_no=83 label=Case6.71 nb_sol=0 ticks=162421 tps=100 nb_sec=1624 case_no=83 label=Case6.71 nb_sol=0 ticks=275558 tps=100 nb_sec=2755 case_no=83 label=Case6.71 nb_sol=0 ticks=204645 tps=100 nb_sec=2046 case_no=83 label=Case6.71 nb_sol=0 ticks=155583 tps=100 nb_sec=1555 case_no=83 label=Case6.71 nb_sol=0 ticks=160421 tps=100 nb_sec=1604 case_no=83 label=Case6.71 nb_sol=0 ticks=81925 tps=100 nb_sec=819 case_no=83 label=Case6.71 nb_sol=0 ticks=241411 tps=100 nb_sec=2414 case_no=83 label=Case6.71 nb_sol=0 ticks=246126 tps=100 nb_sec=2461 case_no=83 label=Case6.71 nb_sol=0 ticks=183855 tps=100 nb_sec=1838 case_no=83 label=Case6.71 nb_sol=0 ticks=245056 tps=100 nb_sec=2450 case_no=83 label=Case6.71 nb_sol=0 ticks=154269 tps=100 nb_sec=1542 case_no=83 label=Case6.71 nb_sol=0 ticks=271283 tps=100 nb_sec=2712 case_no=83 label=Case6.71 nb_sol=0 ticks=184626 tps=100 nb_sec=1846 case_no=83 label=Case6.71 nb_sol=0 ticks=246791 tps=100 nb_sec=2467 case_no=83 label=Case6.71 nb_sol=0 ticks=154758 tps=100 nb_sec=1547 case_no=83 label=Case6.71 nb_sol=0 ticks=278376 tps=100 nb_sec=2783 case_no=83 label=Case6.71 nb_sol=0 ticks=161421 tps=100 nb_sec=1614 case_no=83 label=Case6.71 nb_sol=0 ticks=162656 tps=100 nb_sec=1626 case_no=83 label=Case6.71 nb_sol=0 ticks=119062 tps=100 nb_sec=1190 case_no=83 label=Case6.71 nb_sol=0 ticks=282409 tps=100 nb_sec=2824 case_no=83 label=Case6.71 nb_sol=0 ticks=139826 tps=100 nb_sec=1398 case_no=83 label=Case6.71 nb_sol=0 ticks=163971 tps=100 nb_sec=1639 case_no=83 label=Case6.71 nb_sol=0 ticks=246779 tps=100 nb_sec=2467 case_no=83 label=Case6.71 nb_sol=0 ticks=108350 tps=100 nb_sec=1083 case_no=83 label=Case6.71 nb_sol=0 ticks=171181 tps=100 nb_sec=1711 case_no=83 label=Case6.71 nb_sol=0 ticks=219506 tps=100 nb_sec=2195 case_no=83 label=Case6.71 nb_sol=0 ticks=140551 tps=100 nb_sec=1405 case_no=83 label=Case6.71 nb_sol=0 ticks=181170 tps=100 nb_sec=1811 case_no=83 label=Case6.71 nb_sol=0 ticks=257731 tps=100 nb_sec=2577 case_no=83 label=Case6.71 nb_sol=0 ticks=243821 tps=100 nb_sec=2438 case_no=83 label=Case6.71 nb_sol=0 ticks=124596 tps=100 nb_sec=1245 case_no=83 label=Case6.71 nb_sol=0 ticks=190740 tps=100 nb_sec=1907 case_no=83 label=Case6.71 nb_sol=0 ticks=194347 tps=100 nb_sec=1943 case_no=83 label=Case6.71 nb_sol=0 ticks=147026 tps=100 nb_sec=1470 case_no=83 label=Case6.71 nb_sol=0 ticks=105191 tps=100 nb_sec=1051 case_no=83 label=Case6.71 nb_sol=0 ticks=172437 tps=100 nb_sec=1724 case_no=83 label=Case6.71 nb_sol=0 ticks=182684 tps=100 nb_sec=1826 case_no=83 label=Case6.71 nb_sol=0 ticks=250528 tps=100 nb_sec=2505 case_no=83 label=Case6.71 nb_sol=0 ticks=233704 tps=100 nb_sec=2337 case_no=83 label=Case6.71 nb_sol=0 ticks=201379 tps=100 nb_sec=2013 case_no=83 label=Case6.71 nb_sol=0 ticks=123346 tps=100 nb_sec=1233 case_no=83 label=Case6.71 nb_sol=0 ticks=241879 tps=100 nb_sec=2418 case_no=83 label=Case6.71 nb_sol=0 ticks=216396 tps=100 nb_sec=2163 case_no=83 label=Case6.71 nb_sol=0 ticks=185180 tps=100 nb_sec=1851 case_no=83 label=Case6.71 nb_sol=0 ticks=209489 tps=100 nb_sec=2094 case_no=83 label=Case6.71 nb_sol=0 ticks=168153 tps=100 nb_sec=1681 case_no=83 label=Case6.71 nb_sol=0 ticks=283355 tps=100 nb_sec=2833 case_no=83 label=Case6.71 nb_sol=0 ticks=252263 tps=100 nb_sec=2522 case_no=83 label=Case6.71 nb_sol=0 ticks=200659 tps=100 nb_sec=2006 case_no=83 label=Case6.71 nb_sol=0 ticks=98510 tps=100 nb_sec=985 case_no=83 label=Case6.71 nb_sol=0 ticks=179561 tps=100 nb_sec=1795 case_no=83 label=Case6.71 nb_sol=0 ticks=168763 tps=100 nb_sec=1687 case_no=83 label=Case6.71 nb_sol=0 ticks=282558 tps=100 nb_sec=2825 case_no=83 label=Case6.71 nb_sol=0 ticks=215371 tps=100 nb_sec=2153 case_no=83 label=Case6.71 nb_sol=0 ticks=139496 tps=100 nb_sec=1394 case_no=83 label=Case6.71 nb_sol=0 ticks=180183 tps=100 nb_sec=1801 case_no=83 label=Case6.71 nb_sol=0 ticks=276115 tps=100 nb_sec=2761 case_no=83 label=Case6.71 nb_sol=0 ticks=153183 tps=100 nb_sec=1531 case_no=83 label=Case6.71 nb_sol=0 ticks=134939 tps=100 nb_sec=1349 case_no=83 label=Case6.71 nb_sol=0 ticks=171926 tps=100 nb_sec=1719 case_no=83 label=Case6.71 nb_sol=0 ticks=274545 tps=100 nb_sec=2745 case_no=83 label=Case6.71 nb_sol=0 ticks=191479 tps=100 nb_sec=1914 case_no=83 label=Case6.71 nb_sol=0 ticks=83724 tps=100 nb_sec=837 case_no=83 label=Case6.71 nb_sol=0 ticks=161562 tps=100 nb_sec=1615 case_no=83 label=Case6.71 nb_sol=0 ticks=251707 tps=100 nb_sec=2517 case_no=83 label=Case6.71 nb_sol=0 ticks=203180 tps=100 nb_sec=2031 case_no=83 label=Case6.71 nb_sol=0 ticks=170570 tps=100 nb_sec=1705 case_no=83 label=Case6.71 nb_sol=0 ticks=175125 tps=100 nb_sec=1751 case_no=83 label=Case6.71 nb_sol=0 ticks=284489 tps=100 nb_sec=2844 case_no=83 label=Case6.71 nb_sol=0 ticks=155921 tps=100 nb_sec=1559 case_no=83 label=Case6.71 nb_sol=0 ticks=213590 tps=100 nb_sec=2135 case_no=83 label=Case6.71 nb_sol=0 ticks=266739 tps=100 nb_sec=2667 case_no=83 label=Case6.71 nb_sol=0 ticks=157592 tps=100 nb_sec=1575 case_no=83 label=Case6.71 nb_sol=0 ticks=158835 tps=100 nb_sec=1588 case_no=83 label=Case6.71 nb_sol=0 ticks=251307 tps=100 nb_sec=2513 case_no=83 label=Case6.71 nb_sol=0 ticks=227534 tps=100 nb_sec=2275 case_no=83 label=Case6.71 nb_sol=0 ticks=189850 tps=100 nb_sec=1898 case_no=83 label=Case6.71 nb_sol=0 ticks=278618 tps=100 nb_sec=2786 case_no=83 label=Case6.71 nb_sol=0 ticks=152520 tps=100 nb_sec=1525 case_no=83 label=Case6.71 nb_sol=0 ticks=142248 tps=100 nb_sec=1422 case_no=83 label=Case6.71 nb_sol=0 ticks=221673 tps=100 nb_sec=2216 case_no=83 label=Case6.71 nb_sol=0 ticks=157021 tps=100 nb_sec=1570 case_no=83 label=Case6.71 nb_sol=0 ticks=232918 tps=100 nb_sec=2329 case_no=83 label=Case6.71 nb_sol=0 ticks=154941 tps=100 nb_sec=1549 case_no=83 label=Case6.71 nb_sol=0 ticks=255117 tps=100 nb_sec=2551 case_no=83 label=Case6.71 nb_sol=0 ticks=190910 tps=100 nb_sec=1909 case_no=83 label=Case6.71 nb_sol=0 ticks=222360 tps=100 nb_sec=2223 case_no=83 label=Case6.71 nb_sol=0 ticks=237778 tps=100 nb_sec=2377 case_no=83 label=Case6.71 nb_sol=0 ticks=157685 tps=100 nb_sec=1576 case_no=83 label=Case6.71 nb_sol=0 ticks=253222 tps=100 nb_sec=2532 case_no=83 label=Case6.71 nb_sol=0 ticks=167211 tps=100 nb_sec=1672 case_no=83 label=Case6.71 nb_sol=0 ticks=298257 tps=100 nb_sec=2982 case_no=83 label=Case6.71 nb_sol=0 ticks=183570 tps=100 nb_sec=1835 case_no=83 label=Case6.71 nb_sol=0 ticks=193047 tps=100 nb_sec=1930 case_no=83 label=Case6.71 nb_sol=0 ticks=235560 tps=100 nb_sec=2355 case_no=83 label=Case6.71 nb_sol=0 ticks=67158 tps=100 nb_sec=671 case_no=83 label=Case6.71 nb_sol=0 ticks=165126 tps=100 nb_sec=1651 case_no=83 label=Case6.71 nb_sol=0 ticks=261795 tps=100 nb_sec=2617 case_no=83 label=Case6.71 nb_sol=0 ticks=137933 tps=100 nb_sec=1379 case_no=83 label=Case6.71 nb_sol=0 ticks=145081 tps=100 nb_sec=1450 case_no=83 label=Case6.71 nb_sol=0 ticks=223471 tps=100 nb_sec=2234 case_no=83 label=Case6.71 nb_sol=0 ticks=155384 tps=100 nb_sec=1553 case_no=83 label=Case6.71 nb_sol=0 ticks=164839 tps=100 nb_sec=1648 case_no=83 label=Case6.71 nb_sol=0 ticks=243655 tps=100 nb_sec=2436 case_no=83 label=Case6.71 nb_sol=0 ticks=84730 tps=100 nb_sec=847 case_no=83 label=Case6.71 nb_sol=0 ticks=174547 tps=100 nb_sec=1745 case_no=83 label=Case6.71 nb_sol=0 ticks=250920 tps=100 nb_sec=2509 case_no=83 label=Case6.71 nb_sol=0 ticks=189729 tps=100 nb_sec=1897 case_no=83 label=Case6.71 nb_sol=0 ticks=84991 tps=100 nb_sec=849 case_no=83 label=Case6.71 nb_sol=0 ticks=158855 tps=100 nb_sec=1588 case_no=83 label=Case6.71 nb_sol=0 ticks=256799 tps=100 nb_sec=2567 case_no=83 label=Case6.71 nb_sol=0 ticks=195083 tps=100 nb_sec=1950 case_no=83 label=Case6.71 nb_sol=0 ticks=153945 tps=100 nb_sec=1539 case_no=83 label=Case6.71 nb_sol=0 ticks=89757 tps=100 nb_sec=897 case_no=83 label=Case6.71 nb_sol=0 ticks=234681 tps=100 nb_sec=2346 case_no=83 label=Case6.71 nb_sol=0 ticks=161819 tps=100 nb_sec=1618 case_no=83 label=Case6.71 nb_sol=0 ticks=164022 tps=100 nb_sec=1640 case_no=83 label=Case6.71 nb_sol=0 ticks=164802 tps=100 nb_sec=1648 case_no=83 label=Case6.71 nb_sol=0 ticks=254755 tps=100 nb_sec=2547 case_no=83 label=Case6.71 nb_sol=0 ticks=197638 tps=100 nb_sec=1976 case_no=83 label=Case6.71 nb_sol=0 ticks=141697 tps=100 nb_sec=1416 case_no=83 label=Case6.71 nb_sol=0 ticks=197751 tps=100 nb_sec=1977 case_no=83 label=Case6.71 nb_sol=0 ticks=170111 tps=100 nb_sec=1701 case_no=83 label=Case6.71 nb_sol=0 ticks=120832 tps=100 nb_sec=1208 case_no=83 label=Case6.71 nb_sol=0 ticks=180359 tps=100 nb_sec=1803 case_no=83 label=Case6.71 nb_sol=0 ticks=252910 tps=100 nb_sec=2529 case_no=83 label=Case6.71 nb_sol=0 ticks=249751 tps=100 nb_sec=2497 case_no=83 label=Case6.71 nb_sol=0 ticks=217768 tps=100 nb_sec=2177 case_no=83 label=Case6.71 nb_sol=0 ticks=129076 tps=100 nb_sec=1290 case_no=83 label=Case6.71 nb_sol=0 ticks=182317 tps=100 nb_sec=1823 case_no=83 label=Case6.71 nb_sol=0 ticks=331556 tps=100 nb_sec=3315 case_no=83 label=Case6.71 nb_sol=0 ticks=216103 tps=100 nb_sec=2161 case_no=83 label=Case6.71 nb_sol=0 ticks=127417 tps=100 nb_sec=1274 case_no=83 label=Case6.71 nb_sol=0 ticks=307076 tps=100 nb_sec=3070 case_no=83 label=Case6.71 nb_sol=0 ticks=178825 tps=100 nb_sec=1788 case_no=83 label=Case6.71 nb_sol=0 ticks=206408 tps=100 nb_sec=2064 case_no=83 label=Case6.71 nb_sol=0 ticks=158019 tps=100 nb_sec=1580 case_no=83 label=Case6.71 nb_sol=0 ticks=198693 tps=100 nb_sec=1986 case_no=83 label=Case6.71 nb_sol=0 ticks=295216 tps=100 nb_sec=2952 case_no=83 label=Case6.71 nb_sol=0 ticks=224419 tps=100 nb_sec=2244 case_no=83 label=Case6.71 nb_sol=0 ticks=96607 tps=100 nb_sec=966 case_no=83 label=Case6.71 nb_sol=0 ticks=155968 tps=100 nb_sec=1559 case_no=83 label=Case6.71 nb_sol=0 ticks=224431 tps=100 nb_sec=2244 case_no=83 label=Case6.71 nb_sol=0 ticks=203662 tps=100 nb_sec=2036 case_no=83 label=Case6.71 nb_sol=0 ticks=177129 tps=100 nb_sec=1771 case_no=83 label=Case6.71 nb_sol=0 ticks=201950 tps=100 nb_sec=2019 case_no=83 label=Case6.71 nb_sol=0 ticks=273093 tps=100 nb_sec=2730 case_no=83 label=Case6.71 nb_sol=0 ticks=183769 tps=100 nb_sec=1837 case_no=83 label=Case6.71 nb_sol=0 ticks=246303 tps=100 nb_sec=2463 case_no=83 label=Case6.71 nb_sol=0 ticks=193197 tps=100 nb_sec=1931 case_no=83 label=Case6.71 nb_sol=0 ticks=237243 tps=100 nb_sec=2372 case_no=83 label=Case6.71 nb_sol=0 ticks=151673 tps=100 nb_sec=1516 case_no=83 label=Case6.71 nb_sol=0 ticks=171895 tps=100 nb_sec=1718 case_no=83 label=Case6.71 nb_sol=0 ticks=132655 tps=100 nb_sec=1326 case_no=83 label=Case6.71 nb_sol=0 ticks=206865 tps=100 nb_sec=2068 case_no=83 label=Case6.71 nb_sol=0 ticks=175162 tps=100 nb_sec=1751 case_no=83 label=Case6.71 nb_sol=0 ticks=148411 tps=100 nb_sec=1484 case_no=83 label=Case6.71 nb_sol=0 ticks=132959 tps=100 nb_sec=1329 case_no=83 label=Case6.71 nb_sol=0 ticks=255702 tps=100 nb_sec=2557 case_no=83 label=Case6.71 nb_sol=0 ticks=303252 tps=100 nb_sec=3032 case_no=83 label=Case6.71 nb_sol=0 ticks=195031 tps=100 nb_sec=1950 case_no=83 label=Case6.71 nb_sol=0 ticks=249831 tps=100 nb_sec=2498 case_no=83 label=Case6.71 nb_sol=0 ticks=155998 tps=100 nb_sec=1559 case_no=83 label=Case6.71 nb_sol=0 ticks=135909 tps=100 nb_sec=1359 case_no=83 label=Case6.71 nb_sol=0 ticks=178907 tps=100 nb_sec=1789 case_no=83 label=Case6.71 nb_sol=0 ticks=243196 tps=100 nb_sec=2431 case_no=83 label=Case6.71 nb_sol=0 ticks=165162 tps=100 nb_sec=1651 case_no=83 label=Case6.71 nb_sol=0 ticks=242531 tps=100 nb_sec=2425 case_no=83 label=Case6.71 nb_sol=0 ticks=299387 tps=100 nb_sec=2993 case_no=83 label=Case6.71 nb_sol=0 ticks=242166 tps=100 nb_sec=2421 case_no=83 label=Case6.71 nb_sol=0 ticks=163891 tps=100 nb_sec=1638 case_no=83 label=Case6.71 nb_sol=0 ticks=252622 tps=100 nb_sec=2526 case_no=83 label=Case6.71 nb_sol=0 ticks=184474 tps=100 nb_sec=1844 case_no=83 label=Case6.71 nb_sol=0 ticks=200275 tps=100 nb_sec=2002 case_no=83 label=Case6.71 nb_sol=0 ticks=202037 tps=100 nb_sec=2020 case_no=83 label=Case6.71 nb_sol=0 ticks=108060 tps=100 nb_sec=1080 case_no=83 label=Case6.71 nb_sol=0 ticks=113522 tps=100 nb_sec=1135 case_no=83 label=Case6.71 nb_sol=0 ticks=156234 tps=100 nb_sec=1562 case_no=83 label=Case6.71 nb_sol=0 ticks=181619 tps=100 nb_sec=1816 case_no=83 label=Case6.71 nb_sol=0 ticks=193080 tps=100 nb_sec=1930 case_no=83 label=Case6.71 nb_sol=0 ticks=179170 tps=100 nb_sec=1791 case_no=83 label=Case6.71 nb_sol=0 ticks=270059 tps=100 nb_sec=2700 case_no=83 label=Case6.71 nb_sol=0 ticks=261665 tps=100 nb_sec=2616 case_no=83 label=Case6.71 nb_sol=0 ticks=253209 tps=100 nb_sec=2532 case_no=83 label=Case6.71 nb_sol=0 ticks=255198 tps=100 nb_sec=2551 case_no=83 label=Case6.71 nb_sol=0 ticks=157200 tps=100 nb_sec=1572 case_no=83 label=Case6.71 nb_sol=0 ticks=158327 tps=100 nb_sec=1583 case_no=83 label=Case6.71 nb_sol=0 ticks=129148 tps=100 nb_sec=1291 case_no=83 label=Case6.71 nb_sol=0 ticks=151610 tps=100 nb_sec=1516 case_no=83 label=Case6.71 nb_sol=0 ticks=175796 tps=100 nb_sec=1757 case_no=83 label=Case6.71 nb_sol=0 ticks=247718 tps=100 nb_sec=2477 case_no=83 label=Case6.71 nb_sol=0 ticks=201047 tps=100 nb_sec=2010 case_no=83 label=Case6.71 nb_sol=0 ticks=263205 tps=100 nb_sec=2632 case_no=83 label=Case6.71 nb_sol=0 ticks=170922 tps=100 nb_sec=1709 case_no=83 label=Case6.71 nb_sol=0 ticks=124244 tps=100 nb_sec=1242 case_no=83 label=Case6.71 nb_sol=0 ticks=152866 tps=100 nb_sec=1528 case_no=83 label=Case6.71 nb_sol=0 ticks=268641 tps=100 nb_sec=2686 case_no=83 label=Case6.71 nb_sol=0 ticks=182946 tps=100 nb_sec=1829 case_no=83 label=Case6.71 nb_sol=0 ticks=195243 tps=100 nb_sec=1952 case_no=83 label=Case6.71 nb_sol=0 ticks=162908 tps=100 nb_sec=1629 case_no=83 label=Case6.71 nb_sol=0 ticks=267351 tps=100 nb_sec=2673 case_no=83 label=Case6.71 nb_sol=0 ticks=169513 tps=100 nb_sec=1695 case_no=83 label=Case6.71 nb_sol=0 ticks=245118 tps=100 nb_sec=2451 case_no=83 label=Case6.71 nb_sol=0 ticks=190511 tps=100 nb_sec=1905 case_no=83 label=Case6.71 nb_sol=0 ticks=182093 tps=100 nb_sec=1820 case_no=83 label=Case6.71 nb_sol=0 ticks=165602 tps=100 nb_sec=1656 case_no=83 label=Case6.71 nb_sol=0 ticks=265386 tps=100 nb_sec=2653 case_no=83 label=Case6.71 nb_sol=0 ticks=207293 tps=100 nb_sec=2072 case_no=83 label=Case6.71 nb_sol=0 ticks=233229 tps=100 nb_sec=2332 case_no=83 label=Case6.71 nb_sol=0 ticks=180247 tps=100 nb_sec=1802 case_no=83 label=Case6.71 nb_sol=0 ticks=181896 tps=100 nb_sec=1818 case_no=83 label=Case6.71 nb_sol=0 ticks=213736 tps=100 nb_sec=2137 case_no=83 label=Case6.71 nb_sol=0 ticks=182323 tps=100 nb_sec=1823 case_no=83 label=Case6.71 nb_sol=0 ticks=115029 tps=100 nb_sec=1150 case_no=83 label=Case6.71 nb_sol=0 ticks=174727 tps=100 nb_sec=1747 case_no=83 label=Case6.71 nb_sol=0 ticks=248901 tps=100 nb_sec=2489 case_no=83 label=Case6.71 nb_sol=0 ticks=181057 tps=100 nb_sec=1810 case_no=83 label=Case6.71 nb_sol=0 ticks=146910 tps=100 nb_sec=1469 case_no=83 label=Case6.71 nb_sol=0 ticks=146607 tps=100 nb_sec=1466 case_no=83 label=Case6.71 nb_sol=0 ticks=272722 tps=100 nb_sec=2727 case_no=83 label=Case6.71 nb_sol=0 ticks=179122 tps=100 nb_sec=1791 case_no=83 label=Case6.71 nb_sol=0 ticks=154328 tps=100 nb_sec=1543 case_no=83 label=Case6.71 nb_sol=0 ticks=151745 tps=100 nb_sec=1517 case_no=83 label=Case6.71 nb_sol=0 ticks=151181 tps=100 nb_sec=1511 case_no=83 label=Case6.71 nb_sol=0 ticks=138542 tps=100 nb_sec=1385 case_no=83 label=Case6.71 nb_sol=0 ticks=260859 tps=100 nb_sec=2608 case_no=83 label=Case6.71 nb_sol=0 ticks=166834 tps=100 nb_sec=1668 case_no=83 label=Case6.71 nb_sol=0 ticks=140579 tps=100 nb_sec=1405 case_no=83 label=Case6.71 nb_sol=0 ticks=156517 tps=100 nb_sec=1565 case_no=83 label=Case6.71 nb_sol=0 ticks=146943 tps=100 nb_sec=1469 case_no=83 label=Case6.71 nb_sol=0 ticks=238571 tps=100 nb_sec=2385 case_no=83 label=Case6.71 nb_sol=0 ticks=139221 tps=100 nb_sec=1392 case_no=83 label=Case6.71 nb_sol=0 ticks=172016 tps=100 nb_sec=1720 case_no=83 label=Case6.71 nb_sol=0 ticks=197524 tps=100 nb_sec=1975 case_no=83 label=Case6.71 nb_sol=0 ticks=79667 tps=100 nb_sec=796 case_no=83 label=Case6.71 nb_sol=0 ticks=151089 tps=100 nb_sec=1510 case_no=83 label=Case6.71 nb_sol=0 ticks=247927 tps=100 nb_sec=2479 case_no=83 label=Case6.71 nb_sol=0 ticks=91694 tps=100 nb_sec=916 case_no=83 label=Case6.71 nb_sol=0 ticks=170336 tps=100 nb_sec=1703 case_no=83 label=Case6.71 nb_sol=0 ticks=272990 tps=100 nb_sec=2729 case_no=83 label=Case6.71 nb_sol=0 ticks=135994 tps=100 nb_sec=1359 case_no=83 label=Case6.71 nb_sol=0 ticks=132787 tps=100 nb_sec=1327 case_no=83 label=Case6.71 nb_sol=0 ticks=208950 tps=100 nb_sec=2089 case_no=83 label=Case6.71 nb_sol=0 ticks=161627 tps=100 nb_sec=1616 case_no=83 label=Case6.71 nb_sol=0 ticks=163470 tps=100 nb_sec=1634 case_no=83 label=Case6.71 nb_sol=0 ticks=145582 tps=100 nb_sec=1455 case_no=83 label=Case6.71 nb_sol=0 ticks=170541 tps=100 nb_sec=1705 case_no=83 label=Case6.71 nb_sol=0 ticks=164159 tps=100 nb_sec=1641 case_no=83 label=Case6.71 nb_sol=0 ticks=143641 tps=100 nb_sec=1436 case_no=83 label=Case6.71 nb_sol=0 ticks=273101 tps=100 nb_sec=2731 case_no=83 label=Case6.71 nb_sol=0 ticks=110526 tps=100 nb_sec=1105 case_no=83 label=Case6.71 nb_sol=0 ticks=133167 tps=100 nb_sec=1331 case_no=83 label=Case6.71 nb_sol=0 ticks=238737 tps=100 nb_sec=2387 case_no=83 label=Case6.71 nb_sol=0 ticks=272923 tps=100 nb_sec=2729 case_no=83 label=Case6.71 nb_sol=0 ticks=275823 tps=100 nb_sec=2758 case_no=83 label=Case6.71 nb_sol=0 ticks=166044 tps=100 nb_sec=1660 case_no=83 label=Case6.71 nb_sol=0 ticks=139290 tps=100 nb_sec=1392 case_no=83 label=Case6.71 nb_sol=0 ticks=129397 tps=100 nb_sec=1293 case_no=83 label=Case6.71 nb_sol=0 ticks=202558 tps=100 nb_sec=2025 case_no=83 label=Case6.71 nb_sol=0 ticks=215320 tps=100 nb_sec=2153 case_no=83 label=Case6.71 nb_sol=0 ticks=94690 tps=100 nb_sec=946 case_no=83 label=Case6.71 nb_sol=0 ticks=186477 tps=100 nb_sec=1864 case_no=83 label=Case6.71 nb_sol=0 ticks=163325 tps=100 nb_sec=1633 case_no=83 label=Case6.71 nb_sol=0 ticks=189313 tps=100 nb_sec=1893 case_no=83 label=Case6.71 nb_sol=0 ticks=251975 tps=100 nb_sec=2519 case_no=83 label=Case6.71 nb_sol=0 ticks=298492 tps=100 nb_sec=2984 case_no=83 label=Case6.71 nb_sol=0 ticks=248900 tps=100 nb_sec=2489 case_no=83 label=Case6.71 nb_sol=0 ticks=189624 tps=100 nb_sec=1896 case_no=83 label=Case6.71 nb_sol=0 ticks=156424 tps=100 nb_sec=1564 case_no=83 label=Case6.71 nb_sol=0 ticks=188882 tps=100 nb_sec=1888 case_no=83 label=Case6.71 nb_sol=0 ticks=278955 tps=100 nb_sec=2789 case_no=83 label=Case6.71 nb_sol=0 ticks=259683 tps=100 nb_sec=2596 case_no=83 label=Case6.71 nb_sol=0 ticks=164521 tps=100 nb_sec=1645 case_no=83 label=Case6.71 nb_sol=0 ticks=162563 tps=100 nb_sec=1625 case_no=83 label=Case6.71 nb_sol=0 ticks=162160 tps=100 nb_sec=1621 case_no=83 label=Case6.71 nb_sol=0 ticks=302174 tps=100 nb_sec=3021 case_no=83 label=Case6.71 nb_sol=0 ticks=179609 tps=100 nb_sec=1796 case_no=83 label=Case6.71 nb_sol=0 ticks=213281 tps=100 nb_sec=2132 case_no=83 label=Case6.71 nb_sol=0 ticks=174119 tps=100 nb_sec=1741 case_no=83 label=Case6.71 nb_sol=0 ticks=204809 tps=100 nb_sec=2048 case_no=83 label=Case6.71 nb_sol=0 ticks=178638 tps=100 nb_sec=1786 case_no=83 label=Case6.71 nb_sol=0 ticks=137627 tps=100 nb_sec=1376 case_no=83 label=Case6.71 nb_sol=0 ticks=142226 tps=100 nb_sec=1422 case_no=83 label=Case6.71 nb_sol=0 ticks=163901 tps=100 nb_sec=1639 case_no=83 label=Case6.71 nb_sol=0 ticks=282018 tps=100 nb_sec=2820 case_no=83 label=Case6.71 nb_sol=0 ticks=162213 tps=100 nb_sec=1622 case_no=83 label=Case6.71 nb_sol=0 ticks=196226 tps=100 nb_sec=1962 case_no=83 label=Case6.71 nb_sol=0 ticks=189749 tps=100 nb_sec=1897 case_no=83 label=Case6.71 nb_sol=0 ticks=135245 tps=100 nb_sec=1352 case_no=83 label=Case6.71 nb_sol=0 ticks=158874 tps=100 nb_sec=1588 case_no=83 label=Case6.71 nb_sol=0 ticks=267475 tps=100 nb_sec=2674 case_no=83 label=Case6.71 nb_sol=0 ticks=228615 tps=100 nb_sec=2286 case_no=83 label=Case6.71 nb_sol=0 ticks=152350 tps=100 nb_sec=1523 case_no=83 label=Case6.71 nb_sol=0 ticks=182243 tps=100 nb_sec=1822 case_no=83 label=Case6.71 nb_sol=0 ticks=184547 tps=100 nb_sec=1845 case_no=83 label=Case6.71 nb_sol=0 ticks=220979 tps=100 nb_sec=2209 case_no=83 label=Case6.71 nb_sol=0 ticks=153760 tps=100 nb_sec=1537 case_no=83 label=Case6.71 nb_sol=0 ticks=150587 tps=100 nb_sec=1505 case_no=83 label=Case6.71 nb_sol=0 ticks=171092 tps=100 nb_sec=1710 case_no=83 label=Case6.71 nb_sol=0 ticks=290820 tps=100 nb_sec=2908 case_no=83 label=Case6.71 nb_sol=0 ticks=190874 tps=100 nb_sec=1908 case_no=83 label=Case6.71 nb_sol=0 ticks=272325 tps=100 nb_sec=2723 case_no=83 label=Case6.71 nb_sol=0 ticks=162803 tps=100 nb_sec=1628 case_no=83 label=Case6.71 nb_sol=0 ticks=260163 tps=100 nb_sec=2601 case_no=83 label=Case6.71 nb_sol=0 ticks=217097 tps=100 nb_sec=2170 case_no=83 label=Case6.71 nb_sol=0 ticks=196141 tps=100 nb_sec=1961 case_no=83 label=Case6.71 nb_sol=0 ticks=304605 tps=100 nb_sec=3046 case_no=83 label=Case6.71 nb_sol=0 ticks=196520 tps=100 nb_sec=1965 case_no=83 label=Case6.71 nb_sol=0 ticks=101993 tps=100 nb_sec=1019 case_no=83 label=Case6.71 nb_sol=0 ticks=144477 tps=100 nb_sec=1444 case_no=83 label=Case6.71 nb_sol=0 ticks=176630 tps=100 nb_sec=1766 case_no=83 label=Case6.71 nb_sol=0 ticks=227856 tps=100 nb_sec=2278 case_no=83 label=Case6.71 nb_sol=0 ticks=191654 tps=100 nb_sec=1916 case_no=83 label=Case6.71 nb_sol=0 ticks=138502 tps=100 nb_sec=1385 case_no=83 label=Case6.71 nb_sol=0 ticks=170337 tps=100 nb_sec=1703 case_no=83 label=Case6.71 nb_sol=0 ticks=324310 tps=100 nb_sec=3243 case_no=83 label=Case6.71 nb_sol=0 ticks=249275 tps=100 nb_sec=2492 case_no=83 label=Case6.71 nb_sol=0 ticks=91024 tps=100 nb_sec=910 case_no=83 label=Case6.71 nb_sol=0 ticks=158201 tps=100 nb_sec=1582 case_no=83 label=Case6.71 nb_sol=0 ticks=169204 tps=100 nb_sec=1692 case_no=83 label=Case6.71 nb_sol=0 ticks=149591 tps=100 nb_sec=1495 case_no=83 label=Case6.71 nb_sol=0 ticks=211703 tps=100 nb_sec=2117 case_no=83 label=Case6.71 nb_sol=0 ticks=148671 tps=100 nb_sec=1486 case_no=83 label=Case6.71 nb_sol=0 ticks=139752 tps=100 nb_sec=1397 case_no=83 label=Case6.71 nb_sol=0 ticks=146613 tps=100 nb_sec=1466 case_no=83 label=Case6.71 nb_sol=0 ticks=238007 tps=100 nb_sec=2380 case_no=83 label=Case6.71 nb_sol=0 ticks=224748 tps=100 nb_sec=2247 case_no=83 label=Case6.71 nb_sol=0 ticks=152376 tps=100 nb_sec=1523 case_no=83 label=Case6.71 nb_sol=0 ticks=121021 tps=100 nb_sec=1210 case_no=83 label=Case6.71 nb_sol=0 ticks=117113 tps=100 nb_sec=1171 case_no=83 label=Case6.71 nb_sol=0 ticks=207066 tps=100 nb_sec=2070 case_no=83 label=Case6.71 nb_sol=0 ticks=177678 tps=100 nb_sec=1776 case_no=83 label=Case6.71 nb_sol=0 ticks=168379 tps=100 nb_sec=1683 case_no=83 label=Case6.71 nb_sol=0 ticks=153563 tps=100 nb_sec=1535 case_no=83 label=Case6.71 nb_sol=0 ticks=157191 tps=100 nb_sec=1571 case_no=83 label=Case6.71 nb_sol=0 ticks=236385 tps=100 nb_sec=2363 case_no=83 label=Case6.71 nb_sol=0 ticks=131595 tps=100 nb_sec=1315 case_no=83 label=Case6.71 nb_sol=0 ticks=138657 tps=100 nb_sec=1386 case_no=83 label=Case6.71 nb_sol=0 ticks=191885 tps=100 nb_sec=1918 case_no=83 label=Case6.71 nb_sol=0 ticks=110133 tps=100 nb_sec=1101 case_no=83 label=Case6.71 nb_sol=0 ticks=244000 tps=100 nb_sec=2440 case_no=83 label=Case6.71 nb_sol=0 ticks=146571 tps=100 nb_sec=1465 case_no=83 label=Case6.71 nb_sol=0 ticks=175005 tps=100 nb_sec=1750 case_no=83 label=Case6.71 nb_sol=0 ticks=117634 tps=100 nb_sec=1176 case_no=83 label=Case6.71 nb_sol=0 ticks=223956 tps=100 nb_sec=2239 case_no=83 label=Case6.71 nb_sol=0 ticks=142972 tps=100 nb_sec=1429 case_no=83 label=Case6.71 nb_sol=0 ticks=232636 tps=100 nb_sec=2326 case_no=83 label=Case6.71 nb_sol=0 ticks=131437 tps=100 nb_sec=1314 case_no=83 label=Case6.71 nb_sol=0 ticks=150615 tps=100 nb_sec=1506 case_no=83 label=Case6.71 nb_sol=0 ticks=162298 tps=100 nb_sec=1622 case_no=83 label=Case6.71 nb_sol=0 ticks=244329 tps=100 nb_sec=2443 case_no=83 label=Case6.71 nb_sol=0 ticks=145057 tps=100 nb_sec=1450 case_no=83 label=Case6.71 nb_sol=0 ticks=122756 tps=100 nb_sec=1227 case_no=83 label=Case6.71 nb_sol=0 ticks=257547 tps=100 nb_sec=2575 case_no=83 label=Case6.71 nb_sol=0 ticks=139565 tps=100 nb_sec=1395 case_no=83 label=Case6.71 nb_sol=0 ticks=151441 tps=100 nb_sec=1514 case_no=83 label=Case6.71 nb_sol=0 ticks=290830 tps=100 nb_sec=2908 case_no=83 label=Case6.71 nb_sol=0 ticks=212007 tps=100 nb_sec=2120 case_no=83 label=Case6.71 nb_sol=0 ticks=175475 tps=100 nb_sec=1754 case_no=83 label=Case6.71 nb_sol=0 ticks=138880 tps=100 nb_sec=1388 case_no=83 label=Case6.71 nb_sol=0 ticks=121979 tps=100 nb_sec=1219 case_no=83 label=Case6.71 nb_sol=0 ticks=231455 tps=100 nb_sec=2314 case_no=83 label=Case6.71 nb_sol=0 ticks=150974 tps=100 nb_sec=1509 case_no=83 label=Case6.71 nb_sol=0 ticks=151471 tps=100 nb_sec=1514 case_no=83 label=Case6.71 nb_sol=0 ticks=225570 tps=100 nb_sec=2255 case_no=83 label=Case6.71 nb_sol=0 ticks=128045 tps=100 nb_sec=1280 case_no=83 label=Case6.71 nb_sol=0 ticks=137143 tps=100 nb_sec=1371 case_no=83 label=Case6.71 nb_sol=0 ticks=209080 tps=100 nb_sec=2090 case_no=83 label=Case6.71 nb_sol=0 ticks=146994 tps=100 nb_sec=1469 case_no=83 label=Case6.71 nb_sol=0 ticks=168234 tps=100 nb_sec=1682 case_no=83 label=Case6.71 nb_sol=0 ticks=178082 tps=100 nb_sec=1780 case_no=83 label=Case6.71 nb_sol=0 ticks=121196 tps=100 nb_sec=1211 case_no=83 label=Case6.71 nb_sol=0 ticks=137167 tps=100 nb_sec=1371 case_no=83 label=Case6.71 nb_sol=0 ticks=213619 tps=100 nb_sec=2136 case_no=83 label=Case6.71 nb_sol=0 ticks=160220 tps=100 nb_sec=1602 case_no=83 label=Case6.71 nb_sol=0 ticks=139507 tps=100 nb_sec=1395 case_no=83 label=Case6.71 nb_sol=0 ticks=224124 tps=100 nb_sec=2241 case_no=83 label=Case6.71 nb_sol=0 ticks=169098 tps=100 nb_sec=1690 case_no=83 label=Case6.71 nb_sol=0 ticks=237380 tps=100 nb_sec=2373 case_no=83 label=Case6.71 nb_sol=0 ticks=159335 tps=100 nb_sec=1593 case_no=83 label=Case6.71 nb_sol=0 ticks=143180 tps=100 nb_sec=1431 case_no=83 label=Case6.71 nb_sol=0 ticks=140717 tps=100 nb_sec=1407 case_no=83 label=Case6.71 nb_sol=0 ticks=159652 tps=100 nb_sec=1596 case_no=83 label=Case6.71 nb_sol=0 ticks=119535 tps=100 nb_sec=1195 case_no=83 label=Case6.71 nb_sol=0 ticks=187968 tps=100 nb_sec=1879 case_no=83 label=Case6.71 nb_sol=0 ticks=273731 tps=100 nb_sec=2737 case_no=83 label=Case6.71 nb_sol=0 ticks=181327 tps=100 nb_sec=1813 Nb_sol=0 Nb_sec=984366 11-9:26:6 or 273 hours missing cases: none