\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.030000 0 0.085179 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 99 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 99 BLOCK 1 TREE.001 UC...001 UC...002 UC...003 UC...004 UC...005 UC...006 UC...007 UC...008 UC...009 UC...010 BLOCK 2 TREE.002 UC...011 UC...012 UC...013 UC...014 UC...015 UC...016 UC...017 UC...018 UC...019 UC...020 BLOCK 3 TREE.003 UC...021 UC...022 UC...023 UC...024 UC...025 BLOCK 4 TREE.004 UC...026 UC...027 UC...028 UC...029 UC...030 UC...031 UC...032 UC...033 UC...034 UC...035 BLOCK 5 TREE.005 UC...036 UC...037 UC...038 UC...039 UC...040 UC...846 UC...847 UC...848 UC...849 UC...850 BLOCK 6 TREE.006 UC...041 UC...042 UC...043 UC...044 UC...045 UC...046 UC...047 UC...048 UC...049 UC...050 BLOCK 7 TREE.007 UC...051 UC...052 UC...053 UC...054 UC...055 BLOCK 8 TREE.008 UC...056 UC...057 UC...058 UC...059 UC...060 BLOCK 9 TREE.009 UC...061 UC...062 UC...063 UC...064 UC...065 UC...926 UC...927 UC...928 UC...929 UC...930 BLOCK 10 TREE.010 UC...066 UC...067 UC...068 UC...069 UC...070 UC...071 UC...072 UC...073 UC...074 UC...075 UC...836 UC...837 UC...838 UC...839 UC...840 UC...841 UC...842 UC...843 UC...844 UC...845 UC...861 UC...862 UC...863 UC...864 UC...865 BLOCK 11 TREE.011 UC...076 UC...077 UC...078 UC...079 UC...080 UC...881 UC...882 UC...883 UC...884 UC...885 BLOCK 12 TREE.012 UC...081 UC...082 UC...083 UC...084 UC...085 UC...811 UC...812 UC...813 UC...814 UC...815 BLOCK 13 TREE.013 UC...086 UC...087 UC...088 UC...089 UC...090 UC...091 UC...092 UC...093 UC...094 UC...095 BLOCK 14 TREE.014 UC...096 UC...097 UC...098 UC...099 UC...100 UC...101 UC...102 UC...103 UC...104 UC...105 BLOCK 15 TREE.015 UC...106 UC...107 UC...108 UC...109 UC...110 UC...111 UC...112 UC...113 UC...114 UC...115 UC...951 UC...952 UC...953 UC...954 UC...955 BLOCK 16 TREE.016 UC...116 UC...117 UC...118 UC...119 UC...120 UC...121 UC...122 UC...123 UC...124 UC...125 BLOCK 17 TREE.017 UC...126 UC...127 UC...128 UC...129 UC...130 UC...131 UC...132 UC...133 UC...134 UC...135 BLOCK 18 TREE.018 UC...136 UC...137 UC...138 UC...139 UC...140 UC...141 UC...142 UC...143 UC...144 UC...145 BLOCK 19 TREE.019 UC...146 UC...147 UC...148 UC...149 UC...150 UC...151 UC...152 UC...153 UC...154 UC...155 BLOCK 20 TREE.020 UC...156 UC...157 UC...158 UC...159 UC...160 BLOCK 21 TREE.021 UC...161 UC...162 UC...163 UC...164 UC...165 UC...166 UC...167 UC...168 UC...169 UC...170 UC...851 UC...852 UC...853 UC...854 UC...855 BLOCK 22 TREE.022 UC...171 UC...172 UC...173 UC...174 UC...175 UC...176 UC...177 UC...178 UC...179 UC...180 BLOCK 23 TREE.023 UC...181 UC...182 UC...183 UC...184 UC...185 UC...806 UC...807 UC...808 UC...809 UC...810 BLOCK 24 TREE.024 UC...186 UC...187 UC...188 UC...189 UC...190 UC...891 UC...892 UC...893 UC...894 UC...895 BLOCK 25 TREE.025 UC...191 UC...192 UC...193 UC...194 UC...195 UC...196 UC...197 UC...198 UC...199 UC...200 BLOCK 26 TREE.026 UC...201 UC...202 UC...203 UC...204 UC...205 UC...206 UC...207 UC...208 UC...209 UC...210 UC...796 UC...797 UC...798 UC...799 UC...800 BLOCK 27 TREE.027 UC...211 UC...212 UC...213 UC...214 UC...215 BLOCK 28 TREE.028 UC...216 UC...217 UC...218 UC...219 UC...220 UC...221 UC...222 UC...223 UC...224 UC...225 BLOCK 29 TREE.029 UC...226 UC...227 UC...228 UC...229 UC...230 BLOCK 30 TREE.030 UC...231 UC...232 UC...233 UC...234 UC...235 UC...236 UC...237 UC...238 UC...239 UC...240 BLOCK 31 TREE.031 UC...241 UC...242 UC...243 UC...244 UC...245 UC...931 UC...932 UC...933 UC...934 UC...935 BLOCK 32 TREE.032 UC...246 UC...247 UC...248 UC...249 UC...250 BLOCK 33 TREE.033 UC...251 UC...252 UC...253 UC...254 UC...255 BLOCK 34 TREE.034 UC...256 UC...257 UC...258 UC...259 UC...260 UC...261 UC...262 UC...263 UC...264 UC...265 BLOCK 35 TREE.035 UC...266 UC...267 UC...268 UC...269 UC...270 BLOCK 36 TREE.036 UC...271 UC...272 UC...273 UC...274 UC...275 UC...276 UC...277 UC...278 UC...279 UC...280 BLOCK 37 TREE.037 UC...281 UC...282 UC...283 UC...284 UC...285 UC...286 UC...287 UC...288 UC...289 UC...290 BLOCK 38 TREE.038 UC...291 UC...292 UC...293 UC...294 UC...295 UC...296 UC...297 UC...298 UC...299 UC...300 UC...801 UC...802 UC...803 UC...804 UC...805 BLOCK 39 TREE.039 UC...301 UC...302 UC...303 UC...304 UC...305 BLOCK 40 TREE.040 UC...306 UC...307 UC...308 UC...309 UC...310 BLOCK 41 TREE.041 UC...311 UC...312 UC...313 UC...314 UC...315 UC...316 UC...317 UC...318 UC...319 UC...320 BLOCK 42 TREE.042 UC...321 UC...322 UC...323 UC...324 UC...325 UC...326 UC...327 UC...328 UC...329 UC...330 BLOCK 43 TREE.043 UC...331 UC...332 UC...333 UC...334 UC...335 BLOCK 44 TREE.044 UC...336 UC...337 UC...338 UC...339 UC...340 UC...341 UC...342 UC...343 UC...344 UC...345 BLOCK 45 TREE.045 UC...346 UC...347 UC...348 UC...349 UC...350 BLOCK 46 TREE.046 UC...351 UC...352 UC...353 UC...354 UC...355 UC...356 UC...357 UC...358 UC...359 UC...360 UC...866 UC...867 UC...868 UC...869 UC...870 UC...916 UC...917 UC...918 UC...919 UC...920 BLOCK 47 TREE.047 UC...361 UC...362 UC...363 UC...364 UC...365 UC...366 UC...367 UC...368 UC...369 UC...370 BLOCK 48 TREE.048 UC...371 UC...372 UC...373 UC...374 UC...375 UC...856 UC...857 UC...858 UC...859 UC...860 BLOCK 49 TREE.049 UC...376 UC...377 UC...378 UC...379 UC...380 BLOCK 50 TREE.050 UC...381 UC...382 UC...383 UC...384 UC...385 UC...941 UC...942 UC...943 UC...944 UC...945 BLOCK 51 TREE.051 UC...386 UC...387 UC...388 UC...389 UC...390 UC...391 UC...392 UC...393 UC...394 UC...395 UC...911 UC...912 UC...913 UC...914 UC...915 UC...946 UC...947 UC...948 UC...949 UC...950 BLOCK 52 TREE.052 UC...396 UC...397 UC...398 UC...399 UC...400 UC...401 UC...402 UC...403 UC...404 UC...405 UC...971 UC...972 UC...973 UC...974 UC...975 BLOCK 53 TREE.053 UC...406 UC...407 UC...408 UC...409 UC...410 UC...411 UC...412 UC...413 UC...414 UC...415 BLOCK 54 TREE.054 UC...416 UC...417 UC...418 UC...419 UC...420 UC...776 UC...777 UC...778 UC...779 UC...780 UC...791 UC...792 UC...793 UC...794 UC...795 BLOCK 55 TREE.055 UC...421 UC...422 UC...423 UC...424 UC...425 BLOCK 56 TREE.056 UC...426 UC...427 UC...428 UC...429 UC...430 UC...431 UC...432 UC...433 UC...434 UC...435 UC...876 UC...877 UC...878 UC...879 UC...880 UC...956 UC...957 UC...958 UC...959 UC...960 BLOCK 57 TREE.057 UC...436 UC...437 UC...438 UC...439 UC...440 BLOCK 58 TREE.058 UC...441 UC...442 UC...443 UC...444 UC...445 BLOCK 59 TREE.059 UC...446 UC...447 UC...448 UC...449 UC...450 UC...451 UC...452 UC...453 UC...454 UC...455 UC...766 UC...767 UC...768 UC...769 UC...770 BLOCK 60 TREE.060 UC...456 UC...457 UC...458 UC...459 UC...460 UC...461 UC...462 UC...463 UC...464 UC...465 BLOCK 61 TREE.061 UC...466 UC...467 UC...468 UC...469 UC...470 BLOCK 62 TREE.062 UC...471 UC...472 UC...473 UC...474 UC...475 UC...816 UC...817 UC...818 UC...819 UC...820 BLOCK 63 TREE.063 UC...476 UC...477 UC...478 UC...479 UC...480 UC...771 UC...772 UC...773 UC...774 UC...775 BLOCK 64 TREE.064 UC...481 UC...482 UC...483 UC...484 UC...485 UC...486 UC...487 UC...488 UC...489 UC...490 BLOCK 65 TREE.065 UC...491 UC...492 UC...493 UC...494 UC...495 UC...496 UC...497 UC...498 UC...499 UC...500 BLOCK 66 TREE.066 UC...501 UC...502 UC...503 UC...504 UC...505 UC...506 UC...507 UC...508 UC...509 UC...510 BLOCK 67 TREE.067 UC...511 UC...512 UC...513 UC...514 UC...515 UC...516 UC...517 UC...518 UC...519 UC...520 BLOCK 68 TREE.068 UC...521 UC...522 UC...523 UC...524 UC...525 BLOCK 69 TREE.069 UC...526 UC...527 UC...528 UC...529 UC...530 BLOCK 70 TREE.070 UC...531 UC...532 UC...533 UC...534 UC...535 UC...536 UC...537 UC...538 UC...539 UC...540 UC...936 UC...937 UC...938 UC...939 UC...940 BLOCK 71 TREE.071 UC...541 UC...542 UC...543 UC...544 UC...545 BLOCK 72 TREE.072 UC...546 UC...547 UC...548 UC...549 UC...550 BLOCK 73 TREE.073 UC...551 UC...552 UC...553 UC...554 UC...555 UC...556 UC...557 UC...558 UC...559 UC...560 BLOCK 74 TREE.074 UC...561 UC...562 UC...563 UC...564 UC...565 UC...566 UC...567 UC...568 UC...569 UC...570 BLOCK 75 TREE.075 UC...571 UC...572 UC...573 UC...574 UC...575 UC...576 UC...577 UC...578 UC...579 UC...580 UC...961 UC...962 UC...963 UC...964 UC...965 BLOCK 76 TREE.076 UC...581 UC...582 UC...583 UC...584 UC...585 UC...586 UC...587 UC...588 UC...589 UC...590 BLOCK 77 TREE.077 UC...591 UC...592 UC...593 UC...594 UC...595 UC...596 UC...597 UC...598 UC...599 UC...600 BLOCK 78 TREE.078 UC...601 UC...602 UC...603 UC...604 UC...605 UC...906 UC...907 UC...908 UC...909 UC...910 BLOCK 79 TREE.079 UC...606 UC...607 UC...608 UC...609 UC...610 UC...611 UC...612 UC...613 UC...614 UC...615 UC...821 UC...822 UC...823 UC...824 UC...825 UC...826 UC...827 UC...828 UC...829 UC...830 UC...831 UC...832 UC...833 UC...834 UC...835 BLOCK 80 TREE.080 UC...616 UC...617 UC...618 UC...619 UC...620 UC...621 UC...622 UC...623 UC...624 UC...625 BLOCK 81 TREE.081 UC...626 UC...627 UC...628 UC...629 UC...630 BLOCK 82 TREE.082 UC...631 UC...632 UC...633 UC...634 UC...635 UC...636 UC...637 UC...638 UC...639 UC...640 UC...966 UC...967 UC...968 UC...969 UC...970 BLOCK 83 TREE.083 UC...641 UC...642 UC...643 UC...644 UC...645 UC...646 UC...647 UC...648 UC...649 UC...650 BLOCK 84 TREE.084 UC...651 UC...652 UC...653 UC...654 UC...655 UC...921 UC...922 UC...923 UC...924 UC...925 BLOCK 85 TREE.085 UC...656 UC...657 UC...658 UC...659 UC...660 BLOCK 86 TREE.086 UC...661 UC...662 UC...663 UC...664 UC...665 UC...666 UC...667 UC...668 UC...669 UC...670 UC...871 UC...872 UC...873 UC...874 UC...875 BLOCK 87 TREE.087 UC...671 UC...672 UC...673 UC...674 UC...675 UC...786 UC...787 UC...788 UC...789 UC...790 BLOCK 88 TREE.088 UC...676 UC...677 UC...678 UC...679 UC...680 UC...681 UC...682 UC...683 UC...684 UC...685 BLOCK 89 TREE.089 UC...686 UC...687 UC...688 UC...689 UC...690 UC...691 UC...692 UC...693 UC...694 UC...695 BLOCK 90 TREE.090 UC...696 UC...697 UC...698 UC...699 UC...700 UC...901 UC...902 UC...903 UC...904 UC...905 BLOCK 91 TREE.091 UC...701 UC...702 UC...703 UC...704 UC...705 BLOCK 92 TREE.092 UC...706 UC...707 UC...708 UC...709 UC...710 BLOCK 93 TREE.093 UC...711 UC...712 UC...713 UC...714 UC...715 UC...716 UC...717 UC...718 UC...719 UC...720 UC...886 UC...887 UC...888 UC...889 UC...890 BLOCK 94 TREE.094 UC...721 UC...722 UC...723 UC...724 UC...725 UC...726 UC...727 UC...728 UC...729 UC...730 BLOCK 95 TREE.095 UC...731 UC...732 UC...733 UC...734 UC...735 BLOCK 96 TREE.096 UC...736 UC...737 UC...738 UC...739 UC...740 UC...741 UC...742 UC...743 UC...744 UC...745 BLOCK 97 TREE.097 UC...746 UC...747 UC...748 UC...749 UC...750 UC...781 UC...782 UC...783 UC...784 UC...785 BLOCK 98 TREE.098 UC...751 UC...752 UC...753 UC...754 UC...755 BLOCK 99 TREE.099 UC...756 UC...757 UC...758 UC...759 UC...760 UC...761 UC...762 UC...763 UC...764 UC...765 UC...896 UC...897 UC...898 UC...899 UC...900 MASTERCONSS CNS..001 CNS..002 CNS..003 CNS..004 CNS..005 CNS..006 CNS..007 CNS..008 CNS..009 CNS..010 CNS..011 CNS..012 CNS..013 CNS..014 CNS..015 CNS..016 CNS..017 CNS..018 CNS..019 CNS..020 CNS..021 CNS..022 CNS..023 CNS..024 CNS..025 CNS..026 CNS..027 CNS..028 CNS..029 CNS..030 CNS..031 CNS..032 CNS..033 CNS..034 CNS..035 CNS..036 CNS..037 CNS..038 CNS..039 CNS..040 CNS..041 CNS..042 CNS..043 CNS..044 CNS..045 CNS..046 CNS..047 CNS..048 CNS..049 CNS..050 CNS..051 CNS..052 CNS..053 CNS..054 CNS..055 CNS..056 CNS..057 CNS..058 CNS..059 CNS..060 CNS..061 CNS..062 CNS..063 CNS..064 CNS..065 CNS..066 CNS..067 CNS..068 CNS..069 CNS..070 CNS..071 CNS..072 CNS..073 CNS..074 CNS..075 CNS..076 CNS..077 CNS..078 CNS..079 CNS..080 CNS..081 CNS..082 CNS..083 CNS..084 CNS..085 CNS..086 CNS..087 CNS..088 CNS..089 CNS..090 CNS..091 CNS..092 CNS..093 CNS..094 CNS..095 CNS..096 CNS..097 CNS..098 CNS..099 CNS..100