\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.000000 0 0.310345 0.000000 0.178063 0.000000 \\ connectedbase 0.000000 15 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 15 BLOCK 1 cycle0 cycle19 cycle27 cycle35 cycle65 cycle141 cycle149 cycle150 cycle152 cycle154 cycle168 cycle169 cycle171 cycle177 cycle180 cycle184 cycle186 cycle187 BLOCK 2 cycle1 cycle2 cycle5 cycle7 cycle9 cycle10 cycle12 cycle15 cycle16 cycle161 cycle163 cycle167 cycle174 cycle175 cycle188 cycle189 cycle199 cycle306 BLOCK 3 cycle11 cycle33 cycle36 cycle124 cycle126 cycle139 cycle153 cycle157 cycle158 cycle159 cycle162 cycle164 cycle165 cycle166 cycle224 cycle225 cycle227 cycle229 cycle230 cycle231 cycle232 cycle268 cycle269 cycle295 cycle297 cycle299 cycle301 BLOCK 4 cycle18 cycle20 cycle79 cycle80 cycle81 cycle82 cycle83 cycle84 cycle85 cycle88 cycle98 cycle99 cycle103 cycle106 cycle107 cycle108 cycle109 cycle116 cycle117 cycle119 cycle129 cycle130 cycle144 cycle209 cycle210 cycle211 cycle212 cycle213 cycle214 cycle217 cycle218 cycle309 BLOCK 5 cycle21 cycle22 cycle23 cycle40 cycle42 cycle46 cycle47 cycle49 cycle50 cycle71 cycle92 cycle94 cycle96 cycle97 cycle112 cycle113 cycle115 cycle118 cycle125 cycle138 cycle193 cycle200 cycle201 cycle202 cycle206 cycle207 cycle228 cycle234 BLOCK 6 cycle24 cycle25 cycle37 cycle39 cycle51 cycle57 cycle62 cycle123 cycle226 cycle264 cycle265 cycle277 cycle278 cycle279 cycle280 cycle285 cycle286 cycle287 cycle288 BLOCK 7 cycle28 cycle101 cycle102 cycle105 cycle120 cycle194 cycle195 cycle281 BLOCK 8 cycle41 cycle52 cycle54 cycle56 cycle58 cycle59 cycle60 cycle63 cycle104 cycle240 cycle242 cycle244 cycle245 cycle253 cycle254 cycle258 cycle259 cycle260 cycle261 BLOCK 9 cycle55 cycle74 cycle75 cycle78 cycle93 cycle95 cycle135 cycle294 cycle303 cycle304 BLOCK 10 cycle64 cycle66 cycle67 cycle69 cycle266 cycle274 BLOCK 11 cycle121 cycle134 cycle208 cycle215 cycle216 cycle219 cycle220 cycle222 cycle223 cycle257 cycle263 cycle275 cycle276 cycle282 cycle283 cycle292 cycle293 cycle307 BLOCK 12 cycle127 cycle128 cycle131 cycle132 cycle133 cycle298 cycle302 BLOCK 13 cycle247 cycle249 cycle251 BLOCK 14 cycle248 cycle250 cycle262 cycle270 cycle271 cycle313 BLOCK 15 cycle312 MASTERCONSS cycle3 cycle4 cycle6 cycle8 cycle13 cycle14 cycle17 cycle26 cycle29 cycle30 cycle31 cycle32 cycle34 cycle38 cycle43 cycle44 cycle45 cycle48 cycle53 cycle61 cycle68 cycle70 cycle72 cycle73 cycle76 cycle77 cycle86 cycle87 cycle89 cycle90 cycle91 cycle100 cycle110 cycle111 cycle114 cycle122 cycle136 cycle137 cycle140 cycle142 cycle143 cycle145 cycle146 cycle147 cycle148 cycle151 cycle155 cycle156 cycle160 cycle170 cycle172 cycle173 cycle176 cycle178 cycle179 cycle181 cycle182 cycle183 cycle185 cycle190 cycle191 cycle192 cycle196 cycle197 cycle198 cycle203 cycle204 cycle205 cycle221 cycle233 cycle235 cycle236 cycle237 cycle238 cycle239 cycle241 cycle243 cycle246 cycle252 cycle255 cycle256 cycle267 cycle272 cycle273 cycle284 cycle289 cycle290 cycle291 cycle296 cycle300 cycle305 cycle308 cycle310 cycle311 cycle314 cycle315 cycle316 cycle317 cycle318