\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrcgpartition 17.470000 4 0.696710 0.000000 0.594972 0.000000 PRESOLVED 0 NBLOCKS 4 BLOCK 1 R2522 R2523 BLOCK 2 R49 R51 R52 R53 R54 R56 R679 R680 R681 R682 R683 BLOCK 3 R63 R64 R65 R66 R67 R68 R69 R70 R71 R72 R73 R74 R75 R113 R115 R117 R119 R121 R123 R125 R127 R129 R131 R171 R172 R173 R174 R175 R176 R177 R178 R179 R180 R181 R182 R183 R184 R185 R186 R187 R188 R189 R231 R232 R233 R352 R353 R354 R355 R356 R357 R388 R389 R390 R391 R392 R394 R396 R398 R399 R438 R440 R442 R444 R446 R448 R450 R452 R454 R456 R458 R482 R483 R484 R485 R486 R487 R488 R489 R561 R563 R564 R565 R611 R613 R615 R617 R619 R669 R670 R671 R672 R673 R674 R694 R695 R696 R697 R698 R702 R703 R704 R705 R751 R753 R755 R774 R775 R776 R777 R779 R780 R808 R810 R812 R814 R816 R818 R820 R822 R944 R946 R948 R975 R976 R977 R978 R1003 R1004 R1005 R1007 R1008 R1009 R1011 R1012 R1023 R1024 R1051 R1052 R1117 R1118 R1119 R1120 R1123 R1124 R1125 R1126 R1127 R1128 R1151 R1152 R1153 R1154 R1155 R1157 R1158 R1159 R1165 R1187 R1188 R1196 R1229 R1230 R1231 R1232 R1233 R1234 R1235 R1237 R1239 R1272 R1273 R1275 R1277 R1278 R1280 R1282 R1283 R1284 R1285 R1286 R1287 R1292 R1294 R1295 R1296 R1297 R1298 R1299 R1327 R1328 R1331 R1332 R1333 R1334 R1335 R1336 R1337 R1338 R1339 R1340 R1341 R1342 R1343 R1344 R1349 R1350 R1351 R1352 R1353 R1354 R1375 R1376 R1377 R1381 R1382 R1383 R1384 R1385 R1386 R1387 R1388 R1435 R1436 R1475 R1476 R1477 R1478 R1479 R1480 R1481 R1482 R1510 R1511 R1512 R1513 R1518 R1520 R1521 R1522 R1523 R1525 R1529 R1530 R1531 R1538 R1593 R1617 R1618 R1619 R1633 R1634 R1635 R1636 R1637 R1638 R1639 R1640 R1641 R1642 R1643 R1644 R1722 R1724 R1726 R1811 R1844 R1858 R1859 R1860 R1861 R1862 R1863 R1864 R1865 R1874 R1905 R1906 R1907 R1908 R1909 R1916 R1927 R1929 R1930 R1932 R1941 R1942 R1944 R1946 R1949 R1950 R1951 R1952 R1954 R1955 R1956 R1958 R1960 R1964 R1965 R1966 R1975 R1976 R1977 R1980 R2001 R2002 R2019 R2020 R2021 R2033 R2037 R2040 R2041 R2051 R2052 R2053 R2054 R2055 R2056 R2058 R2059 R2060 R2061 R2062 R2063 R2064 R2066 R2067 R2068 R2069 R2070 R2072 R2093 R2096 R2097 R2110 R2111 R2114 R2115 R2116 R2117 R2118 R2128 R2129 R2130 R2131 R2132 R2133 R2136 R2142 R2143 R2144 R2148 R2149 R2150 R2151 R2152 R2153 R2162 R2163 R2164 R2165 R2166 R2167 R2168 R2169 R2170 R2172 R2175 R2176 R2177 R2178 R2179 R2184 R2185 R2186 R2187 R2189 R2194 R2196 R2198 R2199 R2200 R2203 R2204 R2205 R2207 R2210 R2211 R2212 R2213 R2214 R2221 R2222 R2224 R2225 R2227 R2228 R2229 R2231 R2232 R2238 R2239 R2240 R2241 R2242 R2243 R2244 R2251 R2252 R2253 R2254 R2260 R2265 R2266 R2267 R2268 R2270 R2271 R2272 R2274 R2277 R2278 R2279 R2280 R2281 R2282 R2285 R2286 R2287 R2290 R2291 R2295 R2299 R2302 R2327 R2331 R2332 R2333 R2334 R2336 R2337 R2338 R2339 R2342 R2343 R2344 R2346 R2350 R2351 R2352 R2354 R2355 R2362 R2363 R2364 R2365 R2366 R2367 R2368 R2374 R2376 R2377 R2379 R2381 R2388 R2397 R2405 R2409 R2410 R2411 R2422 R2423 R2424 R2425 R2426 R2428 R2430 R2431 R2432 R2433 R2434 R2441 R2456 R2463 R2464 R2467 R2468 R2470 R2472 R2473 R2474 R2475 R2476 R2477 R2490 R2491 R2492 R2493 R2504 R2505 R2506 R2507 R2509 R2510 R2511 R2512 R2513 R2514 R2515 R2516 R2527 R2528 R2529 R2531 R2532 R2533 R2534 R2535 R2549 R2559 R2568 R2569 R31010 R31013 R31016 R31018 R31019 R31020 R31022 R31024 R31027 R31029 R31047 R31051 R31058 R31059 R31066 R31068 R31202 R31205 R31208 R31210 R31215 R31237 R31240 R31248 R31250 BLOCK 4 R234 R246 R247 R248 R250 R251 R252 R254 R255 R256 R258 R259 R367 R575 R576 R577 R579 R653 R654 R655 R656 R657 R658 R789 R790 R1115 R1135 R1136 R1137 R1138 R1190 R1191 R1192 R1221 R1306 R1307 R1308 R1314 R1315 R1316 R1318 R1319 R1320 R1321 R1322 R1416 R1417 R1418 R1419 R1420 R1495 R1496 R1497 R1565 R1608 R1609 R1612 R1613 R1614 R1709 R1711 R1713 R1715 R1717 R1736 R1737 R1738 R1739 R1744 R1745 R1767 R1825 R1826 R1875 R1877 R1878 R1897 R1900 R1901 R1938 R1940 R1990 R1997 R1998 R1999 R2000 R2006 R2029 R2030 R2044 R2045 R2248 R2306 R2307 R2319 R2320 R2323 R2328 R2329 R2359 R2360 R2399 R2403 R2404 R2454 R2455 R31023 R31062 R31209 R31244 MASTERCONSS UB R31256 R1 R3 R5 R7 R9 R11 R13 R15 R17 R19 R21 R23 R25 R27 R29 R31 R33 R35 R37 R39 R41 R43 R45 R46 R47 R48 R58 R60 R61 R62 R76 R77 R78 R79 R80 R81 R82 R83 R84 R85 R86 R87 R88 R89 R90 R91 R92 R93 R94 R95 R96 R97 R98 R99 R100 R101 R102 R103 R104 R107 R108 R109 R110 R111 R112 R133 R135 R137 R138 R139 R140 R141 R142 R143 R144 R145 R146 R147 R148 R149 R150 R151 R152 R153 R154 R155 R156 R157 R159 R160 R161 R162 R163 R164 R165 R166 R167 R168 R169 R170 R190 R191 R192 R193 R194 R195 R196 R197 R198 R199 R200 R201 R202 R203 R204 R205 R206 R207 R208 R209 R210 R211 R212 R213 R214 R215 R216 R217 R218 R219 R221 R222 R223 R224 R225 R226 R227 R228 R229 R230 R235 R236 R237 R238 R239 R240 R241 R242 R243 R244 R260 R262 R263 R264 R266 R267 R268 R270 R271 R272 R274 R275 R276 R278 R279 R280 R282 R283 R284 R286 R287 R288 R290 R291 R292 R294 R295 R296 R298 R299 R300 R302 R303 R304 R306 R307 R308 R310 R311 R312 R314 R315 R316 R317 R318 R319 R320 R321 R322 R323 R324 R325 R326 R327 R328 R330 R331 R332 R334 R335 R336 R338 R339 R340 R342 R343 R344 R346 R347 R348 R350 R358 R359 R360 R361 R362 R363 R364 R365 R366 R369 R370 R371 R372 R373 R374 R375 R376 R377 R378 R379 R380 R382 R383 R384 R385 R386 R395 R397 R400 R401 R402 R403 R404 R405 R406 R407 R408 R409 R410 R411 R412 R414 R416 R418 R420 R422 R424 R426 R428 R430 R432 R434 R436 R460 R462 R463 R464 R466 R468 R470 R472 R474 R476 R478 R480 R490 R492 R494 R496 R498 R499 R500 R502 R503 R504 R505 R506 R507 R508 R509 R510 R511 R512 R513 R514 R515 R516 R517 R518 R519 R520 R521 R522 R523 R524 R525 R526 R527 R528 R529 R530 R532 R533 R534 R535 R536 R537 R538 R539 R540 R541 R542 R543 R544 R545 R546 R547 R548 R549 R550 R551 R552 R553 R554 R555 R556 R557 R558 R559 R560 R567 R568 R569 R570 R571 R572 R573 R574 R580 R582 R584 R586 R588 R590 R592 R594 R596 R597 R598 R599 R600 R601 R602 R603 R604 R605 R606 R607 R608 R609 R610 R621 R623 R625 R626 R627 R628 R629 R630 R631 R633 R635 R636 R637 R638 R639 R640 R641 R642 R643 R644 R645 R646 R647 R648 R649 R650 R651 R652 R659 R660 R661 R662 R663 R664 R665 R666 R675 R676 R677 R678 R684 R685 R686 R687 R688 R689 R690 R691 R693 R699 R700 R701 R706 R707 R708 R709 R710 R711 R712 R713 R714 R716 R718 R720 R722 R724 R726 R728 R730 R732 R733 R734 R735 R736 R738 R739 R740 R741 R742 R743 R744 R746 R747 R749 R757 R759 R761 R763 R764 R765 R766 R767 R768 R769 R770 R771 R772 R773 R781 R783 R784 R785 R787 R788 R791 R792 R793 R795 R796 R797 R799 R800 R801 R802 R803 R804 R806 R824 R826 R828 R830 R832 R834 R836 R837 R838 R839 R840 R841 R842 R843 R844 R845 R846 R847 R848 R849 R850 R851 R852 R854 R856 R858 R860 R861 R862 R863 R864 R865 R866 R867 R868 R869 R870 R871 R872 R874 R876 R877 R878 R879 R880 R881 R882 R883 R884 R885 R886 R887 R888 R889 R890 R891 R892 R893 R894 R895 R896 R897 R898 R900 R901 R902 R904 R905 R906 R908 R909 R910 R912 R913 R914 R916 R917 R919 R920 R921 R922 R923 R924 R925 R926 R927 R928 R929 R930 R931 R932 R933 R934 R936 R938 R940 R942 R950 R952 R953 R954 R955 R956 R958 R960 R962 R963 R964 R965 R966 R967 R968 R969 R970 R971 R972 R973 R979 R980 R981 R982 R983 R984 R985 R986 R987 R988 R989 R990 R991 R992 R993 R994 R995 R996 R997 R998 R999 R1000 R1001 R1002 R1013 R1015 R1016 R1017 R1019 R1020 R1021 R1025 R1027 R1028 R1029 R1031 R1032 R1033 R1035 R1036 R1037 R1039 R1040 R1041 R1043 R1044 R1045 R1047 R1048 R1049 R1053 R1055 R1056 R1057 R1059 R1060 R1061 R1063 R1064 R1065 R1067 R1068 R1069 R1071 R1072 R1073 R1074 R1075 R1076 R1077 R1078 R1079 R1080 R1081 R1082 R1083 R1084 R1085 R1086 R1087 R1088 R1089 R1090 R1091 R1092 R1093 R1094 R1095 R1097 R1099 R1101 R1103 R1105 R1107 R1109 R1111 R1112 R1113 R1121 R1122 R1129 R1130 R1131 R1132 R1133 R1134 R1139 R1140 R1141 R1142 R1143 R1144 R1145 R1146 R1147 R1148 R1149 R1150 R1161 R1162 R1163 R1166 R1167 R1169 R1170 R1171 R1172 R1173 R1174 R1175 R1176 R1177 R1178 R1179 R1180 R1181 R1182 R1183 R1184 R1185 R1186 R1189 R1193 R1194 R1195 R1198 R1199 R1200 R1201 R1202 R1203 R1205 R1206 R1207 R1208 R1209 R1210 R1211 R1212 R1213 R1214 R1215 R1216 R1217 R1218 R1219 R1220 R1222 R1224 R1225 R1226 R1227 R1228 R1241 R1243 R1245 R1247 R1249 R1250 R1251 R1252 R1253 R1254 R1255 R1257 R1259 R1261 R1262 R1263 R1264 R1265 R1266 R1267 R1268 R1270 R1271 R1288 R1289 R1290 R1291 R1300 R1301 R1302 R1303 R1304 R1305 R1309 R1310 R1311 R1312 R1313 R1317 R1323 R1324 R1325 R1326 R1345 R1346 R1347 R1348 R1355 R1356 R1357 R1358 R1359 R1360 R1361 R1362 R1363 R1364 R1365 R1366 R1367 R1368 R1369 R1370 R1371 R1372 R1373 R1374 R1380 R1389 R1390 R1391 R1392 R1393 R1394 R1395 R1396 R1397 R1398 R1399 R1400 R1401 R1402 R1403 R1404 R1405 R1406 R1407 R1408 R1409 R1410 R1412 R1413 R1414 R1415 R1421 R1422 R1423 R1424 R1425 R1426 R1428 R1429 R1430 R1431 R1432 R1433 R1437 R1439 R1440 R1441 R1443 R1444 R1445 R1447 R1448 R1449 R1451 R1452 R1453 R1454 R1455 R1456 R1457 R1458 R1459 R1460 R1461 R1462 R1463 R1464 R1465 R1466 R1467 R1468 R1469 R1470 R1471 R1472 R1473 R1474 R1483 R1484 R1485 R1486 R1487 R1488 R1489 R1490 R1491 R1492 R1493 R1494 R1498 R1499 R1500 R1501 R1502 R1503 R1504 R1505 R1506 R1507 R1508 R1514 R1515 R1516 R1517 R1519 R1526 R1527 R1532 R1533 R1535 R1536 R1537 R1539 R1540 R1541 R1542 R1543 R1544 R1545 R1546 R1547 R1548 R1549 R1550 R1551 R1552 R1553 R1554 R1555 R1556 R1557 R1558 R1559 R1560 R1561 R1562 R1563 R1564 R1567 R1568 R1569 R1570 R1571 R1572 R1573 R1574 R1575 R1576 R1577 R1578 R1579 R1580 R1581 R1582 R1583 R1584 R1585 R1586 R1587 R1588 R1589 R1590 R1591 R1592 R1594 R1595 R1596 R1597 R1598 R1599 R1600 R1601 R1602 R1603 R1604 R1605 R1606 R1607 R1610 R1611 R1615 R1616 R1620 R1621 R1622 R1623 R1624 R1625 R1626 R1627 R1628 R1629 R1630 R1631 R1632 R1645 R1646 R1647 R1648 R1649 R1650 R1651 R1652 R1653 R1654 R1655 R1656 R1657 R1658 R1659 R1660 R1661 R1662 R1663 R1664 R1665 R1666 R1667 R1668 R1669 R1670 R1671 R1672 R1673 R1675 R1677 R1679 R1681 R1683 R1685 R1687 R1689 R1691 R1693 R1695 R1697 R1699 R1701 R1703 R1705 R1707 R1719 R1720 R1721 R1727 R1729 R1731 R1732 R1733 R1734 R1740 R1742 R1746 R1747 R1749 R1751 R1752 R1755 R1756 R1757 R1758 R1759 R1760 R1761 R1762 R1766 R1768 R1769 R1770 R1771 R1772 R1773 R1774 R1775 R1776 R1777 R1779 R1780 R1781 R1782 R1783 R1784 R1785 R1786 R1787 R1788 R1789 R1790 R1791 R1794 R1795 R1798 R1799 R1800 R1801 R1802 R1803 R1804 R1805 R1806 R1807 R1808 R1809 R1810 R1812 R1813 R1814 R1816 R1817 R1818 R1819 R1821 R1822 R1823 R1824 R1828 R1829 R1830 R1831 R1832 R1833 R1834 R1835 R1836 R1837 R1838 R1839 R1840 R1841 R1842 R1843 R1845 R1846 R1847 R1848 R1849 R1850 R1851 R1854 R1855 R1856 R1857 R1866 R1867 R1870 R1880 R1881 R1882 R1883 R1884 R1885 R1886 R1887 R1888 R1889 R1890 R1891 R1892 R1894 R1895 R1896 R1898 R1902 R1903 R1904 R1910 R1911 R1912 R1914 R1915 R1917 R1918 R1922 R1923 R1924 R1925 R1926 R1931 R1933 R1934 R1935 R1936 R1937 R1961 R1962 R1963 R1967 R1968 R1969 R1970 R1971 R1972 R1974 R1979 R1982 R1984 R1987 R1988 R1991 R1992 R1993 R1994 R1995 R1996 R2003 R2004 R2009 R2011 R2012 R2013 R2014 R2015 R2016 R2017 R2018 R2022 R2024 R2025 R2026 R2027 R2028 R2031 R2032 R2034 R2042 R2048 R2049 R2050 R2073 R2074 R2075 R2076 R2078 R2079 R2080 R2082 R2084 R2085 R2086 R2087 R2088 R2089 R2090 R2091 R2092 R2095 R2100 R2101 R2102 R2106 R2107 R2108 R2109 R2112 R2113 R2120 R2121 R2122 R2123 R2124 R2125 R2126 R2127 R2134 R2135 R2137 R2138 R2139 R2141 R2145 R2146 R2147 R2154 R2155 R2157 R2159 R2161 R2171 R2173 R2174 R2181 R2182 R2183 R2188 R2190 R2191 R2193 R2201 R2202 R2216 R2218 R2219 R2233 R2234 R2236 R2245 R2246 R2250 R2255 R2256 R2257 R2258 R2269 R2276 R2288 R2293 R2294 R2297 R2298 R2301 R2309 R2313 R2314 R2315 R2316 R2317 R2318 R2326 R2347 R2348 R2357 R2361 R2369 R2370 R2372 R2373 R2382 R2383 R2384 R2385 R2386 R2387 R2390 R2392 R2393 R2394 R2396 R2401 R2402 R2407 R2408 R2414 R2415 R2418 R2419 R2420 R2435 R2436 R2438 R2439 R2440 R2443 R2445 R2447 R2450 R2452 R2453 R2460 R2465 R2466 R2471 R2478 R2479 R2480 R2481 R2482 R2484 R2485 R2486 R2487 R2488 R2489 R2495 R2498 R2499 R2500 R2502 R2517 R2518 R2519 R2520 R2521 R2524 R2526 R2537 R2538 R2539 R2540 R2541 R2542 R2543 R2544 R2545 R2547 R2548 R2551 R2552 R2555 R2556 R2557 R2558 R2560 R2561 R2562 R2563 R2564 R2565 R2566 R2567 R2570 R2571 R2572 R2573 R2574 R2575 R2576 R2577 R2578 R2579 R2580 R2582 R2583 R31001 R31005 R31006 R31007 R31008 R31009 R31011 R31012 R31014 R31015 R31017 R31021 R31025 R31026 R31028 R31030 R31033 R31034 R31035 R31036 R31038 R31044 R31048 R31053 R31054 R31056 R31064 R31065 R31069 R31072 R31075 R31076 R31077 R31113 R31117 R31183 R31185 R31186 R31187 R31191 R31192 R31193 R31194 R31195 R31197 R31198 R31200 R31201 R31203 R31207 R31211 R31212 R31214 R31216 R31219 R31220 R31221 R31222 R31226 R31228 R31229 R31230 R31232 R31233 R31235 R31238 R31246 R31247 R31251 R31254