\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.280000 1 0.247714 0.000000 0.231448 0.000000 \\ connectedbase 0.010000 7 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 8 BLOCK 1 cycle604 BLOCK 2 cycle0 cycle1 cycle2 cycle4 cycle5 cycle6 cycle7 cycle8 cycle9 cycle10 cycle11 cycle12 cycle13 cycle14 cycle15 cycle16 cycle17 cycle18 cycle19 cycle20 cycle21 cycle22 cycle24 cycle25 cycle26 cycle28 cycle29 cycle30 cycle33 cycle34 cycle35 cycle38 cycle39 cycle40 cycle41 cycle59 cycle60 cycle67 cycle68 cycle71 cycle72 cycle76 cycle77 cycle84 cycle85 cycle91 cycle94 cycle95 cycle98 cycle99 cycle106 cycle107 cycle108 cycle109 cycle113 cycle121 cycle122 cycle123 cycle124 cycle127 cycle128 cycle129 cycle130 cycle131 cycle132 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 cycle169 cycle170 cycle171 cycle172 cycle173 cycle174 cycle187 cycle188 cycle189 cycle190 cycle191 cycle192 cycle193 cycle194 cycle195 cycle196 cycle197 cycle198 cycle242 cycle251 cycle252 cycle253 cycle254 cycle255 cycle256 cycle257 cycle258 cycle259 cycle260 cycle261 cycle262 cycle263 cycle264 cycle265 cycle266 cycle267 cycle268 cycle269 cycle270 cycle271 cycle272 cycle273 cycle274 cycle275 cycle276 cycle277 cycle278 cycle279 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 cycle317 cycle318 cycle319 cycle320 cycle321 cycle322 cycle323 cycle342 cycle343 cycle344 cycle345 cycle346 cycle347 cycle348 cycle349 cycle350 cycle371 cycle372 cycle373 cycle374 cycle375 cycle376 cycle377 cycle378 cycle379 cycle380 cycle381 cycle382 cycle383 cycle384 cycle385 cycle386 cycle387 cycle388 cycle393 cycle394 cycle395 cycle396 cycle397 cycle398 cycle399 cycle400 cycle401 cycle420 cycle421 cycle422 cycle423 cycle424 cycle425 cycle426 cycle427 cycle428 cycle429 cycle430 cycle431 cycle432 cycle433 cycle468 cycle469 cycle470 cycle471 cycle474 cycle475 cycle478 cycle479 cycle480 cycle481 cycle482 cycle483 cycle484 cycle485 cycle486 cycle487 cycle488 cycle489 cycle490 cycle491 cycle492 cycle493 cycle494 cycle495 cycle496 cycle497 cycle498 cycle499 cycle500 cycle501 cycle502 cycle503 cycle504 cycle505 cycle506 cycle507 cycle508 cycle509 cycle512 cycle513 cycle514 cycle536 cycle537 cycle538 cycle539 cycle540 cycle541 cycle542 cycle543 cycle544 cycle545 cycle546 cycle547 cycle548 cycle549 cycle550 cycle553 cycle564 cycle565 cycle566 cycle567 cycle568 cycle569 cycle570 cycle571 cycle572 cycle573 cycle574 cycle575 cycle605 cycle606 cycle609 cycle612 cycle613 cycle614 cycle615 cycle616 cycle617 cycle618 cycle619 cycle620 cycle621 cycle622 cycle623 cycle624 cycle625 cycle626 cycle627 cycle628 cycle629 cycle630 cycle631 cycle632 cycle633 cycle634 cycle635 cycle638 cycle639 cycle640 cycle641 cycle642 cycle643 cycle646 cycle647 cycle648 cycle649 cycle650 cycle651 cycle652 cycle653 cycle654 cycle655 cycle656 cycle657 cycle658 cycle659 cycle660 cycle661 cycle662 cycle663 cycle664 cycle706 cycle707 cycle708 cycle709 cycle710 cycle711 cycle712 cycle713 cycle714 cycle715 cycle716 cycle717 cycle718 cycle719 cycle720 cycle721 cycle722 cycle723 cycle724 cycle725 cycle726 cycle727 cycle728 cycle729 cycle730 cycle731 cycle732 cycle733 cycle734 cycle735 cycle736 cycle737 cycle738 cycle739 cycle740 cycle741 cycle742 cycle743 cycle744 cycle745 cycle746 cycle747 cycle780 cycle781 cycle782 cycle783 cycle784 cycle785 cycle786 cycle787 cycle788 cycle789 cycle790 cycle791 cycle792 cycle793 cycle794 cycle795 cycle796 cycle797 cycle798 cycle799 cycle800 cycle801 cycle802 cycle803 cycle804 cycle805 cycle806 cycle807 cycle808 cycle809 cycle810 cycle811 cycle812 cycle813 cycle814 cycle815 cycle816 cycle817 cycle818 cycle819 cycle820 cycle821 cycle822 cycle825 cycle826 cycle864 cycle865 cycle866 cycle867 cycle868 cycle869 cycle870 cycle871 cycle872 cycle873 cycle874 cycle875 cycle876 cycle877 cycle878 cycle879 cycle880 cycle881 cycle882 cycle883 cycle884 cycle885 cycle886 cycle887 cycle888 cycle889 cycle890 cycle891 cycle919 cycle920 cycle921 cycle922 cycle923 cycle924 cycle925 cycle926 cycle927 cycle928 cycle929 cycle930 cycle931 cycle932 cycle933 cycle934 cycle935 cycle936 cycle937 cycle938 cycle939 cycle940 cycle941 cycle942 cycle943 cycle944 cycle945 cycle946 cycle947 cycle964 cycle965 cycle966 cycle967 cycle968 cycle969 cycle970 cycle971 cycle972 cycle973 cycle974 cycle975 cycle980 cycle981 cycle982 cycle983 cycle988 cycle989 cycle990 cycle991 cycle992 cycle993 cycle994 cycle995 cycle1022 cycle1023 cycle1024 cycle1025 cycle1026 cycle1027 cycle1028 cycle1029 cycle1030 cycle1031 cycle1032 cycle1033 cycle1034 cycle1035 cycle1036 cycle1037 cycle1038 cycle1039 cycle1040 cycle1041 cycle1042 cycle1043 cycle1044 cycle1045 cycle1046 cycle1047 cycle1048 cycle1049 cycle1050 cycle1051 cycle1052 cycle1053 cycle1054 cycle1055 cycle1056 cycle1057 cycle1058 cycle1059 cycle1060 cycle1061 cycle1069 cycle1070 cycle1071 cycle1072 cycle1073 cycle1074 cycle1075 cycle1076 cycle1077 cycle1078 cycle1082 cycle1084 cycle1085 cycle1086 cycle1090 cycle1092 cycle1094 cycle1098 cycle1099 cycle1100 cycle1103 cycle1104 cycle1105 cycle1107 cycle1108 cycle1111 cycle1112 cycle1113 cycle1114 cycle1115 cycle1116 cycle1117 cycle1118 cycle1119 cycle1120 cycle1121 cycle1122 cycle1123 cycle1124 cycle1129 cycle1130 cycle1131 cycle1132 cycle1134 cycle1142 cycle1144 cycle1153 cycle1154 cycle1155 cycle1156 cycle1157 cycle1158 cycle1159 cycle1160 cycle1161 cycle1162 cycle1163 cycle1164 cycle1165 cycle1175 cycle1177 cycle1178 cycle1186 cycle1187 cycle1188 cycle1189 cycle1190 cycle1191 cycle1192 cycle1194 cycle1195 cycle1196 cycle1200 BLOCK 3 cycle27 cycle54 cycle55 cycle82 cycle83 cycle92 cycle93 cycle354 cycle355 cycle356 cycle357 cycle362 cycle363 cycle364 cycle365 cycle366 cycle367 cycle368 cycle369 cycle370 cycle406 cycle407 cycle408 cycle409 cycle410 cycle415 cycle416 cycle417 cycle418 cycle419 cycle438 cycle439 cycle441 cycle442 cycle443 cycle444 cycle445 cycle446 cycle447 cycle448 cycle449 cycle451 cycle452 cycle453 cycle454 cycle455 cycle456 cycle460 cycle463 cycle466 cycle467 cycle576 cycle577 cycle579 cycle580 cycle581 cycle582 cycle583 cycle584 cycle585 cycle586 cycle588 cycle589 cycle590 cycle591 cycle592 cycle593 cycle601 cycle602 cycle665 cycle677 cycle685 cycle686 cycle687 cycle689 cycle690 cycle692 cycle693 cycle694 cycle695 cycle696 cycle697 cycle698 cycle700 cycle701 cycle702 cycle703 cycle704 cycle748 cycle749 cycle750 cycle751 cycle752 cycle753 cycle754 cycle755 cycle757 cycle758 cycle760 cycle761 cycle763 cycle764 cycle766 cycle767 cycle769 cycle770 cycle772 cycle773 cycle854 cycle856 cycle858 cycle859 cycle860 cycle862 cycle863 cycle956 cycle957 cycle958 cycle959 cycle960 cycle961 cycle976 cycle977 cycle978 cycle979 cycle984 cycle985 cycle986 cycle987 cycle1093 cycle1096 cycle1097 cycle1101 cycle1102 cycle1135 cycle1136 cycle1137 cycle1138 cycle1139 cycle1140 cycle1141 cycle1149 cycle1150 cycle1151 cycle1152 cycle1166 cycle1167 cycle1168 cycle1169 cycle1170 cycle1171 cycle1172 cycle1173 cycle1174 cycle1197 cycle1198 cycle1199 cycle1201 cycle1202 BLOCK 4 cycle175 cycle176 cycle177 cycle178 cycle179 cycle180 cycle181 cycle182 cycle183 cycle184 cycle185 cycle186 cycle324 cycle325 cycle326 cycle327 cycle328 cycle329 cycle331 cycle333 cycle334 cycle335 cycle336 cycle337 cycle338 cycle339 cycle515 cycle516 cycle518 cycle522 cycle526 cycle527 cycle528 cycle529 cycle530 cycle531 cycle532 cycle533 cycle560 cycle561 cycle562 cycle563 cycle1000 cycle1001 cycle1002 cycle1003 cycle1004 cycle1005 cycle1008 cycle1009 cycle1011 cycle1012 cycle1013 cycle1014 cycle1015 cycle1016 cycle1019 cycle1020 cycle1079 cycle1080 cycle1087 cycle1088 cycle1089 cycle1091 cycle1106 cycle1109 cycle1179 cycle1180 cycle1181 cycle1182 cycle1183 cycle1184 cycle1185 BLOCK 5 cycle201 cycle202 cycle205 cycle206 cycle213 cycle214 cycle217 cycle218 cycle219 cycle224 cycle231 cycle894 cycle897 cycle902 cycle903 cycle908 cycle911 cycle916 cycle1125 cycle1126 cycle1127 cycle1128 BLOCK 6 cycle603 BLOCK 7 cycle835 cycle1176 BLOCK 8 cycle1145 cycle1146 cycle1147 cycle1148 MASTERCONSS cycle3 cycle23 cycle31 cycle32 cycle36 cycle37 cycle42 cycle43 cycle44 cycle45 cycle46 cycle47 cycle48 cycle49 cycle50 cycle51 cycle52 cycle53 cycle56 cycle57 cycle58 cycle61 cycle62 cycle63 cycle64 cycle65 cycle66 cycle69 cycle70 cycle73 cycle74 cycle75 cycle78 cycle79 cycle80 cycle81 cycle86 cycle87 cycle88 cycle89 cycle90 cycle96 cycle97 cycle100 cycle101 cycle102 cycle103 cycle104 cycle105 cycle110 cycle111 cycle112 cycle114 cycle115 cycle116 cycle117 cycle118 cycle119 cycle120 cycle125 cycle126 cycle133 cycle134 cycle199 cycle200 cycle203 cycle204 cycle207 cycle208 cycle209 cycle210 cycle211 cycle212 cycle215 cycle216 cycle220 cycle221 cycle222 cycle223 cycle225 cycle226 cycle227 cycle228 cycle229 cycle230 cycle232 cycle233 cycle234 cycle235 cycle236 cycle237 cycle238 cycle239 cycle240 cycle241 cycle243 cycle244 cycle245 cycle246 cycle247 cycle248 cycle249 cycle250 cycle330 cycle332 cycle340 cycle341 cycle351 cycle352 cycle353 cycle358 cycle359 cycle360 cycle361 cycle389 cycle390 cycle391 cycle392 cycle402 cycle403 cycle404 cycle405 cycle411 cycle412 cycle413 cycle414 cycle434 cycle435 cycle436 cycle437 cycle440 cycle450 cycle457 cycle458 cycle459 cycle461 cycle462 cycle464 cycle465 cycle472 cycle473 cycle476 cycle477 cycle510 cycle511 cycle517 cycle519 cycle520 cycle521 cycle523 cycle524 cycle525 cycle534 cycle535 cycle551 cycle552 cycle554 cycle555 cycle556 cycle557 cycle558 cycle559 cycle578 cycle587 cycle594 cycle595 cycle596 cycle597 cycle598 cycle599 cycle600 cycle607 cycle608 cycle610 cycle611 cycle636 cycle637 cycle644 cycle645 cycle666 cycle667 cycle668 cycle669 cycle670 cycle671 cycle672 cycle673 cycle674 cycle675 cycle676 cycle678 cycle679 cycle680 cycle681 cycle682 cycle683 cycle684 cycle688 cycle691 cycle699 cycle705 cycle756 cycle759 cycle762 cycle765 cycle768 cycle771 cycle774 cycle775 cycle776 cycle777 cycle778 cycle779 cycle823 cycle824 cycle827 cycle828 cycle829 cycle830 cycle831 cycle832 cycle833 cycle834 cycle836 cycle837 cycle838 cycle839 cycle840 cycle841 cycle842 cycle843 cycle844 cycle845 cycle846 cycle847 cycle848 cycle849 cycle850 cycle851 cycle852 cycle853 cycle855 cycle857 cycle861 cycle892 cycle893 cycle895 cycle896 cycle898 cycle899 cycle900 cycle901 cycle904 cycle905 cycle906 cycle907 cycle909 cycle910 cycle912 cycle913 cycle914 cycle915 cycle917 cycle918 cycle948 cycle949 cycle950 cycle951 cycle952 cycle953 cycle954 cycle955 cycle962 cycle963 cycle996 cycle997 cycle998 cycle999 cycle1006 cycle1007 cycle1010 cycle1017 cycle1018 cycle1021 cycle1062 cycle1063 cycle1064 cycle1065 cycle1066 cycle1067 cycle1068 cycle1081 cycle1083 cycle1095 cycle1110 cycle1133 cycle1143 cycle1193