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