\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.070000 0 0.077341 0.000000 0.066116 0.000000 \\ connectedbase 0.000000 5 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 5 BLOCK 1 cycle0 cycle6 cycle7 cycle8 cycle10 cycle11 cycle14 cycle15 cycle26 cycle27 cycle34 cycle37 cycle47 cycle50 cycle53 cycle54 cycle55 cycle56 cycle57 cycle58 cycle59 cycle60 cycle61 cycle62 cycle63 cycle64 cycle94 cycle95 cycle96 cycle97 cycle102 cycle103 cycle104 cycle105 cycle106 cycle107 cycle108 cycle109 cycle110 cycle111 cycle112 cycle113 cycle114 cycle115 cycle116 cycle117 cycle118 cycle119 cycle120 cycle121 cycle122 cycle123 cycle124 cycle125 cycle126 cycle127 cycle128 cycle172 cycle173 cycle174 cycle175 cycle176 cycle177 cycle178 cycle194 cycle195 cycle196 cycle197 cycle198 cycle199 cycle202 cycle203 cycle204 cycle205 cycle206 cycle207 cycle208 cycle251 cycle252 cycle253 cycle254 cycle255 cycle256 cycle257 cycle258 cycle259 cycle260 cycle261 cycle262 cycle264 cycle265 cycle266 cycle267 cycle268 cycle269 cycle270 cycle271 cycle272 cycle273 cycle274 cycle275 cycle276 cycle277 cycle278 cycle279 cycle317 cycle318 cycle319 cycle320 cycle321 cycle322 cycle323 cycle324 cycle325 cycle326 cycle327 cycle328 cycle329 cycle330 cycle331 cycle332 cycle333 cycle334 cycle335 cycle336 cycle337 cycle338 cycle339 cycle340 cycle341 cycle342 cycle343 cycle344 cycle345 cycle346 cycle347 cycle348 cycle349 cycle350 cycle351 cycle352 cycle353 cycle354 cycle355 cycle356 cycle357 cycle358 cycle359 cycle403 cycle404 cycle405 cycle406 cycle407 cycle408 cycle409 cycle410 cycle411 cycle412 cycle421 cycle422 cycle423 cycle424 cycle425 cycle426 cycle431 cycle432 cycle433 cycle434 cycle435 cycle436 cycle441 cycle442 cycle459 cycle460 cycle461 cycle462 cycle465 cycle466 cycle467 cycle468 cycle479 cycle480 cycle481 cycle482 cycle483 cycle484 cycle485 cycle486 cycle487 cycle488 cycle519 cycle520 cycle521 cycle522 cycle523 cycle524 cycle525 cycle526 cycle527 cycle528 cycle529 cycle530 cycle531 cycle532 cycle533 cycle534 cycle535 cycle536 cycle537 cycle538 cycle539 cycle540 cycle541 cycle542 cycle543 cycle544 cycle545 cycle546 cycle547 cycle548 cycle553 cycle563 cycle564 cycle566 cycle567 cycle568 cycle570 cycle571 cycle577 cycle581 cycle585 cycle586 cycle587 cycle588 cycle589 cycle591 cycle592 cycle599 cycle605 cycle612 cycle613 cycle615 cycle618 cycle619 cycle620 cycle621 cycle622 cycle623 cycle625 cycle626 cycle644 cycle647 cycle652 cycle653 cycle654 cycle655 cycle662 cycle673 cycle674 cycle675 cycle676 cycle677 cycle684 cycle685 cycle686 cycle687 cycle691 cycle692 cycle693 cycle703 cycle704 cycle705 cycle706 cycle707 cycle708 cycle709 cycle712 cycle713 cycle716 cycle736 BLOCK 2 cycle1 cycle2 cycle3 cycle4 cycle5 cycle9 cycle12 cycle13 cycle24 cycle28 cycle29 cycle30 cycle31 cycle32 cycle35 cycle39 cycle41 cycle42 cycle44 cycle45 cycle51 cycle65 cycle66 cycle67 cycle68 cycle69 cycle70 cycle129 cycle130 cycle131 cycle132 cycle133 cycle134 cycle135 cycle136 cycle137 cycle138 cycle139 cycle140 cycle141 cycle142 cycle143 cycle144 cycle145 cycle146 cycle147 cycle148 cycle149 cycle150 cycle151 cycle152 cycle153 cycle154 cycle155 cycle156 cycle157 cycle158 cycle159 cycle160 cycle161 cycle162 cycle163 cycle164 cycle165 cycle166 cycle167 cycle168 cycle193 cycle221 cycle222 cycle223 cycle224 cycle225 cycle226 cycle227 cycle228 cycle229 cycle230 cycle231 cycle236 cycle237 cycle238 cycle239 cycle240 cycle241 cycle242 cycle243 cycle244 cycle245 cycle246 cycle247 cycle248 cycle280 cycle281 cycle282 cycle283 cycle284 cycle285 cycle286 cycle287 cycle288 cycle289 cycle290 cycle291 cycle292 cycle293 cycle294 cycle295 cycle296 cycle297 cycle298 cycle299 cycle300 cycle301 cycle302 cycle303 cycle304 cycle305 cycle306 cycle307 cycle308 cycle309 cycle310 cycle311 cycle312 cycle313 cycle314 cycle315 cycle316 cycle389 cycle390 cycle391 cycle392 cycle393 cycle396 cycle397 cycle398 cycle399 cycle400 cycle427 cycle428 cycle429 cycle430 cycle437 cycle438 cycle439 cycle440 cycle449 cycle450 cycle457 cycle458 cycle472 cycle489 cycle490 cycle491 cycle492 cycle493 cycle494 cycle495 cycle496 cycle497 cycle498 cycle499 cycle500 cycle501 cycle502 cycle503 cycle504 cycle505 cycle506 cycle507 cycle508 cycle509 cycle510 cycle511 cycle512 cycle513 cycle514 cycle515 cycle516 cycle517 cycle518 cycle572 cycle573 cycle574 cycle579 cycle580 cycle582 cycle584 cycle590 cycle593 cycle594 cycle595 cycle597 cycle606 cycle608 cycle610 cycle614 cycle616 cycle617 cycle624 cycle627 cycle645 cycle646 cycle651 cycle656 cycle657 cycle658 cycle659 cycle660 cycle661 cycle672 cycle681 cycle688 cycle698 cycle699 cycle700 cycle701 cycle702 cycle730 cycle731 cycle732 cycle733 cycle734 cycle735 BLOCK 3 cycle16 cycle18 cycle23 cycle73 cycle74 cycle75 cycle76 cycle77 cycle81 cycle82 cycle83 cycle84 cycle85 cycle217 cycle218 cycle219 cycle220 cycle360 cycle362 cycle363 cycle364 cycle365 cycle368 cycle369 cycle370 cycle555 cycle561 cycle562 cycle578 cycle602 cycle603 cycle630 cycle631 cycle642 cycle643 cycle649 cycle666 cycle668 cycle682 cycle723 cycle724 cycle726 cycle727 cycle728 BLOCK 4 cycle20 cycle21 cycle22 cycle25 cycle40 cycle43 cycle46 cycle48 cycle49 cycle86 cycle87 cycle88 cycle89 cycle90 cycle91 cycle92 cycle93 cycle98 cycle99 cycle100 cycle101 cycle179 cycle180 cycle181 cycle182 cycle183 cycle184 cycle187 cycle188 cycle189 cycle190 cycle191 cycle211 cycle212 cycle213 cycle214 cycle215 cycle216 cycle371 cycle372 cycle373 cycle374 cycle375 cycle376 cycle377 cycle378 cycle379 cycle380 cycle381 cycle382 cycle383 cycle384 cycle417 cycle418 cycle419 cycle420 cycle443 cycle444 cycle445 cycle446 cycle447 cycle448 cycle451 cycle452 cycle453 cycle454 cycle455 cycle456 cycle549 cycle550 cycle551 cycle552 cycle557 cycle558 cycle559 cycle565 cycle569 cycle575 cycle600 cycle601 cycle604 cycle609 cycle611 cycle628 cycle629 cycle632 cycle633 cycle636 cycle637 cycle640 cycle641 cycle650 cycle663 cycle664 cycle665 cycle667 cycle669 cycle670 cycle671 cycle683 cycle690 cycle710 cycle714 cycle717 cycle718 cycle721 cycle729 BLOCK 5 cycle52 cycle170 cycle171 cycle232 cycle233 cycle234 cycle235 cycle249 cycle250 cycle471 cycle473 cycle474 cycle475 cycle477 cycle478 cycle554 cycle598 cycle607 cycle638 cycle639 cycle648 cycle679 cycle695 cycle696 MASTERCONSS cycle17 cycle19 cycle33 cycle36 cycle38 cycle71 cycle72 cycle78 cycle79 cycle80 cycle169 cycle185 cycle186 cycle192 cycle200 cycle201 cycle209 cycle210 cycle263 cycle361 cycle366 cycle367 cycle385 cycle386 cycle387 cycle388 cycle394 cycle395 cycle401 cycle402 cycle413 cycle414 cycle415 cycle416 cycle463 cycle464 cycle469 cycle470 cycle476 cycle556 cycle560 cycle576 cycle583 cycle596 cycle634 cycle635 cycle678 cycle680 cycle689 cycle694 cycle697 cycle711 cycle715 cycle719 cycle720 cycle722 cycle725