\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.010000 0 0.072581 0.000000 0.000000 0.000000 \\ connectedbase 0.000000 14 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 14 BLOCK 1 CNS...02 CNS...03 CNS...04 CNS...05 CNS...31 TREE..02 TREE..03 TREE..04 TREE..05 TREE..31 TREE..32 UC...001 UC...002 UC...003 UC...004 UC...005 UC...006 UC...019 UC...020 UC...021 UC...037 UC...038 UC...039 UC...040 UC...043 UC...085 UC...086 UC...194 UC...195 BLOCK 2 CNS...07 CNS...08 CNS...09 CNS...10 CNS...11 CNS...12 CNS...13 CNS...14 CNS...25 CNS...26 TREE..07 TREE..08 TREE..09 TREE..10 TREE..11 TREE..12 TREE..13 TREE..14 TREE..25 TREE..26 UC...009 UC...010 UC...022 UC...023 UC...024 UC...025 UC...026 UC...027 UC...028 UC...029 UC...030 UC...031 UC...032 UC...033 UC...034 UC...035 UC...036 UC...050 UC...051 UC...052 UC...053 UC...054 UC...055 BLOCK 3 CNS...16 CNS...17 CNS...18 CNS...19 CNS...23 CNS...24 TREE..16 TREE..17 TREE..18 TREE..19 TREE..20 TREE..23 TREE..24 UC...041 UC...042 UC...044 UC...045 UC...046 UC...047 UC...048 UC...049 UC...061 UC...062 UC...063 UC...064 UC...065 UC...066 UC...067 UC...068 UC...070 BLOCK 4 CNS...27 CNS...28 CNS...29 CNS...64 CNS...65 CNS...66 CNS...67 CNS...68 TREE..27 TREE..28 TREE..29 TREE..64 TREE..65 TREE..66 TREE..67 TREE..68 UC...056 UC...057 UC...058 UC...059 UC...060 UC...143 UC...144 UC...145 UC...146 UC...147 UC...148 UC...149 UC...150 UC...151 UC...154 UC...155 UC...156 UC...157 UC...191 UC...192 BLOCK 5 CNS...34 CNS...38 CNS...39 CNS...40 CNS...41 TREE..33 TREE..34 TREE..38 TREE..39 TREE..40 TREE..41 TREE..42 UC...079 UC...080 UC...081 UC...082 UC...083 UC...084 UC...091 UC...093 UC...094 UC...095 UC...096 UC...097 UC...098 UC...099 UC...100 UC...101 UC...102 UC...193 BLOCK 6 CNS...36 CNS...37 CNS...44 CNS...45 TREE..21 TREE..36 TREE..37 TREE..43 TREE..44 TREE..45 UC...069 UC...071 UC...073 UC...074 UC...075 UC...076 UC...077 UC...078 UC...087 UC...088 UC...089 UC...090 UC...092 UC...103 UC...104 UC...105 UC...106 BLOCK 7 CNS...47 CNS...48 CNS...49 CNS...50 CNS...51 TREE..47 TREE..48 TREE..49 TREE..50 TREE..51 UC...107 UC...108 UC...109 UC...110 UC...111 UC...112 UC...113 UC...114 UC...115 UC...116 UC...117 BLOCK 8 CNS...54 CNS...55 CNS...56 CNS...57 CNS...58 TREE..53 TREE..54 TREE..55 TREE..56 TREE..57 TREE..58 UC...124 UC...125 UC...126 UC...127 UC...128 UC...129 UC...130 UC...131 UC...132 UC...133 UC...134 UC...135 UC...136 UC...137 UC...138 UC...139 UC...140 UC...141 UC...142 BLOCK 9 CNS...60 TREE..59 TREE..60 TREE..62 UC...007 UC...008 UC...016 UC...017 UC...018 BLOCK 10 CNS...63 TREE..52 TREE..63 UC...118 UC...119 UC...120 UC...121 UC...122 UC...123 BLOCK 11 CNS...70 CNS...71 CNS...72 CNS...85 TREE..70 TREE..71 TREE..72 TREE..85 UC...180 UC...181 UC...182 UC...183 UC...184 UC...185 UC...186 UC...187 BLOCK 12 CNS...73 CNS...74 CNS...75 CNS...76 CNS...77 CNS...78 CNS...82 CNS...83 TREE..73 TREE..74 TREE..75 TREE..76 TREE..77 TREE..78 TREE..82 TREE..83 UC...158 UC...159 UC...160 UC...161 UC...162 UC...163 UC...164 UC...165 UC...166 UC...167 UC...168 UC...169 UC...170 UC...171 UC...176 UC...177 UC...178 UC...179 BLOCK 13 CNS...80 CNS...86 CNS...87 CNS...88 CNS...89 TREE..01 TREE..30 TREE..61 TREE..69 TREE..79 TREE..80 TREE..81 TREE..84 TREE..86 TREE..87 TREE..88 UC...011 UC...012 UC...013 UC...014 UC...015 UC...152 UC...153 UC...172 UC...173 UC...174 UC...175 UC...188 UC...189 UC...190 BLOCK 14 UC...072 MASTERCONSS CNS...01 CNS...06 CNS...15 CNS...20 CNS...21 CNS...22 CNS...30 CNS...32 CNS...33 CNS...35 CNS...42 CNS...43 CNS...46 CNS...52 CNS...53 CNS...59 CNS...61 CNS...62 CNS...69 CNS...79 CNS...81 CNS...84 TREE..06 TREE..15 TREE..22 TREE..35 TREE..46