\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrgpartition 0.010000 48 0.130769 0.000000 0.055172 0.000000 PRESOLVED 0 NBLOCKS 48 BLOCK 1 POWIT516 POWIT517 POWIT518 SEGS5161 SEGS5162 SEGS5163 SEGS5171 SEGS5172 SEGS5173 SEGS5181 SEGS5182 SEGS5183 STAR1517 STAR1518 BLOCK 2 POWIT416 POWIT417 POWIT418 SEGS4161 SEGS4162 SEGS4163 SEGS4171 SEGS4172 SEGS4173 SEGS4181 SEGS4182 SEGS4183 STAR1417 STAR1418 BLOCK 3 POWIT216 POWIT217 POWIT218 SEGS2161 SEGS2162 SEGS2163 SEGS2171 SEGS2172 SEGS2173 SEGS2181 SEGS2182 SEGS2183 STAR1217 STAR1218 BLOCK 4 POWIT316 POWIT317 POWIT318 SEGS3161 SEGS3162 SEGS3163 SEGS3171 SEGS3172 SEGS3173 SEGS3181 SEGS3182 SEGS3183 STAR1317 STAR1318 BLOCK 5 POWIT616 POWIT617 POWIT618 SEGS6161 SEGS6162 SEGS6163 SEGS6171 SEGS6172 SEGS6173 SEGS6181 SEGS6182 SEGS6183 STAR1617 STAR1618 BLOCK 6 POWIT116 POWIT117 POWIT118 SEGS1161 SEGS1162 SEGS1163 SEGS1171 SEGS1172 SEGS1173 SEGS1181 SEGS1182 SEGS1183 STAR1117 STAR1118 BLOCK 7 POWIT513 POWIT514 POWIT515 SEGS5131 SEGS5132 SEGS5133 SEGS5141 SEGS5142 SEGS5143 SEGS5151 SEGS5152 SEGS5153 STAR1514 STAR1515 BLOCK 8 POWIT613 POWIT614 POWIT615 SEGS6131 SEGS6132 SEGS6133 SEGS6141 SEGS6142 SEGS6143 SEGS6151 SEGS6152 SEGS6153 STAR1614 STAR1615 BLOCK 9 POWIT213 POWIT214 POWIT215 SEGS2131 SEGS2132 SEGS2133 SEGS2141 SEGS2142 SEGS2143 SEGS2151 SEGS2152 SEGS2153 STAR1214 STAR1215 BLOCK 10 POWIT413 POWIT414 POWIT415 SEGS4131 SEGS4132 SEGS4133 SEGS4141 SEGS4142 SEGS4143 SEGS4151 SEGS4152 SEGS4153 STAR1414 STAR1415 BLOCK 11 POWIT313 POWIT314 POWIT315 SEGS3131 SEGS3132 SEGS3133 SEGS3141 SEGS3142 SEGS3143 SEGS3151 SEGS3152 SEGS3153 STAR1314 STAR1315 BLOCK 12 POWIT113 POWIT114 POWIT115 SEGS1131 SEGS1132 SEGS1133 SEGS1141 SEGS1142 SEGS1143 SEGS1151 SEGS1152 SEGS1153 STAR1114 STAR1115 BLOCK 13 POWIT419 POWIT420 POWIT421 SEGS4191 SEGS4192 SEGS4193 SEGS4201 SEGS4202 SEGS4203 SEGS4211 SEGS4212 SEGS4213 STAR1420 STAR1421 BLOCK 14 POWIT219 POWIT220 POWIT221 SEGS2191 SEGS2192 SEGS2193 SEGS2201 SEGS2202 SEGS2203 SEGS2211 SEGS2212 SEGS2213 STAR1220 STAR1221 BLOCK 15 POWIT119 POWIT120 POWIT121 SEGS1191 SEGS1192 SEGS1193 SEGS1201 SEGS1202 SEGS1203 SEGS1211 SEGS1212 SEGS1213 STAR1120 STAR1121 BLOCK 16 POWIT519 POWIT520 POWIT521 SEGS5191 SEGS5192 SEGS5193 SEGS5201 SEGS5202 SEGS5203 SEGS5211 SEGS5212 SEGS5213 STAR1520 STAR1521 BLOCK 17 POWIT619 POWIT620 POWIT621 SEGS6191 SEGS6192 SEGS6193 SEGS6201 SEGS6202 SEGS6203 SEGS6211 SEGS6212 SEGS6213 STAR1620 STAR1621 BLOCK 18 POWIT319 POWIT320 POWIT321 SEGS3191 SEGS3192 SEGS3193 SEGS3201 SEGS3202 SEGS3203 SEGS3211 SEGS3212 SEGS3213 STAR1320 STAR1321 BLOCK 19 POWIT522 POWIT523 POWIT524 SEGS5221 SEGS5222 SEGS5223 SEGS5231 SEGS5232 SEGS5233 SEGS5241 SEGS5242 SEGS5243 STAR1523 STAR1524 BLOCK 20 POWIT622 POWIT623 POWIT624 SEGS6221 SEGS6222 SEGS6223 SEGS6231 SEGS6232 SEGS6233 SEGS6241 SEGS6242 SEGS6243 STAR1623 STAR1624 BLOCK 21 POWIT122 POWIT123 POWIT124 SEGS1221 SEGS1222 SEGS1223 SEGS1231 SEGS1232 SEGS1233 SEGS1241 SEGS1242 SEGS1243 STAR1123 STAR1124 BLOCK 22 POWIT422 POWIT423 POWIT424 SEGS4221 SEGS4222 SEGS4223 SEGS4231 SEGS4232 SEGS4233 SEGS4241 SEGS4242 SEGS4243 STAR1423 STAR1424 BLOCK 23 POWIT322 POWIT323 POWIT324 SEGS3221 SEGS3222 SEGS3223 SEGS3231 SEGS3232 SEGS3233 SEGS3241 SEGS3242 SEGS3243 STAR1323 STAR1324 BLOCK 24 POWIT222 POWIT223 POWIT224 SEGS2221 SEGS2222 SEGS2223 SEGS2231 SEGS2232 SEGS2233 SEGS2241 SEGS2242 SEGS2243 STAR1223 STAR1224 BLOCK 25 POWIT610 POWIT611 POWIT612 SEGS6101 SEGS6102 SEGS6103 SEGS6111 SEGS6112 SEGS6113 SEGS6121 SEGS6122 SEGS6123 STAR1611 STAR1612 BLOCK 26 POWIT410 POWIT411 POWIT412 SEGS4101 SEGS4102 SEGS4103 SEGS4111 SEGS4112 SEGS4113 SEGS4121 SEGS4122 SEGS4123 STAR1411 STAR1412 BLOCK 27 POWIT210 POWIT211 POWIT212 SEGS2101 SEGS2102 SEGS2103 SEGS2111 SEGS2112 SEGS2113 SEGS2121 SEGS2122 SEGS2123 STAR1211 STAR1212 BLOCK 28 POWIT510 POWIT511 POWIT512 SEGS5101 SEGS5102 SEGS5103 SEGS5111 SEGS5112 SEGS5113 SEGS5121 SEGS5122 SEGS5123 STAR1511 STAR1512 BLOCK 29 POWIT310 POWIT311 POWIT312 SEGS3101 SEGS3102 SEGS3103 SEGS3111 SEGS3112 SEGS3113 SEGS3121 SEGS3122 SEGS3123 STAR1311 STAR1312 BLOCK 30 POWIT110 POWIT111 POWIT112 SEGS1101 SEGS1102 SEGS1103 SEGS1111 SEGS1112 SEGS1113 SEGS1121 SEGS1122 SEGS1123 STAR1111 STAR1112 BLOCK 31 POWIT107 POWIT108 POWIT109 SEGS1071 SEGS1072 SEGS1073 SEGS1081 SEGS1082 SEGS1083 SEGS1091 SEGS1092 SEGS1093 STAR1108 STAR1109 BLOCK 32 POWIT307 POWIT308 POWIT309 SEGS3071 SEGS3072 SEGS3073 SEGS3081 SEGS3082 SEGS3083 SEGS3091 SEGS3092 SEGS3093 STAR1308 STAR1309 BLOCK 33 POWIT507 POWIT508 POWIT509 SEGS5071 SEGS5072 SEGS5073 SEGS5081 SEGS5082 SEGS5083 SEGS5091 SEGS5092 SEGS5093 STAR1508 STAR1509 BLOCK 34 POWIT207 POWIT208 POWIT209 SEGS2071 SEGS2072 SEGS2073 SEGS2081 SEGS2082 SEGS2083 SEGS2091 SEGS2092 SEGS2093 STAR1208 STAR1209 BLOCK 35 POWIT407 POWIT408 POWIT409 SEGS4071 SEGS4072 SEGS4073 SEGS4081 SEGS4082 SEGS4083 SEGS4091 SEGS4092 SEGS4093 STAR1408 STAR1409 BLOCK 36 POWIT607 POWIT608 POWIT609 SEGS6071 SEGS6072 SEGS6073 SEGS6081 SEGS6082 SEGS6083 SEGS6091 SEGS6092 SEGS6093 STAR1608 STAR1609 BLOCK 37 POWIT204 POWIT205 POWIT206 SEGS2041 SEGS2042 SEGS2043 SEGS2051 SEGS2052 SEGS2053 SEGS2061 SEGS2062 SEGS2063 STAR1205 STAR1206 BLOCK 38 POWIT104 POWIT105 POWIT106 SEGS1041 SEGS1042 SEGS1043 SEGS1051 SEGS1052 SEGS1053 SEGS1061 SEGS1062 SEGS1063 STAR1105 STAR1106 BLOCK 39 POWIT304 POWIT305 POWIT306 SEGS3041 SEGS3042 SEGS3043 SEGS3051 SEGS3052 SEGS3053 SEGS3061 SEGS3062 SEGS3063 STAR1305 STAR1306 BLOCK 40 POWIT604 POWIT605 POWIT606 SEGS6041 SEGS6042 SEGS6043 SEGS6051 SEGS6052 SEGS6053 SEGS6061 SEGS6062 SEGS6063 STAR1605 STAR1606 BLOCK 41 POWIT404 POWIT405 POWIT406 SEGS4041 SEGS4042 SEGS4043 SEGS4051 SEGS4052 SEGS4053 SEGS4061 SEGS4062 SEGS4063 STAR1405 STAR1406 BLOCK 42 POWIT504 POWIT505 POWIT506 SEGS5041 SEGS5042 SEGS5043 SEGS5051 SEGS5052 SEGS5053 SEGS5061 SEGS5062 SEGS5063 STAR1505 STAR1506 BLOCK 43 POWIT301 POWIT302 POWIT303 SEGS3011 SEGS3012 SEGS3013 SEGS3021 SEGS3022 SEGS3023 SEGS3031 SEGS3032 SEGS3033 STAR1302 STAR1303 STAR2301 BLOCK 44 POWIT501 POWIT502 POWIT503 SEGS5011 SEGS5012 SEGS5013 SEGS5021 SEGS5022 SEGS5023 SEGS5031 SEGS5032 SEGS5033 STAR1502 STAR1503 STAR2501 BLOCK 45 POWIT601 POWIT602 POWIT603 SEGS6011 SEGS6012 SEGS6013 SEGS6021 SEGS6022 SEGS6023 SEGS6031 SEGS6032 SEGS6033 STAR1602 STAR1603 STAR2601 BLOCK 46 POWIT101 POWIT102 POWIT103 SEGS1011 SEGS1012 SEGS1013 SEGS1021 SEGS1022 SEGS1023 SEGS1031 SEGS1032 SEGS1033 STAR1102 STAR1103 STAR2101 BLOCK 47 POWIT401 POWIT402 POWIT403 SEGS4011 SEGS4012 SEGS4013 SEGS4021 SEGS4022 SEGS4023 SEGS4031 SEGS4032 SEGS4033 STAR1402 STAR1403 STAR2401 BLOCK 48 POWIT201 POWIT202 POWIT203 SEGS2011 SEGS2012 SEGS2013 SEGS2021 SEGS2022 SEGS2023 SEGS2031 SEGS2032 SEGS2033 STAR1202 STAR1203 STAR2201 MASTERCONSS DEMDT01. DEMDT02. DEMDT03. DEMDT04. DEMDT05. DEMDT06. DEMDT07. DEMDT08. DEMDT09. DEMDT10. DEMDT11. DEMDT12. DEMDT13. DEMDT14. DEMDT15. DEMDT16. DEMDT17. DEMDT18. DEMDT19. DEMDT20. DEMDT21. DEMDT22. DEMDT23. DEMDT24. REST01.. REST02.. REST03.. REST04.. REST05.. REST06.. REST07.. REST08.. REST09.. REST10.. REST11.. REST12.. REST13.. REST14.. REST15.. REST16.. REST17.. REST18.. REST19.. REST20.. REST21.. REST22.. REST23.. REST24.. NSTAR1.. NSTAR2.. NSTAR3.. NSTAR4.. NSTAR5.. NSTAR6.. SCOST1.. SCOST2.. SCOST3.. SCOST4.. SCOST5.. SCOST6.. STAR1104 STAR1107 STAR1110 STAR1113 STAR1116 STAR1119 STAR1122 STAR1204 STAR1207 STAR1210 STAR1213 STAR1216 STAR1219 STAR1222 STAR1304 STAR1307 STAR1310 STAR1313 STAR1316 STAR1319 STAR1322 STAR1404 STAR1407 STAR1410 STAR1413 STAR1416 STAR1419 STAR1422 STAR1504 STAR1507 STAR1510 STAR1513 STAR1516 STAR1519 STAR1522 STAR1604 STAR1607 STAR1610 STAR1613 STAR1616 STAR1619 STAR1622