argc=5 -M 512 file2=30_select_Case6.73_starter_15_ checking files mod 512 from 0 to 511 case_no=85 label=Case6.73 nb_sol=0 ticks=208423 tps=100 nb_sec=2084 case_no=85 label=Case6.73 nb_sol=0 ticks=246211 tps=100 nb_sec=2462 case_no=85 label=Case6.73 nb_sol=0 ticks=190756 tps=100 nb_sec=1907 case_no=85 label=Case6.73 nb_sol=0 ticks=154099 tps=100 nb_sec=1540 case_no=85 label=Case6.73 nb_sol=0 ticks=194095 tps=100 nb_sec=1940 case_no=85 label=Case6.73 nb_sol=0 ticks=159625 tps=100 nb_sec=1596 case_no=85 label=Case6.73 nb_sol=0 ticks=149395 tps=100 nb_sec=1493 case_no=85 label=Case6.73 nb_sol=0 ticks=100402 tps=100 nb_sec=1004 case_no=85 label=Case6.73 nb_sol=0 ticks=204391 tps=100 nb_sec=2043 case_no=85 label=Case6.73 nb_sol=0 ticks=173534 tps=100 nb_sec=1735 case_no=85 label=Case6.73 nb_sol=0 ticks=162705 tps=100 nb_sec=1627 case_no=85 label=Case6.73 nb_sol=0 ticks=276637 tps=100 nb_sec=2766 case_no=85 label=Case6.73 nb_sol=0 ticks=123445 tps=100 nb_sec=1234 case_no=85 label=Case6.73 nb_sol=0 ticks=176496 tps=100 nb_sec=1764 case_no=85 label=Case6.73 nb_sol=0 ticks=169428 tps=100 nb_sec=1694 case_no=85 label=Case6.73 nb_sol=0 ticks=161754 tps=100 nb_sec=1617 case_no=85 label=Case6.73 nb_sol=0 ticks=150938 tps=100 nb_sec=1509 case_no=85 label=Case6.73 nb_sol=0 ticks=248639 tps=100 nb_sec=2486 case_no=85 label=Case6.73 nb_sol=0 ticks=125980 tps=100 nb_sec=1259 case_no=85 label=Case6.73 nb_sol=0 ticks=215952 tps=100 nb_sec=2159 case_no=85 label=Case6.73 nb_sol=0 ticks=186790 tps=100 nb_sec=1867 case_no=85 label=Case6.73 nb_sol=0 ticks=185678 tps=100 nb_sec=1856 case_no=85 label=Case6.73 nb_sol=0 ticks=276330 tps=100 nb_sec=2763 case_no=85 label=Case6.73 nb_sol=0 ticks=163829 tps=100 nb_sec=1638 case_no=85 label=Case6.73 nb_sol=0 ticks=159417 tps=100 nb_sec=1594 case_no=85 label=Case6.73 nb_sol=0 ticks=244551 tps=100 nb_sec=2445 case_no=85 label=Case6.73 nb_sol=0 ticks=352895 tps=100 nb_sec=3528 case_no=85 label=Case6.73 nb_sol=0 ticks=151137 tps=100 nb_sec=1511 case_no=85 label=Case6.73 nb_sol=0 ticks=262042 tps=100 nb_sec=2620 case_no=85 label=Case6.73 nb_sol=0 ticks=215199 tps=100 nb_sec=2151 case_no=85 label=Case6.73 nb_sol=0 ticks=165926 tps=100 nb_sec=1659 case_no=85 label=Case6.73 nb_sol=0 ticks=199218 tps=100 nb_sec=1992 case_no=85 label=Case6.73 nb_sol=0 ticks=220570 tps=100 nb_sec=2205 case_no=85 label=Case6.73 nb_sol=0 ticks=191887 tps=100 nb_sec=1918 case_no=85 label=Case6.73 nb_sol=0 ticks=173707 tps=100 nb_sec=1737 case_no=85 label=Case6.73 nb_sol=0 ticks=189010 tps=100 nb_sec=1890 case_no=85 label=Case6.73 nb_sol=0 ticks=218752 tps=100 nb_sec=2187 case_no=85 label=Case6.73 nb_sol=0 ticks=161316 tps=100 nb_sec=1613 case_no=85 label=Case6.73 nb_sol=0 ticks=164686 tps=100 nb_sec=1646 case_no=85 label=Case6.73 nb_sol=0 ticks=174475 tps=100 nb_sec=1744 case_no=85 label=Case6.73 nb_sol=0 ticks=154364 tps=100 nb_sec=1543 case_no=85 label=Case6.73 nb_sol=0 ticks=201612 tps=100 nb_sec=2016 case_no=85 label=Case6.73 nb_sol=0 ticks=132426 tps=100 nb_sec=1324 case_no=85 label=Case6.73 nb_sol=0 ticks=104298 tps=100 nb_sec=1042 case_no=85 label=Case6.73 nb_sol=0 ticks=277524 tps=100 nb_sec=2775 case_no=85 label=Case6.73 nb_sol=0 ticks=196037 tps=100 nb_sec=1960 case_no=85 label=Case6.73 nb_sol=0 ticks=127890 tps=100 nb_sec=1278 case_no=85 label=Case6.73 nb_sol=0 ticks=198525 tps=100 nb_sec=1985 case_no=85 label=Case6.73 nb_sol=0 ticks=177643 tps=100 nb_sec=1776 case_no=85 label=Case6.73 nb_sol=0 ticks=202344 tps=100 nb_sec=2023 case_no=85 label=Case6.73 nb_sol=0 ticks=212085 tps=100 nb_sec=2120 case_no=85 label=Case6.73 nb_sol=0 ticks=204253 tps=100 nb_sec=2042 case_no=85 label=Case6.73 nb_sol=0 ticks=287014 tps=100 nb_sec=2870 case_no=85 label=Case6.73 nb_sol=0 ticks=181041 tps=100 nb_sec=1810 case_no=85 label=Case6.73 nb_sol=0 ticks=195284 tps=100 nb_sec=1952 case_no=85 label=Case6.73 nb_sol=0 ticks=178538 tps=100 nb_sec=1785 case_no=85 label=Case6.73 nb_sol=0 ticks=355324 tps=100 nb_sec=3553 case_no=85 label=Case6.73 nb_sol=0 ticks=181213 tps=100 nb_sec=1812 case_no=85 label=Case6.73 nb_sol=0 ticks=149381 tps=100 nb_sec=1493 case_no=85 label=Case6.73 nb_sol=0 ticks=135705 tps=100 nb_sec=1357 case_no=85 label=Case6.73 nb_sol=0 ticks=191556 tps=100 nb_sec=1915 case_no=85 label=Case6.73 nb_sol=0 ticks=169425 tps=100 nb_sec=1694 case_no=85 label=Case6.73 nb_sol=0 ticks=315599 tps=100 nb_sec=3155 case_no=85 label=Case6.73 nb_sol=0 ticks=148226 tps=100 nb_sec=1482 case_no=85 label=Case6.73 nb_sol=0 ticks=193118 tps=100 nb_sec=1931 case_no=85 label=Case6.73 nb_sol=0 ticks=159405 tps=100 nb_sec=1594 case_no=85 label=Case6.73 nb_sol=0 ticks=148632 tps=100 nb_sec=1486 case_no=85 label=Case6.73 nb_sol=0 ticks=157809 tps=100 nb_sec=1578 case_no=85 label=Case6.73 nb_sol=0 ticks=157431 tps=100 nb_sec=1574 case_no=85 label=Case6.73 nb_sol=0 ticks=220927 tps=100 nb_sec=2209 case_no=85 label=Case6.73 nb_sol=0 ticks=192775 tps=100 nb_sec=1927 case_no=85 label=Case6.73 nb_sol=0 ticks=163297 tps=100 nb_sec=1632 case_no=85 label=Case6.73 nb_sol=0 ticks=320558 tps=100 nb_sec=3205 case_no=85 label=Case6.73 nb_sol=0 ticks=210275 tps=100 nb_sec=2102 case_no=85 label=Case6.73 nb_sol=0 ticks=206240 tps=100 nb_sec=2062 case_no=85 label=Case6.73 nb_sol=0 ticks=142489 tps=100 nb_sec=1424 case_no=85 label=Case6.73 nb_sol=0 ticks=146664 tps=100 nb_sec=1466 case_no=85 label=Case6.73 nb_sol=0 ticks=183176 tps=100 nb_sec=1831 case_no=85 label=Case6.73 nb_sol=0 ticks=165217 tps=100 nb_sec=1652 case_no=85 label=Case6.73 nb_sol=0 ticks=220294 tps=100 nb_sec=2202 case_no=85 label=Case6.73 nb_sol=0 ticks=210804 tps=100 nb_sec=2108 case_no=85 label=Case6.73 nb_sol=0 ticks=123794 tps=100 nb_sec=1237 case_no=85 label=Case6.73 nb_sol=0 ticks=279291 tps=100 nb_sec=2792 case_no=85 label=Case6.73 nb_sol=0 ticks=128424 tps=100 nb_sec=1284 case_no=85 label=Case6.73 nb_sol=0 ticks=203592 tps=100 nb_sec=2035 case_no=85 label=Case6.73 nb_sol=0 ticks=166068 tps=100 nb_sec=1660 case_no=85 label=Case6.73 nb_sol=0 ticks=187196 tps=100 nb_sec=1871 case_no=85 label=Case6.73 nb_sol=0 ticks=118123 tps=100 nb_sec=1181 case_no=85 label=Case6.73 nb_sol=0 ticks=193517 tps=100 nb_sec=1935 case_no=85 label=Case6.73 nb_sol=0 ticks=199729 tps=100 nb_sec=1997 case_no=85 label=Case6.73 nb_sol=0 ticks=182720 tps=100 nb_sec=1827 case_no=85 label=Case6.73 nb_sol=0 ticks=141490 tps=100 nb_sec=1414 case_no=85 label=Case6.73 nb_sol=0 ticks=178757 tps=100 nb_sec=1787 case_no=85 label=Case6.73 nb_sol=0 ticks=126565 tps=100 nb_sec=1265 case_no=85 label=Case6.73 nb_sol=0 ticks=175517 tps=100 nb_sec=1755 case_no=85 label=Case6.73 nb_sol=0 ticks=180407 tps=100 nb_sec=1804 case_no=85 label=Case6.73 nb_sol=0 ticks=187059 tps=100 nb_sec=1870 case_no=85 label=Case6.73 nb_sol=0 ticks=206816 tps=100 nb_sec=2068 case_no=85 label=Case6.73 nb_sol=0 ticks=260018 tps=100 nb_sec=2600 case_no=85 label=Case6.73 nb_sol=0 ticks=126219 tps=100 nb_sec=1262 case_no=85 label=Case6.73 nb_sol=0 ticks=143382 tps=100 nb_sec=1433 case_no=85 label=Case6.73 nb_sol=0 ticks=194213 tps=100 nb_sec=1942 case_no=85 label=Case6.73 nb_sol=0 ticks=256770 tps=100 nb_sec=2567 case_no=85 label=Case6.73 nb_sol=0 ticks=189986 tps=100 nb_sec=1899 case_no=85 label=Case6.73 nb_sol=0 ticks=268967 tps=100 nb_sec=2689 case_no=85 label=Case6.73 nb_sol=0 ticks=149533 tps=100 nb_sec=1495 case_no=85 label=Case6.73 nb_sol=0 ticks=193262 tps=100 nb_sec=1932 case_no=85 label=Case6.73 nb_sol=0 ticks=235877 tps=100 nb_sec=2358 case_no=85 label=Case6.73 nb_sol=0 ticks=175470 tps=100 nb_sec=1754 case_no=85 label=Case6.73 nb_sol=0 ticks=155577 tps=100 nb_sec=1555 case_no=85 label=Case6.73 nb_sol=0 ticks=177109 tps=100 nb_sec=1771 case_no=85 label=Case6.73 nb_sol=0 ticks=229272 tps=100 nb_sec=2292 case_no=85 label=Case6.73 nb_sol=0 ticks=233845 tps=100 nb_sec=2338 case_no=85 label=Case6.73 nb_sol=0 ticks=210060 tps=100 nb_sec=2100 case_no=85 label=Case6.73 nb_sol=0 ticks=202300 tps=100 nb_sec=2023 case_no=85 label=Case6.73 nb_sol=0 ticks=178959 tps=100 nb_sec=1789 case_no=85 label=Case6.73 nb_sol=0 ticks=224484 tps=100 nb_sec=2244 case_no=85 label=Case6.73 nb_sol=0 ticks=260824 tps=100 nb_sec=2608 case_no=85 label=Case6.73 nb_sol=0 ticks=217524 tps=100 nb_sec=2175 case_no=85 label=Case6.73 nb_sol=0 ticks=194474 tps=100 nb_sec=1944 case_no=85 label=Case6.73 nb_sol=0 ticks=175278 tps=100 nb_sec=1752 case_no=85 label=Case6.73 nb_sol=0 ticks=204918 tps=100 nb_sec=2049 case_no=85 label=Case6.73 nb_sol=0 ticks=183760 tps=100 nb_sec=1837 case_no=85 label=Case6.73 nb_sol=0 ticks=239790 tps=100 nb_sec=2397 case_no=85 label=Case6.73 nb_sol=0 ticks=249452 tps=100 nb_sec=2494 case_no=85 label=Case6.73 nb_sol=0 ticks=232566 tps=100 nb_sec=2325 case_no=85 label=Case6.73 nb_sol=0 ticks=231273 tps=100 nb_sec=2312 case_no=85 label=Case6.73 nb_sol=0 ticks=195464 tps=100 nb_sec=1954 case_no=85 label=Case6.73 nb_sol=0 ticks=195378 tps=100 nb_sec=1953 case_no=85 label=Case6.73 nb_sol=0 ticks=145425 tps=100 nb_sec=1454 case_no=85 label=Case6.73 nb_sol=0 ticks=199440 tps=100 nb_sec=1994 case_no=85 label=Case6.73 nb_sol=0 ticks=440394 tps=100 nb_sec=4403 case_no=85 label=Case6.73 nb_sol=0 ticks=192080 tps=100 nb_sec=1920 case_no=85 label=Case6.73 nb_sol=0 ticks=211836 tps=100 nb_sec=2118 case_no=85 label=Case6.73 nb_sol=0 ticks=173110 tps=100 nb_sec=1731 case_no=85 label=Case6.73 nb_sol=0 ticks=118797 tps=100 nb_sec=1187 case_no=85 label=Case6.73 nb_sol=0 ticks=467781 tps=100 nb_sec=4677 case_no=85 label=Case6.73 nb_sol=0 ticks=207668 tps=100 nb_sec=2076 case_no=85 label=Case6.73 nb_sol=0 ticks=209734 tps=100 nb_sec=2097 case_no=85 label=Case6.73 nb_sol=0 ticks=195183 tps=100 nb_sec=1951 case_no=85 label=Case6.73 nb_sol=0 ticks=207546 tps=100 nb_sec=2075 case_no=85 label=Case6.73 nb_sol=0 ticks=206741 tps=100 nb_sec=2067 case_no=85 label=Case6.73 nb_sol=0 ticks=236735 tps=100 nb_sec=2367 case_no=85 label=Case6.73 nb_sol=0 ticks=197076 tps=100 nb_sec=1970 case_no=85 label=Case6.73 nb_sol=0 ticks=192436 tps=100 nb_sec=1924 case_no=85 label=Case6.73 nb_sol=0 ticks=217661 tps=100 nb_sec=2176 case_no=85 label=Case6.73 nb_sol=0 ticks=198672 tps=100 nb_sec=1986 case_no=85 label=Case6.73 nb_sol=0 ticks=192624 tps=100 nb_sec=1926 case_no=85 label=Case6.73 nb_sol=0 ticks=170411 tps=100 nb_sec=1704 case_no=85 label=Case6.73 nb_sol=0 ticks=189299 tps=100 nb_sec=1892 case_no=85 label=Case6.73 nb_sol=0 ticks=92188 tps=100 nb_sec=921 case_no=85 label=Case6.73 nb_sol=0 ticks=238242 tps=100 nb_sec=2382 case_no=85 label=Case6.73 nb_sol=0 ticks=227782 tps=100 nb_sec=2277 case_no=85 label=Case6.73 nb_sol=0 ticks=180211 tps=100 nb_sec=1802 case_no=85 label=Case6.73 nb_sol=0 ticks=195113 tps=100 nb_sec=1951 case_no=85 label=Case6.73 nb_sol=0 ticks=190886 tps=100 nb_sec=1908 case_no=85 label=Case6.73 nb_sol=0 ticks=157199 tps=100 nb_sec=1571 case_no=85 label=Case6.73 nb_sol=0 ticks=181484 tps=100 nb_sec=1814 case_no=85 label=Case6.73 nb_sol=0 ticks=158861 tps=100 nb_sec=1588 case_no=85 label=Case6.73 nb_sol=0 ticks=105978 tps=100 nb_sec=1059 case_no=85 label=Case6.73 nb_sol=0 ticks=216923 tps=100 nb_sec=2169 case_no=85 label=Case6.73 nb_sol=0 ticks=231341 tps=100 nb_sec=2313 case_no=85 label=Case6.73 nb_sol=0 ticks=211113 tps=100 nb_sec=2111 case_no=85 label=Case6.73 nb_sol=0 ticks=226969 tps=100 nb_sec=2269 case_no=85 label=Case6.73 nb_sol=0 ticks=215564 tps=100 nb_sec=2155 case_no=85 label=Case6.73 nb_sol=0 ticks=207896 tps=100 nb_sec=2078 case_no=85 label=Case6.73 nb_sol=0 ticks=224008 tps=100 nb_sec=2240 case_no=85 label=Case6.73 nb_sol=0 ticks=198504 tps=100 nb_sec=1985 case_no=85 label=Case6.73 nb_sol=0 ticks=208986 tps=100 nb_sec=2089 case_no=85 label=Case6.73 nb_sol=0 ticks=239408 tps=100 nb_sec=2394 case_no=85 label=Case6.73 nb_sol=0 ticks=206046 tps=100 nb_sec=2060 case_no=85 label=Case6.73 nb_sol=0 ticks=216058 tps=100 nb_sec=2160 case_no=85 label=Case6.73 nb_sol=0 ticks=232981 tps=100 nb_sec=2329 case_no=85 label=Case6.73 nb_sol=0 ticks=204912 tps=100 nb_sec=2049 case_no=85 label=Case6.73 nb_sol=0 ticks=240065 tps=100 nb_sec=2400 case_no=85 label=Case6.73 nb_sol=0 ticks=137556 tps=100 nb_sec=1375 case_no=85 label=Case6.73 nb_sol=0 ticks=192588 tps=100 nb_sec=1925 case_no=85 label=Case6.73 nb_sol=0 ticks=138128 tps=100 nb_sec=1381 case_no=85 label=Case6.73 nb_sol=0 ticks=213806 tps=100 nb_sec=2138 case_no=85 label=Case6.73 nb_sol=0 ticks=265832 tps=100 nb_sec=2658 case_no=85 label=Case6.73 nb_sol=0 ticks=240991 tps=100 nb_sec=2409 case_no=85 label=Case6.73 nb_sol=0 ticks=144542 tps=100 nb_sec=1445 case_no=85 label=Case6.73 nb_sol=0 ticks=187899 tps=100 nb_sec=1878 case_no=85 label=Case6.73 nb_sol=0 ticks=229218 tps=100 nb_sec=2292 case_no=85 label=Case6.73 nb_sol=0 ticks=133188 tps=100 nb_sec=1331 case_no=85 label=Case6.73 nb_sol=0 ticks=200276 tps=100 nb_sec=2002 case_no=85 label=Case6.73 nb_sol=0 ticks=254667 tps=100 nb_sec=2546 case_no=85 label=Case6.73 nb_sol=0 ticks=189942 tps=100 nb_sec=1899 case_no=85 label=Case6.73 nb_sol=0 ticks=220870 tps=100 nb_sec=2208 case_no=85 label=Case6.73 nb_sol=0 ticks=135637 tps=100 nb_sec=1356 case_no=85 label=Case6.73 nb_sol=0 ticks=157394 tps=100 nb_sec=1573 case_no=85 label=Case6.73 nb_sol=0 ticks=199334 tps=100 nb_sec=1993 case_no=85 label=Case6.73 nb_sol=0 ticks=195001 tps=100 nb_sec=1950 case_no=85 label=Case6.73 nb_sol=0 ticks=216647 tps=100 nb_sec=2166 case_no=85 label=Case6.73 nb_sol=0 ticks=107753 tps=100 nb_sec=1077 case_no=85 label=Case6.73 nb_sol=0 ticks=263184 tps=100 nb_sec=2631 case_no=85 label=Case6.73 nb_sol=0 ticks=214855 tps=100 nb_sec=2148 case_no=85 label=Case6.73 nb_sol=0 ticks=178540 tps=100 nb_sec=1785 case_no=85 label=Case6.73 nb_sol=0 ticks=186262 tps=100 nb_sec=1862 case_no=85 label=Case6.73 nb_sol=0 ticks=187081 tps=100 nb_sec=1870 case_no=85 label=Case6.73 nb_sol=0 ticks=233376 tps=100 nb_sec=2333 case_no=85 label=Case6.73 nb_sol=0 ticks=150267 tps=100 nb_sec=1502 case_no=85 label=Case6.73 nb_sol=0 ticks=148561 tps=100 nb_sec=1485 case_no=85 label=Case6.73 nb_sol=0 ticks=183042 tps=100 nb_sec=1830 case_no=85 label=Case6.73 nb_sol=0 ticks=160497 tps=100 nb_sec=1604 case_no=85 label=Case6.73 nb_sol=0 ticks=203554 tps=100 nb_sec=2035 case_no=85 label=Case6.73 nb_sol=0 ticks=167063 tps=100 nb_sec=1670 case_no=85 label=Case6.73 nb_sol=0 ticks=216025 tps=100 nb_sec=2160 case_no=85 label=Case6.73 nb_sol=0 ticks=181108 tps=100 nb_sec=1811 case_no=85 label=Case6.73 nb_sol=0 ticks=187274 tps=100 nb_sec=1872 case_no=85 label=Case6.73 nb_sol=0 ticks=255320 tps=100 nb_sec=2553 case_no=85 label=Case6.73 nb_sol=0 ticks=209901 tps=100 nb_sec=2099 case_no=85 label=Case6.73 nb_sol=0 ticks=208891 tps=100 nb_sec=2088 case_no=85 label=Case6.73 nb_sol=0 ticks=203122 tps=100 nb_sec=2031 case_no=85 label=Case6.73 nb_sol=0 ticks=228333 tps=100 nb_sec=2283 case_no=85 label=Case6.73 nb_sol=0 ticks=250326 tps=100 nb_sec=2503 case_no=85 label=Case6.73 nb_sol=0 ticks=214291 tps=100 nb_sec=2142 case_no=85 label=Case6.73 nb_sol=0 ticks=242139 tps=100 nb_sec=2421 case_no=85 label=Case6.73 nb_sol=0 ticks=245081 tps=100 nb_sec=2450 case_no=85 label=Case6.73 nb_sol=0 ticks=222399 tps=100 nb_sec=2223 case_no=85 label=Case6.73 nb_sol=0 ticks=155559 tps=100 nb_sec=1555 case_no=85 label=Case6.73 nb_sol=0 ticks=219845 tps=100 nb_sec=2198 case_no=85 label=Case6.73 nb_sol=0 ticks=221621 tps=100 nb_sec=2216 case_no=85 label=Case6.73 nb_sol=0 ticks=198673 tps=100 nb_sec=1986 case_no=85 label=Case6.73 nb_sol=0 ticks=182993 tps=100 nb_sec=1829 case_no=85 label=Case6.73 nb_sol=0 ticks=220224 tps=100 nb_sec=2202 case_no=85 label=Case6.73 nb_sol=0 ticks=300881 tps=100 nb_sec=3008 case_no=85 label=Case6.73 nb_sol=0 ticks=217483 tps=100 nb_sec=2174 case_no=85 label=Case6.73 nb_sol=0 ticks=187447 tps=100 nb_sec=1874 case_no=85 label=Case6.73 nb_sol=0 ticks=192174 tps=100 nb_sec=1921 case_no=85 label=Case6.73 nb_sol=0 ticks=267324 tps=100 nb_sec=2673 case_no=85 label=Case6.73 nb_sol=0 ticks=236345 tps=100 nb_sec=2363 case_no=85 label=Case6.73 nb_sol=0 ticks=191434 tps=100 nb_sec=1914 case_no=85 label=Case6.73 nb_sol=0 ticks=182259 tps=100 nb_sec=1822 case_no=85 label=Case6.73 nb_sol=0 ticks=157178 tps=100 nb_sec=1571 case_no=85 label=Case6.73 nb_sol=0 ticks=193749 tps=100 nb_sec=1937 case_no=85 label=Case6.73 nb_sol=0 ticks=197644 tps=100 nb_sec=1976 case_no=85 label=Case6.73 nb_sol=0 ticks=252226 tps=100 nb_sec=2522 case_no=85 label=Case6.73 nb_sol=0 ticks=191873 tps=100 nb_sec=1918 case_no=85 label=Case6.73 nb_sol=0 ticks=216768 tps=100 nb_sec=2167 case_no=85 label=Case6.73 nb_sol=0 ticks=146947 tps=100 nb_sec=1469 case_no=85 label=Case6.73 nb_sol=0 ticks=244522 tps=100 nb_sec=2445 case_no=85 label=Case6.73 nb_sol=0 ticks=166876 tps=100 nb_sec=1668 case_no=85 label=Case6.73 nb_sol=0 ticks=164649 tps=100 nb_sec=1646 case_no=85 label=Case6.73 nb_sol=0 ticks=249968 tps=100 nb_sec=2499 case_no=85 label=Case6.73 nb_sol=0 ticks=199534 tps=100 nb_sec=1995 case_no=85 label=Case6.73 nb_sol=0 ticks=177327 tps=100 nb_sec=1773 case_no=85 label=Case6.73 nb_sol=0 ticks=188847 tps=100 nb_sec=1888 case_no=85 label=Case6.73 nb_sol=0 ticks=255338 tps=100 nb_sec=2553 case_no=85 label=Case6.73 nb_sol=0 ticks=253084 tps=100 nb_sec=2530 case_no=85 label=Case6.73 nb_sol=0 ticks=247314 tps=100 nb_sec=2473 case_no=85 label=Case6.73 nb_sol=0 ticks=233168 tps=100 nb_sec=2331 case_no=85 label=Case6.73 nb_sol=0 ticks=254659 tps=100 nb_sec=2546 case_no=85 label=Case6.73 nb_sol=0 ticks=228516 tps=100 nb_sec=2285 case_no=85 label=Case6.73 nb_sol=0 ticks=183740 tps=100 nb_sec=1837 case_no=85 label=Case6.73 nb_sol=0 ticks=244779 tps=100 nb_sec=2447 case_no=85 label=Case6.73 nb_sol=0 ticks=246627 tps=100 nb_sec=2466 case_no=85 label=Case6.73 nb_sol=0 ticks=209212 tps=100 nb_sec=2092 case_no=85 label=Case6.73 nb_sol=0 ticks=284753 tps=100 nb_sec=2847 case_no=85 label=Case6.73 nb_sol=0 ticks=150743 tps=100 nb_sec=1507 case_no=85 label=Case6.73 nb_sol=0 ticks=188895 tps=100 nb_sec=1888 case_no=85 label=Case6.73 nb_sol=0 ticks=194972 tps=100 nb_sec=1949 case_no=85 label=Case6.73 nb_sol=0 ticks=191345 tps=100 nb_sec=1913 case_no=85 label=Case6.73 nb_sol=0 ticks=225467 tps=100 nb_sec=2254 case_no=85 label=Case6.73 nb_sol=0 ticks=273138 tps=100 nb_sec=2731 case_no=85 label=Case6.73 nb_sol=0 ticks=210874 tps=100 nb_sec=2108 case_no=85 label=Case6.73 nb_sol=0 ticks=105915 tps=100 nb_sec=1059 case_no=85 label=Case6.73 nb_sol=0 ticks=113507 tps=100 nb_sec=1135 case_no=85 label=Case6.73 nb_sol=0 ticks=225722 tps=100 nb_sec=2257 case_no=85 label=Case6.73 nb_sol=0 ticks=178514 tps=100 nb_sec=1785 case_no=85 label=Case6.73 nb_sol=0 ticks=238294 tps=100 nb_sec=2382 case_no=85 label=Case6.73 nb_sol=0 ticks=195430 tps=100 nb_sec=1954 case_no=85 label=Case6.73 nb_sol=0 ticks=159758 tps=100 nb_sec=1597 case_no=85 label=Case6.73 nb_sol=0 ticks=243964 tps=100 nb_sec=2439 case_no=85 label=Case6.73 nb_sol=0 ticks=232244 tps=100 nb_sec=2322 case_no=85 label=Case6.73 nb_sol=0 ticks=199780 tps=100 nb_sec=1997 case_no=85 label=Case6.73 nb_sol=0 ticks=178400 tps=100 nb_sec=1784 case_no=85 label=Case6.73 nb_sol=0 ticks=167035 tps=100 nb_sec=1670 case_no=85 label=Case6.73 nb_sol=0 ticks=161817 tps=100 nb_sec=1618 case_no=85 label=Case6.73 nb_sol=0 ticks=112137 tps=100 nb_sec=1121 case_no=85 label=Case6.73 nb_sol=0 ticks=159263 tps=100 nb_sec=1592 case_no=85 label=Case6.73 nb_sol=0 ticks=217755 tps=100 nb_sec=2177 case_no=85 label=Case6.73 nb_sol=0 ticks=144440 tps=100 nb_sec=1444 case_no=85 label=Case6.73 nb_sol=0 ticks=169919 tps=100 nb_sec=1699 case_no=85 label=Case6.73 nb_sol=0 ticks=184149 tps=100 nb_sec=1841 case_no=85 label=Case6.73 nb_sol=0 ticks=251834 tps=100 nb_sec=2518 case_no=85 label=Case6.73 nb_sol=0 ticks=176310 tps=100 nb_sec=1763 case_no=85 label=Case6.73 nb_sol=0 ticks=150571 tps=100 nb_sec=1505 case_no=85 label=Case6.73 nb_sol=0 ticks=223786 tps=100 nb_sec=2237 case_no=85 label=Case6.73 nb_sol=0 ticks=190479 tps=100 nb_sec=1904 case_no=85 label=Case6.73 nb_sol=0 ticks=167692 tps=100 nb_sec=1676 case_no=85 label=Case6.73 nb_sol=0 ticks=147450 tps=100 nb_sec=1474 case_no=85 label=Case6.73 nb_sol=0 ticks=185435 tps=100 nb_sec=1854 case_no=85 label=Case6.73 nb_sol=0 ticks=217812 tps=100 nb_sec=2178 case_no=85 label=Case6.73 nb_sol=0 ticks=202749 tps=100 nb_sec=2027 case_no=85 label=Case6.73 nb_sol=0 ticks=143542 tps=100 nb_sec=1435 case_no=85 label=Case6.73 nb_sol=0 ticks=175036 tps=100 nb_sec=1750 case_no=85 label=Case6.73 nb_sol=0 ticks=249007 tps=100 nb_sec=2490 case_no=85 label=Case6.73 nb_sol=0 ticks=244730 tps=100 nb_sec=2447 case_no=85 label=Case6.73 nb_sol=0 ticks=275019 tps=100 nb_sec=2750 case_no=85 label=Case6.73 nb_sol=0 ticks=130674 tps=100 nb_sec=1306 case_no=85 label=Case6.73 nb_sol=0 ticks=164957 tps=100 nb_sec=1649 case_no=85 label=Case6.73 nb_sol=0 ticks=208739 tps=100 nb_sec=2087 case_no=85 label=Case6.73 nb_sol=0 ticks=213511 tps=100 nb_sec=2135 case_no=85 label=Case6.73 nb_sol=0 ticks=199140 tps=100 nb_sec=1991 case_no=85 label=Case6.73 nb_sol=0 ticks=211166 tps=100 nb_sec=2111 case_no=85 label=Case6.73 nb_sol=0 ticks=150794 tps=100 nb_sec=1507 case_no=85 label=Case6.73 nb_sol=0 ticks=218696 tps=100 nb_sec=2186 case_no=85 label=Case6.73 nb_sol=0 ticks=171762 tps=100 nb_sec=1717 case_no=85 label=Case6.73 nb_sol=0 ticks=221444 tps=100 nb_sec=2214 case_no=85 label=Case6.73 nb_sol=0 ticks=173861 tps=100 nb_sec=1738 case_no=85 label=Case6.73 nb_sol=0 ticks=235277 tps=100 nb_sec=2352 case_no=85 label=Case6.73 nb_sol=0 ticks=129926 tps=100 nb_sec=1299 case_no=85 label=Case6.73 nb_sol=0 ticks=212050 tps=100 nb_sec=2120 case_no=85 label=Case6.73 nb_sol=0 ticks=274647 tps=100 nb_sec=2746 case_no=85 label=Case6.73 nb_sol=0 ticks=197596 tps=100 nb_sec=1975 case_no=85 label=Case6.73 nb_sol=0 ticks=245864 tps=100 nb_sec=2458 case_no=85 label=Case6.73 nb_sol=0 ticks=212625 tps=100 nb_sec=2126 case_no=85 label=Case6.73 nb_sol=0 ticks=201826 tps=100 nb_sec=2018 case_no=85 label=Case6.73 nb_sol=0 ticks=246201 tps=100 nb_sec=2462 case_no=85 label=Case6.73 nb_sol=0 ticks=170531 tps=100 nb_sec=1705 case_no=85 label=Case6.73 nb_sol=0 ticks=212587 tps=100 nb_sec=2125 case_no=85 label=Case6.73 nb_sol=0 ticks=228416 tps=100 nb_sec=2284 case_no=85 label=Case6.73 nb_sol=0 ticks=261041 tps=100 nb_sec=2610 case_no=85 label=Case6.73 nb_sol=0 ticks=131709 tps=100 nb_sec=1317 case_no=85 label=Case6.73 nb_sol=0 ticks=193541 tps=100 nb_sec=1935 case_no=85 label=Case6.73 nb_sol=0 ticks=188551 tps=100 nb_sec=1885 case_no=85 label=Case6.73 nb_sol=0 ticks=245825 tps=100 nb_sec=2458 case_no=85 label=Case6.73 nb_sol=0 ticks=194905 tps=100 nb_sec=1949 case_no=85 label=Case6.73 nb_sol=0 ticks=244794 tps=100 nb_sec=2447 case_no=85 label=Case6.73 nb_sol=0 ticks=110331 tps=100 nb_sec=1103 case_no=85 label=Case6.73 nb_sol=0 ticks=157998 tps=100 nb_sec=1579 case_no=85 label=Case6.73 nb_sol=0 ticks=202940 tps=100 nb_sec=2029 case_no=85 label=Case6.73 nb_sol=0 ticks=304916 tps=100 nb_sec=3049 case_no=85 label=Case6.73 nb_sol=0 ticks=194550 tps=100 nb_sec=1945 case_no=85 label=Case6.73 nb_sol=0 ticks=197555 tps=100 nb_sec=1975 case_no=85 label=Case6.73 nb_sol=0 ticks=152531 tps=100 nb_sec=1525 case_no=85 label=Case6.73 nb_sol=0 ticks=191580 tps=100 nb_sec=1915 case_no=85 label=Case6.73 nb_sol=0 ticks=167311 tps=100 nb_sec=1673 case_no=85 label=Case6.73 nb_sol=0 ticks=100992 tps=100 nb_sec=1009 case_no=85 label=Case6.73 nb_sol=0 ticks=207501 tps=100 nb_sec=2075 case_no=85 label=Case6.73 nb_sol=0 ticks=158996 tps=100 nb_sec=1589 case_no=85 label=Case6.73 nb_sol=0 ticks=198172 tps=100 nb_sec=1981 case_no=85 label=Case6.73 nb_sol=0 ticks=177568 tps=100 nb_sec=1775 case_no=85 label=Case6.73 nb_sol=0 ticks=380239 tps=100 nb_sec=3802 case_no=85 label=Case6.73 nb_sol=0 ticks=157056 tps=100 nb_sec=1570 case_no=85 label=Case6.73 nb_sol=0 ticks=173658 tps=100 nb_sec=1736 case_no=85 label=Case6.73 nb_sol=0 ticks=196990 tps=100 nb_sec=1969 case_no=85 label=Case6.73 nb_sol=0 ticks=113652 tps=100 nb_sec=1136 case_no=85 label=Case6.73 nb_sol=0 ticks=163691 tps=100 nb_sec=1636 case_no=85 label=Case6.73 nb_sol=0 ticks=259304 tps=100 nb_sec=2593 case_no=85 label=Case6.73 nb_sol=0 ticks=205347 tps=100 nb_sec=2053 case_no=85 label=Case6.73 nb_sol=0 ticks=194366 tps=100 nb_sec=1943 case_no=85 label=Case6.73 nb_sol=0 ticks=175798 tps=100 nb_sec=1757 case_no=85 label=Case6.73 nb_sol=0 ticks=160161 tps=100 nb_sec=1601 case_no=85 label=Case6.73 nb_sol=0 ticks=198963 tps=100 nb_sec=1989 case_no=85 label=Case6.73 nb_sol=0 ticks=152900 tps=100 nb_sec=1529 case_no=85 label=Case6.73 nb_sol=0 ticks=190241 tps=100 nb_sec=1902 case_no=85 label=Case6.73 nb_sol=0 ticks=159968 tps=100 nb_sec=1599 case_no=85 label=Case6.73 nb_sol=0 ticks=192159 tps=100 nb_sec=1921 case_no=85 label=Case6.73 nb_sol=0 ticks=190682 tps=100 nb_sec=1906 case_no=85 label=Case6.73 nb_sol=0 ticks=199378 tps=100 nb_sec=1993 case_no=85 label=Case6.73 nb_sol=0 ticks=178921 tps=100 nb_sec=1789 case_no=85 label=Case6.73 nb_sol=0 ticks=239578 tps=100 nb_sec=2395 case_no=85 label=Case6.73 nb_sol=0 ticks=222935 tps=100 nb_sec=2229 case_no=85 label=Case6.73 nb_sol=0 ticks=142389 tps=100 nb_sec=1423 case_no=85 label=Case6.73 nb_sol=0 ticks=136691 tps=100 nb_sec=1366 case_no=85 label=Case6.73 nb_sol=0 ticks=187285 tps=100 nb_sec=1872 case_no=85 label=Case6.73 nb_sol=0 ticks=247111 tps=100 nb_sec=2471 case_no=85 label=Case6.73 nb_sol=0 ticks=182195 tps=100 nb_sec=1821 case_no=85 label=Case6.73 nb_sol=0 ticks=163852 tps=100 nb_sec=1638 case_no=85 label=Case6.73 nb_sol=0 ticks=131565 tps=100 nb_sec=1315 case_no=85 label=Case6.73 nb_sol=0 ticks=158460 tps=100 nb_sec=1584 case_no=85 label=Case6.73 nb_sol=0 ticks=115441 tps=100 nb_sec=1154 case_no=85 label=Case6.73 nb_sol=0 ticks=305707 tps=100 nb_sec=3057 case_no=85 label=Case6.73 nb_sol=0 ticks=190299 tps=100 nb_sec=1902 case_no=85 label=Case6.73 nb_sol=0 ticks=163557 tps=100 nb_sec=1635 case_no=85 label=Case6.73 nb_sol=0 ticks=184354 tps=100 nb_sec=1843 case_no=85 label=Case6.73 nb_sol=0 ticks=174004 tps=100 nb_sec=1740 case_no=85 label=Case6.73 nb_sol=0 ticks=218549 tps=100 nb_sec=2185 case_no=85 label=Case6.73 nb_sol=0 ticks=201155 tps=100 nb_sec=2011 case_no=85 label=Case6.73 nb_sol=0 ticks=159550 tps=100 nb_sec=1595 case_no=85 label=Case6.73 nb_sol=0 ticks=98353 tps=100 nb_sec=983 case_no=85 label=Case6.73 nb_sol=0 ticks=194714 tps=100 nb_sec=1947 case_no=85 label=Case6.73 nb_sol=0 ticks=126595 tps=100 nb_sec=1265 case_no=85 label=Case6.73 nb_sol=0 ticks=164364 tps=100 nb_sec=1643 case_no=85 label=Case6.73 nb_sol=0 ticks=175444 tps=100 nb_sec=1754 case_no=85 label=Case6.73 nb_sol=0 ticks=201212 tps=100 nb_sec=2012 case_no=85 label=Case6.73 nb_sol=0 ticks=230441 tps=100 nb_sec=2304 case_no=85 label=Case6.73 nb_sol=0 ticks=194261 tps=100 nb_sec=1942 case_no=85 label=Case6.73 nb_sol=0 ticks=276496 tps=100 nb_sec=2764 case_no=85 label=Case6.73 nb_sol=0 ticks=147231 tps=100 nb_sec=1472 case_no=85 label=Case6.73 nb_sol=0 ticks=225867 tps=100 nb_sec=2258 case_no=85 label=Case6.73 nb_sol=0 ticks=192061 tps=100 nb_sec=1920 case_no=85 label=Case6.73 nb_sol=0 ticks=364980 tps=100 nb_sec=3649 case_no=85 label=Case6.73 nb_sol=0 ticks=171078 tps=100 nb_sec=1710 case_no=85 label=Case6.73 nb_sol=0 ticks=229295 tps=100 nb_sec=2292 case_no=85 label=Case6.73 nb_sol=0 ticks=143488 tps=100 nb_sec=1434 case_no=85 label=Case6.73 nb_sol=0 ticks=281255 tps=100 nb_sec=2812 case_no=85 label=Case6.73 nb_sol=0 ticks=131661 tps=100 nb_sec=1316 case_no=85 label=Case6.73 nb_sol=0 ticks=223782 tps=100 nb_sec=2237 case_no=85 label=Case6.73 nb_sol=0 ticks=189006 tps=100 nb_sec=1890 case_no=85 label=Case6.73 nb_sol=0 ticks=219394 tps=100 nb_sec=2193 case_no=85 label=Case6.73 nb_sol=0 ticks=185380 tps=100 nb_sec=1853 case_no=85 label=Case6.73 nb_sol=0 ticks=155588 tps=100 nb_sec=1555 case_no=85 label=Case6.73 nb_sol=0 ticks=328333 tps=100 nb_sec=3283 case_no=85 label=Case6.73 nb_sol=0 ticks=228029 tps=100 nb_sec=2280 case_no=85 label=Case6.73 nb_sol=0 ticks=121052 tps=100 nb_sec=1210 case_no=85 label=Case6.73 nb_sol=0 ticks=204631 tps=100 nb_sec=2046 case_no=85 label=Case6.73 nb_sol=0 ticks=220313 tps=100 nb_sec=2203 case_no=85 label=Case6.73 nb_sol=0 ticks=160348 tps=100 nb_sec=1603 case_no=85 label=Case6.73 nb_sol=0 ticks=365143 tps=100 nb_sec=3651 case_no=85 label=Case6.73 nb_sol=0 ticks=132445 tps=100 nb_sec=1324 case_no=85 label=Case6.73 nb_sol=0 ticks=175733 tps=100 nb_sec=1757 case_no=85 label=Case6.73 nb_sol=0 ticks=129277 tps=100 nb_sec=1292 case_no=85 label=Case6.73 nb_sol=0 ticks=221208 tps=100 nb_sec=2212 case_no=85 label=Case6.73 nb_sol=0 ticks=180717 tps=100 nb_sec=1807 case_no=85 label=Case6.73 nb_sol=0 ticks=163919 tps=100 nb_sec=1639 case_no=85 label=Case6.73 nb_sol=0 ticks=284759 tps=100 nb_sec=2847 case_no=85 label=Case6.73 nb_sol=0 ticks=187130 tps=100 nb_sec=1871 case_no=85 label=Case6.73 nb_sol=0 ticks=249784 tps=100 nb_sec=2497 case_no=85 label=Case6.73 nb_sol=0 ticks=326068 tps=100 nb_sec=3260 case_no=85 label=Case6.73 nb_sol=0 ticks=112897 tps=100 nb_sec=1128 case_no=85 label=Case6.73 nb_sol=0 ticks=208681 tps=100 nb_sec=2086 case_no=85 label=Case6.73 nb_sol=0 ticks=95957 tps=100 nb_sec=959 case_no=85 label=Case6.73 nb_sol=0 ticks=245503 tps=100 nb_sec=2455 case_no=85 label=Case6.73 nb_sol=0 ticks=235709 tps=100 nb_sec=2357 case_no=85 label=Case6.73 nb_sol=0 ticks=201363 tps=100 nb_sec=2013 case_no=85 label=Case6.73 nb_sol=0 ticks=126747 tps=100 nb_sec=1267 case_no=85 label=Case6.73 nb_sol=0 ticks=191516 tps=100 nb_sec=1915 case_no=85 label=Case6.73 nb_sol=0 ticks=165663 tps=100 nb_sec=1656 case_no=85 label=Case6.73 nb_sol=0 ticks=235408 tps=100 nb_sec=2354 case_no=85 label=Case6.73 nb_sol=0 ticks=223272 tps=100 nb_sec=2232 case_no=85 label=Case6.73 nb_sol=0 ticks=201280 tps=100 nb_sec=2012 case_no=85 label=Case6.73 nb_sol=0 ticks=112574 tps=100 nb_sec=1125 case_no=85 label=Case6.73 nb_sol=0 ticks=202400 tps=100 nb_sec=2024 case_no=85 label=Case6.73 nb_sol=0 ticks=174102 tps=100 nb_sec=1741 case_no=85 label=Case6.73 nb_sol=0 ticks=210989 tps=100 nb_sec=2109 case_no=85 label=Case6.73 nb_sol=0 ticks=170205 tps=100 nb_sec=1702 case_no=85 label=Case6.73 nb_sol=0 ticks=205428 tps=100 nb_sec=2054 case_no=85 label=Case6.73 nb_sol=0 ticks=239949 tps=100 nb_sec=2399 case_no=85 label=Case6.73 nb_sol=0 ticks=225437 tps=100 nb_sec=2254 case_no=85 label=Case6.73 nb_sol=0 ticks=180901 tps=100 nb_sec=1809 case_no=85 label=Case6.73 nb_sol=0 ticks=212630 tps=100 nb_sec=2126 case_no=85 label=Case6.73 nb_sol=0 ticks=168295 tps=100 nb_sec=1682 case_no=85 label=Case6.73 nb_sol=0 ticks=209953 tps=100 nb_sec=2099 case_no=85 label=Case6.73 nb_sol=0 ticks=185392 tps=100 nb_sec=1853 case_no=85 label=Case6.73 nb_sol=0 ticks=156866 tps=100 nb_sec=1568 case_no=85 label=Case6.73 nb_sol=0 ticks=206909 tps=100 nb_sec=2069 case_no=85 label=Case6.73 nb_sol=0 ticks=168447 tps=100 nb_sec=1684 case_no=85 label=Case6.73 nb_sol=0 ticks=211861 tps=100 nb_sec=2118 case_no=85 label=Case6.73 nb_sol=0 ticks=222795 tps=100 nb_sec=2227 case_no=85 label=Case6.73 nb_sol=0 ticks=184045 tps=100 nb_sec=1840 case_no=85 label=Case6.73 nb_sol=0 ticks=178685 tps=100 nb_sec=1786 case_no=85 label=Case6.73 nb_sol=0 ticks=131583 tps=100 nb_sec=1315 case_no=85 label=Case6.73 nb_sol=0 ticks=236560 tps=100 nb_sec=2365 case_no=85 label=Case6.73 nb_sol=0 ticks=133161 tps=100 nb_sec=1331 case_no=85 label=Case6.73 nb_sol=0 ticks=205053 tps=100 nb_sec=2050 case_no=85 label=Case6.73 nb_sol=0 ticks=196755 tps=100 nb_sec=1967 case_no=85 label=Case6.73 nb_sol=0 ticks=191750 tps=100 nb_sec=1917 case_no=85 label=Case6.73 nb_sol=0 ticks=166953 tps=100 nb_sec=1669 case_no=85 label=Case6.73 nb_sol=0 ticks=102813 tps=100 nb_sec=1028 case_no=85 label=Case6.73 nb_sol=0 ticks=110651 tps=100 nb_sec=1106 case_no=85 label=Case6.73 nb_sol=0 ticks=135368 tps=100 nb_sec=1353 case_no=85 label=Case6.73 nb_sol=0 ticks=141104 tps=100 nb_sec=1411 case_no=85 label=Case6.73 nb_sol=0 ticks=155418 tps=100 nb_sec=1554 case_no=85 label=Case6.73 nb_sol=0 ticks=124244 tps=100 nb_sec=1242 case_no=85 label=Case6.73 nb_sol=0 ticks=180444 tps=100 nb_sec=1804 case_no=85 label=Case6.73 nb_sol=0 ticks=186333 tps=100 nb_sec=1863 case_no=85 label=Case6.73 nb_sol=0 ticks=131075 tps=100 nb_sec=1310 case_no=85 label=Case6.73 nb_sol=0 ticks=156112 tps=100 nb_sec=1561 case_no=85 label=Case6.73 nb_sol=0 ticks=164517 tps=100 nb_sec=1645 case_no=85 label=Case6.73 nb_sol=0 ticks=147504 tps=100 nb_sec=1475 case_no=85 label=Case6.73 nb_sol=0 ticks=122828 tps=100 nb_sec=1228 case_no=85 label=Case6.73 nb_sol=0 ticks=135836 tps=100 nb_sec=1358 case_no=85 label=Case6.73 nb_sol=0 ticks=212257 tps=100 nb_sec=2122 case_no=85 label=Case6.73 nb_sol=0 ticks=152579 tps=100 nb_sec=1525 case_no=85 label=Case6.73 nb_sol=0 ticks=200433 tps=100 nb_sec=2004 case_no=85 label=Case6.73 nb_sol=0 ticks=136829 tps=100 nb_sec=1368 case_no=85 label=Case6.73 nb_sol=0 ticks=198778 tps=100 nb_sec=1987 case_no=85 label=Case6.73 nb_sol=0 ticks=180032 tps=100 nb_sec=1800 case_no=85 label=Case6.73 nb_sol=0 ticks=151892 tps=100 nb_sec=1518 case_no=85 label=Case6.73 nb_sol=0 ticks=168883 tps=100 nb_sec=1688 case_no=85 label=Case6.73 nb_sol=0 ticks=243419 tps=100 nb_sec=2434 case_no=85 label=Case6.73 nb_sol=0 ticks=130107 tps=100 nb_sec=1301 case_no=85 label=Case6.73 nb_sol=0 ticks=173134 tps=100 nb_sec=1731 case_no=85 label=Case6.73 nb_sol=0 ticks=223433 tps=100 nb_sec=2234 case_no=85 label=Case6.73 nb_sol=0 ticks=191577 tps=100 nb_sec=1915 case_no=85 label=Case6.73 nb_sol=0 ticks=204807 tps=100 nb_sec=2048 case_no=85 label=Case6.73 nb_sol=0 ticks=143817 tps=100 nb_sec=1438 case_no=85 label=Case6.73 nb_sol=0 ticks=240252 tps=100 nb_sec=2402 case_no=85 label=Case6.73 nb_sol=0 ticks=346896 tps=100 nb_sec=3468 case_no=85 label=Case6.73 nb_sol=0 ticks=159853 tps=100 nb_sec=1598 case_no=85 label=Case6.73 nb_sol=0 ticks=146348 tps=100 nb_sec=1463 case_no=85 label=Case6.73 nb_sol=0 ticks=109586 tps=100 nb_sec=1095 case_no=85 label=Case6.73 nb_sol=0 ticks=137519 tps=100 nb_sec=1375 case_no=85 label=Case6.73 nb_sol=0 ticks=114798 tps=100 nb_sec=1147 case_no=85 label=Case6.73 nb_sol=0 ticks=163264 tps=100 nb_sec=1632 case_no=85 label=Case6.73 nb_sol=0 ticks=153086 tps=100 nb_sec=1530 case_no=85 label=Case6.73 nb_sol=0 ticks=347453 tps=100 nb_sec=3474 case_no=85 label=Case6.73 nb_sol=0 ticks=207343 tps=100 nb_sec=2073 case_no=85 label=Case6.73 nb_sol=0 ticks=111504 tps=100 nb_sec=1115 case_no=85 label=Case6.73 nb_sol=0 ticks=161515 tps=100 nb_sec=1615 case_no=85 label=Case6.73 nb_sol=0 ticks=225547 tps=100 nb_sec=2255 case_no=85 label=Case6.73 nb_sol=0 ticks=196921 tps=100 nb_sec=1969 case_no=85 label=Case6.73 nb_sol=0 ticks=250978 tps=100 nb_sec=2509 case_no=85 label=Case6.73 nb_sol=0 ticks=190097 tps=100 nb_sec=1900 case_no=85 label=Case6.73 nb_sol=0 ticks=127218 tps=100 nb_sec=1272 case_no=85 label=Case6.73 nb_sol=0 ticks=149859 tps=100 nb_sec=1498 case_no=85 label=Case6.73 nb_sol=0 ticks=164231 tps=100 nb_sec=1642 case_no=85 label=Case6.73 nb_sol=0 ticks=209552 tps=100 nb_sec=2095 case_no=85 label=Case6.73 nb_sol=0 ticks=307647 tps=100 nb_sec=3076 Nb_sol=0 Nb_sec=997814 11-13:10:14 or 277 hours missing cases: none