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