\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrcgpartition 0.020000 20 0.003311 0.000000 0.062500 0.000000 PRESOLVED 0 NBLOCKS 20 BLOCK 1 SN3 SN13 SN17 SN87 SN117 SN160 SN169 SN216 SN222 SN238 SN245 SN250 SN286 SN290 SN296 BLOCK 2 SN34 SN64 SN74 SN90 SN91 SN101 SN158 SN166 SN179 SN183 SN191 SN215 SN242 SN268 SN297 BLOCK 3 SN11 SN40 SN41 SN61 SN76 SN109 SN128 SN159 SN171 SN186 SN210 SN224 SN228 SN254 SN269 SN291 BLOCK 4 SN37 SN48 SN80 SN112 SN138 SN177 SN185 SN220 SN244 SN251 SN280 SN284 SN299 BLOCK 5 SN57 SN69 SN104 SN148 SN193 SN198 SN199 SN200 SN201 SN246 SN281 SN282 RES BLOCK 6 SN14 SN31 SN59 SN94 SN111 SN130 SN157 SN173 SN192 SN205 SN209 SN217 SN225 SN231 SN276 SN277 BLOCK 7 SN7 SN21 SN56 SN62 SN75 SN84 SN88 SN92 SN126 SN142 SN147 SN174 SN227 SN235 SN260 SN278 SN288 BLOCK 8 SN4 SN5 SN43 SN81 SN82 SN98 SN110 SN149 SN154 SN164 SN189 SN190 SN241 SN253 BLOCK 9 SN18 SN19 SN20 SN27 SN53 SN123 SN135 SN136 SN141 SN145 SN236 SN259 SN274 BLOCK 10 SN35 SN45 SN46 SN47 SN49 SN85 SN124 SN133 SN143 SN155 SN180 SN206 BLOCK 11 SN8 SN25 SN33 SN51 SN60 SN78 SN99 SN100 SN106 SN108 SN156 SN187 SN211 SN226 SN247 SN248 SN272 SN275 BLOCK 12 SN16 SN28 SN30 SN50 SN77 SN105 SN127 SN131 SN153 SN162 SN203 SN258 SN265 SN267 SN271 SN273 SN279 SN285 BLOCK 13 SN9 SN23 SN24 SN32 SN115 SN118 SN119 SN132 SN144 SN176 SN182 SN184 SN194 SN214 SN219 SN266 BLOCK 14 SN12 SN66 SN68 SN79 SN113 SN114 SN204 SN208 SN221 SN230 SN240 SN256 SN257 BLOCK 15 SN0 SN6 SN44 SN55 SN58 SN95 SN125 SN134 SN146 SN172 SN195 SN237 SN289 SN292 BLOCK 16 SN15 SN67 SN71 SN86 SN93 SN97 SN107 SN137 SN163 SN168 SN197 SN202 SN229 SN232 SN239 SN252 SN293 SN295 BLOCK 17 SN1 SN2 SN36 SN52 SN54 SN63 SN83 SN120 SN129 SN151 SN165 SN178 SN196 SN207 SN212 SN218 SN233 BLOCK 18 SN22 SN29 SN70 SN96 SN103 SN116 SN122 SN150 SN161 SN167 SN181 SN261 SN262 SN263 SN283 SN287 SN298 BLOCK 19 SN10 SN26 SN39 SN42 SN73 SN102 SN170 SN175 SN188 SN249 SN255 SN270 SN294 BLOCK 20 SN38 SN65 SN72 SN89 SN121 SN139 SN140 SN152 SN213 SN223 SN234 SN243 SN264 MASTERCONSS CARD