\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.020000 6 0.068095 0.000000 0.005051 0.000000 PRESOLVED 0 NBLOCKS 6 BLOCK 1 FLO20510 FLO20511 FLO20512 FLO20513 FLO20611 FLO20612 FLO20710 FLO20711 FLO20712 FLO20713 FLO20809 FLO20810 FLO20811 FLO20812 FLO20813 FLO20910 FLO20911 FLO20912 FLO20913 FLO21010 FLO21011 FLO21012 FLO21013 FW4.0110 FW4.0111 FW4.0112 FW4.0210 FW4.0211 FW4.0212 FW4.0310 FW4.0311 FW4.0312 FW4.0411 FW4.0412 VUB01110 VUB01111 VUB01112 VUB01113 VUB02110 VUB02111 VUB02112 VUB02113 VUB03210 VUB03211 VUB03212 VUB03213 VUB04210 VUB04211 VUB04212 VUB04213 VUB05309 VUB05310 VUB05311 VUB05312 VUB05313 VUB05314 VUB06110 VUB06111 VUB06112 VUB06113 VUB07210 VUB07211 VUB07212 VUB07213 VUB08309 VUB08310 VUB08311 VUB08312 VUB08313 VUB08314 VUB09309 VUB09310 VUB09311 VUB09312 VUB09313 VUB09314 VUB10309 VUB10310 VUB10311 VUB10312 VUB10313 VUB10314 VBb01110 VBb01111 VBb01112 VBb01113 VBb01210 VBb01211 VBb01212 VBb01213 VBb01309 VBb01310 VBb01311 VBb01312 VBb01313 VBb01314 VBb02110 VBb02111 VBb02112 VBb02113 VBb02210 VBb02211 VBb02212 VBb02213 VBb03110 VBb03111 VBb03112 VBb03113 VBb03210 VBb03211 VBb03212 VBb03213 VBb03309 VBb03310 VBb03311 VBb03312 VBb04110 VBb04111 VBb04112 VBb04113 VBb04210 VBb04211 VBb04212 VBb04213 VBb04309 VBb04310 VBb04311 VBb04312 VBb04313 VBb04314 VBb05110 VBb05111 VBb05112 VBb05113 VBb05210 VBb05211 VBb05212 VBb05213 VBb05309 VBb05310 VBb05311 VBb05312 VBb05313 VBb05314 VBb06110 VBb06111 VBb06112 VBb06113 VBb06210 VBb06211 VBb06212 VBb06213 VBb06309 VBb06310 VBb06311 VBb06312 VBb06313 VBb06314 VBb07110 VBb07111 VBb07112 VBb07113 VBb07210 VBb07211 VBb07212 VBb07213 VBb07309 VBb07310 VBb07311 VBb07312 VBb07313 VBb07314 VBb08110 VBb08111 VBb08112 VBb08113 VBb08210 VBb08211 VBb08212 VBb08213 VBb08309 VBb08310 VBb08311 VBb08312 VBb08313 VBb08314 VBb09110 VBb09111 VBb09112 VBb09113 VBb09210 VBb09211 VBb09212 VBb09213 VBb09309 VBb09310 VBb09311 VBb09312 VBb09313 VBb09314 VBb10110 VBb10111 VBb10112 VBb10113 VBb10210 VBb10211 VBb10212 VBb10213 VBb10309 VBb10310 VBb10311 VBb10312 VBb10313 VBb10314 capa0110 capa0111 capa0112 capa0113 capa0210 capa0211 capa0212 capa0213 capa0309 capa0310 capa0311 capa0312 capa0313 capa0314 ****1189 ****1190 ****1201 ****1208 ****1214 ****1219 ****1222 ****1223 ****1230 ****1236 ****1253 ****1255 ****1258 ****1261 ****1262 ****1265 ****1276 ****1279 ****1284 ****1288 ****1306 BLOCK 2 FLO20505 FLO20506 FLO20507 FLO20508 FLO20607 FLO20608 FLO20609 FLO20707 FLO20708 FLO20805 FLO20806 FLO20807 FLO20905 FLO20906 FLO20907 FLO20908 FLO21007 FLO21008 FW4.0104 FW4.0105 FW4.0106 FW4.0107 FW4.0108 FW4.0204 FW4.0205 FW4.0206 FW4.0207 FW4.0208 FW4.0308 FW4.0408 FW4.0409 VUB01104 VUB01105 VUB01106 VUB01107 VUB01108 VUB01109 VUB02104 VUB02105 VUB02106 VUB02107 VUB02108 VUB02109 VUB03207 VUB03208 VUB03209 VUB04207 VUB04208 VUB04209 VUB05305 VUB05306 VUB05307 VUB05308 VUB06104 VUB06105 VUB06106 VUB06107 VUB06108 VUB06109 VUB07207 VUB07208 VUB07209 VUB08305 VUB08306 VUB08307 VUB08308 VUB09305 VUB09306 VUB09307 VUB09308 VUB10305 VUB10306 VUB10307 VUB10308 VBb01104 VBb01105 VBb01106 VBb01107 VBb01108 VBb01109 VBb01207 VBb01208 VBb01209 VBb01305 VBb01306 VBb01307 VBb01308 VBb02104 VBb02105 VBb02106 VBb02107 VBb02108 VBb02109 VBb02207 VBb02208 VBb02209 VBb03104 VBb03105 VBb03106 VBb03107 VBb03108 VBb03109 VBb03207 VBb03208 VBb03209 VBb03305 VBb03306 VBb03307 VBb03308 VBb04104 VBb04105 VBb04106 VBb04107 VBb04108 VBb04109 VBb04207 VBb04208 VBb04209 VBb04305 VBb04306 VBb04307 VBb04308 VBb05104 VBb05105 VBb05106 VBb05107 VBb05108 VBb05109 VBb05207 VBb05208 VBb05209 VBb05305 VBb05306 VBb05307 VBb05308 VBb06104 VBb06105 VBb06106 VBb06107 VBb06108 VBb06109 VBb06207 VBb06208 VBb06209 VBb06305 VBb06306 VBb06307 VBb06308 VBb07104 VBb07105 VBb07106 VBb07107 VBb07108 VBb07109 VBb07207 VBb07208 VBb07209 VBb07305 VBb07306 VBb07307 VBb07308 VBb08104 VBb08105 VBb08106 VBb08107 VBb08108 VBb08109 VBb08207 VBb08208 VBb08209 VBb08305 VBb08306 VBb08307 VBb08308 VBb09104 VBb09105 VBb09106 VBb09107 VBb09108 VBb09109 VBb09207 VBb09208 VBb09209 VBb09305 VBb09306 VBb09307 VBb09308 VBb10104 VBb10105 VBb10106 VBb10107 VBb10108 VBb10109 VBb10207 VBb10208 VBb10209 VBb10305 VBb10306 VBb10307 VBb10308 capa0104 capa0105 capa0106 capa0107 capa0108 capa0109 capa0207 capa0208 capa0209 capa0305 capa0306 capa0307 capa0308 ****1187 ****1241 ****1245 ****1254 ****1271 ****1272 ****1273 ****1280 ****1290 ****1300 ****1308 BLOCK 3 FLO10501 FLO10601 FLO10701 FLO10801 FLO10901 FLO11001 FLO20502 FLO20503 FLO20602 FLO20603 FLO20702 FLO20703 FLO20704 FLO20705 FLO20802 FLO20803 FLO20902 FLO20903 FLO21002 FLO21003 FW3.0101 FW3.0201 FW3.0301 FW3.0401 FW4.0102 FW4.0202 FW4.0302 FW4.0303 FW4.0304 FW4.0305 FW4.0306 FW4.0402 FW4.0403 FW4.0404 FW4.0405 FW4.0406 VUB01101 VUB01102 VUB01103 VUB02101 VUB02102 VUB02103 VUB03201 VUB03202 VUB03203 VUB03204 VUB03205 VUB03206 VUB04201 VUB04202 VUB04203 VUB04204 VUB04205 VUB04206 VUB05301 VUB05302 VUB05303 VUB05304 VUB06101 VUB06102 VUB06103 VUB07201 VUB07202 VUB07203 VUB07204 VUB07205 VUB07206 VUB08301 VUB08302 VUB08303 VUB08304 VUB09301 VUB09302 VUB09303 VUB09304 VUB10301 VUB10302 VUB10303 VUB10304 VBb01101 VBb01102 VBb01103 VBb01201 VBb01202 VBb01203 VBb01204 VBb01205 VBb01206 VBb01301 VBb01302 VBb01303 VBb01304 VBb02101 VBb02102 VBb02103 VBb02201 VBb02202 VBb02203 VBb02204 VBb02205 VBb02206 VBb02301 VBb02302 VBb03101 VBb03102 VBb03103 VBb03201 VBb03202 VBb03203 VBb03204 VBb03205 VBb03206 VBb03301 VBb03302 VBb03303 VBb03304 VBb04101 VBb04102 VBb04103 VBb04201 VBb04202 VBb04203 VBb04204 VBb04205 VBb04206 VBb04301 VBb04302 VBb04303 VBb04304 VBb05101 VBb05102 VBb05103 VBb05201 VBb05202 VBb05203 VBb05204 VBb05205 VBb05206 VBb05301 VBb05302 VBb05303 VBb05304 VBb06101 VBb06102 VBb06103 VBb06201 VBb06202 VBb06203 VBb06204 VBb06205 VBb06206 VBb06301 VBb06302 VBb06303 VBb06304 VBb07101 VBb07102 VBb07103 VBb07201 VBb07202 VBb07203 VBb07204 VBb07205 VBb07206 VBb07301 VBb07302 VBb07303 VBb07304 VBb08101 VBb08102 VBb08103 VBb08201 VBb08202 VBb08203 VBb08204 VBb08205 VBb08206 VBb08301 VBb08302 VBb08303 VBb08304 VBb09101 VBb09102 VBb09103 VBb09201 VBb09202 VBb09203 VBb09204 VBb09205 VBb09206 VBb09301 VBb09302 VBb09303 VBb09304 VBb10101 VBb10102 VBb10103 VBb10201 VBb10202 VBb10203 VBb10204 VBb10205 VBb10206 VBb10301 VBb10302 VBb10303 VBb10304 capa0101 capa0102 capa0103 capa0201 capa0202 capa0203 capa0204 capa0205 capa0206 capa0301 capa0302 capa0303 capa0304 ****1124 ****1132 ****1141 ****1148 ****1152 ****1160 ****1161 ****1167 ****1169 ****1170 ****1171 ****1175 ****1181 ****1183 ****1185 ****1186 ****1188 ****1192 ****1193 ****1198 ****1199 ****1202 ****1204 ****1207 ****1209 ****1210 ****1211 ****1213 ****1215 ****1216 ****1221 ****1225 ****1226 ****1233 ****1235 ****1250 ****1269 ****1274 ****1287 ****1292 BLOCK 4 FLO20523 FLO20524 FLO20622 FLO20623 FLO20624 FLO20722 FLO20723 FLO20724 FLO20822 FLO20823 FLO20824 FLO20922 FLO20923 FLO20924 FLO21022 FLO21023 FLO21024 FW4.0122 FW4.0123 FW4.0124 FW4.0222 FW4.0223 FW4.0224 FW4.0322 FW4.0323 FW4.0324 FW4.0422 FW4.0423 FW4.0424 VUB01122 VUB01123 VUB01124 VUB02122 VUB02123 VUB02124 VUB03222 VUB03223 VUB03224 VUB04222 VUB04223 VUB04224 VUB05322 VUB05323 VUB05324 VUB06122 VUB06123 VUB06124 VUB07222 VUB07223 VUB07224 VUB08322 VUB08323 VUB08324 VUB09322 VUB09323 VUB09324 VUB10322 VUB10323 VUB10324 VBb07122 VBb09122 VBb10122 VBb10123 VBb10222 capa0122 capa0123 capa0124 capa0222 capa0223 capa0224 capa0322 capa0323 capa0324 ****1106 ****1108 ****1110 ****1238 BLOCK 5 FLO20515 FLO20516 FLO20614 FLO20615 FLO20616 FLO20715 FLO20716 FLO20815 FLO20816 FLO20915 FLO20916 FLO21015 FLO21016 FW4.0114 FW4.0115 FW4.0116 FW4.0214 FW4.0215 FW4.0216 FW4.0314 FW4.0315 FW4.0316 FW4.0414 FW4.0415 FW4.0416 VUB01114 VUB01115 VUB01116 VUB01117 VUB02114 VUB02115 VUB02116 VUB02117 VUB03214 VUB03215 VUB03216 VUB03217 VUB04214 VUB04215 VUB04216 VUB04217 VUB05315 VUB05316 VUB05317 VUB06114 VUB06115 VUB06116 VUB06117 VUB07214 VUB07215 VUB07216 VUB07217 VUB08315 VUB08316 VUB08317 VUB09315 VUB09316 VUB09317 VUB10315 VUB10316 VUB10317 VBb01114 VBb01115 VBb01116 VBb01117 VBb01214 VBb01215 VBb01216 VBb01217 VBb01315 VBb02114 VBb02115 VBb02116 VBb03114 VBb03115 VBb03116 VBb03117 VBb03214 VBb03215 VBb03216 VBb03217 VBb04114 VBb04115 VBb04116 VBb04117 VBb04214 VBb04215 VBb04216 VBb04217 VBb04315 VBb04316 VBb04317 VBb05114 VBb05115 VBb05116 VBb05117 VBb05214 VBb05215 VBb05216 VBb05217 VBb05315 VBb05316 VBb05317 VBb06114 VBb06115 VBb06116 VBb06117 VBb06214 VBb06215 VBb06216 VBb06217 VBb06315 VBb07114 VBb07115 VBb07116 VBb07117 VBb07214 VBb07215 VBb07216 VBb07217 VBb07315 VBb07316 VBb07317 VBb08114 VBb08115 VBb08116 VBb08117 VBb08214 VBb08215 VBb08216 VBb08217 VBb08315 VBb08316 VBb08317 VBb09114 VBb09115 VBb09116 VBb09117 VBb09214 VBb09215 VBb09216 VBb09217 VBb09315 VBb09316 VBb09317 VBb10114 VBb10115 VBb10116 VBb10117 VBb10214 VBb10215 VBb10216 VBb10217 VBb10315 VBb10316 VBb10317 capa0114 capa0115 capa0116 capa0117 capa0214 capa0215 capa0216 capa0217 capa0315 capa0316 capa0317 ****1114 ****1122 ****1123 ****1125 ****1126 ****1127 ****1136 ****1137 ****1138 ****1142 ****1143 ****1146 ****1150 ****1153 ****1154 ****1163 ****1164 ****1168 ****1172 ****1173 ****1178 ****1220 ****1227 ****1231 ****1237 ****1242 ****1252 ****1257 ****1263 ****1270 ****1282 ****1285 ****1289 ****1291 ****1293 ****1294 ****1295 ****1298 ****1299 BLOCK 6 FLO20518 FLO20519 FLO20520 FLO20521 FLO20618 FLO20619 FLO20620 FLO20718 FLO20719 FLO20720 FLO20818 FLO20819 FLO20820 FLO20918 FLO20919 FLO20920 FLO21018 FLO21019 FLO21020 FW4.0118 FW4.0119 FW4.0120 FW4.0218 FW4.0219 FW4.0220 FW4.0318 FW4.0319 FW4.0320 FW4.0418 FW4.0419 FW4.0420 VUB01118 VUB01119 VUB01120 VUB01121 VUB02118 VUB02119 VUB02120 VUB02121 VUB03218 VUB03219 VUB03220 VUB03221 VUB04218 VUB04219 VUB04220 VUB04221 VUB05318 VUB05319 VUB05320 VUB05321 VUB06118 VUB06119 VUB06120 VUB06121 VUB07218 VUB07219 VUB07220 VUB07221 VUB08318 VUB08319 VUB08320 VUB08321 VUB09318 VUB09319 VUB09320 VUB09321 VUB10318 VUB10319 VUB10320 VUB10321 VBb01118 VBb01119 VBb01120 VBb01218 VBb01219 VBb03118 VBb03119 VBb04118 VBb04119 VBb04120 VBb04121 VBb04218 VBb04219 VBb04220 VBb05118 VBb05119 VBb05120 VBb05121 VBb05218 VBb05219 VBb05220 VBb06118 VBb06119 VBb06120 VBb06121 VBb06218 VBb06219 VBb07118 VBb07119 VBb07120 VBb07121 VBb07218 VBb07219 VBb07220 VBb07221 VBb07318 VBb08118 VBb08119 VBb08120 VBb08121 VBb08218 VBb08219 VBb08220 VBb09118 VBb09119 VBb09120 VBb09121 VBb09218 VBb09219 VBb09220 VBb09221 VBb09318 VBb09319 VBb09320 VBb10118 VBb10119 VBb10120 VBb10121 VBb10218 VBb10219 VBb10220 VBb10221 VBb10318 VBb10319 VBb10320 capa0118 capa0119 capa0120 capa0121 capa0218 capa0219 capa0220 capa0221 capa0318 capa0319 capa0320 capa0321 ****1111 ****1113 ****1115 ****1117 ****1118 ****1119 ****1120 ****1128 ****1129 ****1130 ****1133 ****1134 ****1135 ****1139 ****1140 ****1144 ****1145 ****1147 ****1149 ****1151 ****1156 ****1158 ****1159 ****1165 ****1166 ****1174 ****1180 ****1182 ****1184 ****1196 ****1205 ****1206 ****1212 ****1218 ****1224 ****1228 ****1229 ****1232 ****1244 ****1246 ****1251 ****1259 ****1260 ****1264 ****1266 ****1275 ****1278 ****1286 ****1296 ****1297 ****1301 ****1302 ****1305 ****1307 MASTERCONSS FLO20504 FLO20509 FLO20514 FLO20517 FLO20522 FLO20604 FLO20605 FLO20606 FLO20610 FLO20613 FLO20617 FLO20621 FLO20706 FLO20709 FLO20714 FLO20717 FLO20721 FLO20804 FLO20808 FLO20814 FLO20817 FLO20821 FLO20904 FLO20909 FLO20914 FLO20917 FLO20921 FLO21004 FLO21005 FLO21006 FLO21009 FLO21014 FLO21017 FLO21021 FW4.0103 FW4.0109 FW4.0113 FW4.0117 FW4.0121 FW4.0203 FW4.0209 FW4.0213 FW4.0217 FW4.0221 FW4.0307 FW4.0309 FW4.0313 FW4.0317 FW4.0321 FW4.0407 FW4.0410 FW4.0413 FW4.0417 FW4.0421 ****1105 ****1107 ****1109 ****1112 ****1116 ****1121 ****1131 ****1155 ****1157 ****1162 ****1176 ****1177 ****1179 ****1191 ****1194 ****1195 ****1197 ****1200 ****1203 ****1217 ****1234 ****1239 ****1240 ****1243 ****1247 ****1248 ****1249 ****1256 ****1267 ****1268 ****1277 ****1281 ****1283 ****1303 ****1304