\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.133156 0.000000 0.000000 0.000000 \\ connectedbase 0.010000 20 0.000000 0.000000 0.000000 1.000000 PRESOLVED 0 NBLOCKS 20 BLOCK 1 c201 c221 c241 c260 c280 c300 c320 c340 c360 c380 c400 c418 c438 c457 c477 c496 c516 c535 c554 c573 c592 c612 c632 c651 c670 c689 c708 c727 c746 c765 c784 c803 c822 c841 c860 c879 c897 c916 c936 c955 c975 c995 c1014 c1034 c1053 c1072 c1090 c1107 c1125 c1142 c1159 c1177 c1195 c1212 c1230 c1246 c1261 c1277 c1292 c1308 c1322 c1336 c1353 c1364 c1377 c1390 c1399 c1414 c1425 c1434 c1462 c1487 c1500 BLOCK 2 c202 c222 c242 c261 c281 c301 c321 c341 c361 c381 c401 c419 c439 c458 c478 c497 c517 c536 c555 c574 c593 c613 c633 c652 c671 c690 c709 c728 c747 c766 c785 c804 c823 c842 c861 c880 c898 c917 c937 c956 c976 c996 c1015 c1035 c1054 c1073 c1091 c1108 c1126 c1143 c1160 c1178 c1213 c1231 c1247 c1262 c1278 c1293 c1309 c1323 c1337 c1354 c1365 c1378 c1391 c1400 c1415 c1426 c1435 c1453 c1478 c1496 c1501 BLOCK 3 c203 c223 c243 c262 c282 c302 c322 c342 c362 c382 c402 c420 c440 c459 c479 c498 c518 c537 c556 c575 c594 c614 c634 c653 c672 c691 c710 c729 c748 c767 c786 c805 c824 c843 c862 c881 c899 c918 c938 c957 c977 c997 c1016 c1036 c1055 c1074 c1092 c1109 c1127 c1144 c1161 c1179 c1196 c1214 c1232 c1248 c1263 c1294 c1310 c1338 c1379 c1392 c1416 c1427 c1436 c1444 c1471 c1479 c1488 BLOCK 4 c204 c224 c244 c263 c283 c303 c323 c343 c363 c383 c403 c421 c441 c460 c480 c499 c519 c538 c557 c576 c595 c615 c635 c654 c673 c692 c711 c730 c749 c768 c787 c806 c825 c844 c863 c882 c900 c919 c939 c958 c978 c998 c1017 c1037 c1056 c1075 c1093 c1110 c1128 c1145 c1162 c1180 c1197 c1215 c1264 c1279 c1295 c1311 c1324 c1339 c1366 c1380 c1393 c1417 c1454 BLOCK 5 c205 c225 c245 c264 c284 c304 c324 c344 c364 c384 c422 c442 c461 c481 c500 c520 c539 c558 c577 c596 c616 c636 c655 c674 c693 c712 c731 c750 c769 c788 c807 c826 c845 c864 c883 c901 c920 c940 c959 c979 c999 c1018 c1057 c1163 c1181 c1198 c1216 BLOCK 6 c206 c226 c246 c265 c285 c305 c325 c345 c365 c385 c404 c423 c443 c462 c482 c501 c521 c540 c559 c578 c597 c617 c637 c656 c675 c694 c713 c732 c751 c770 c789 c808 c827 c846 c865 c884 c902 c921 c941 c960 c980 c1000 c1019 c1038 c1058 c1076 c1094 c1111 c1129 c1146 c1164 c1182 c1199 c1217 c1233 c1249 c1265 c1280 c1296 c1312 c1325 c1340 c1355 c1367 c1381 c1394 c1401 c1418 c1428 c1437 c1445 c1455 c1463 c1480 c1492 c1493 c1502 BLOCK 7 c207 c227 c247 c266 c286 c306 c326 c346 c366 c386 c405 c424 c444 c463 c483 c502 c522 c541 c560 c579 c598 c618 c638 c657 c676 c695 c714 c733 c752 c771 c790 c809 c828 c847 c866 c885 c903 c922 c942 c961 c981 c1001 c1020 c1039 c1059 c1077 c1095 c1112 c1130 c1147 c1165 c1183 c1200 c1218 c1234 c1250 c1266 c1281 c1297 c1313 c1326 c1341 c1356 c1368 c1382 c1402 c1419 c1438 c1446 c1456 c1481 c1489 c1497 BLOCK 8 c208 c228 c248 c267 c287 c307 c327 c347 c367 c387 c406 c425 c445 c464 c484 c503 c523 c542 c561 c580 c599 c619 c639 c658 c677 c696 c715 c734 c753 c772 c791 c810 c829 c848 c867 c886 c904 c923 c943 c962 c982 c1002 c1021 c1040 c1060 c1078 c1096 c1113 c1131 c1148 c1166 c1184 c1201 c1219 c1235 c1251 c1298 c1342 c1403 c1464 c1482 BLOCK 9 c209 c229 c249 c268 c288 c308 c328 c348 c368 c388 c407 c426 c446 c465 c485 c504 c524 c543 c562 c581 c600 c620 c640 c659 c678 c697 c716 c735 c754 c773 c792 c811 c830 c849 c868 c887 c905 c924 c944 c963 c983 c1003 c1022 c1041 c1061 c1079 c1097 c1114 c1132 c1149 c1167 c1185 c1202 c1220 c1236 c1252 c1267 c1282 c1299 c1314 c1327 c1343 c1357 c1369 c1383 c1404 c1420 c1429 c1447 c1457 c1465 c1472 c1483 BLOCK 10 c210 c230 c250 c269 c289 c309 c329 c349 c369 c389 c408 c427 c447 c466 c486 c505 c525 c544 c563 c582 c601 c621 c641 c660 c679 c698 c717 c736 c755 c774 c793 c812 c831 c850 c869 c888 c906 c925 c945 c964 c984 c1004 c1023 c1042 c1062 c1080 c1098 c1115 c1133 c1150 c1168 c1186 c1203 c1221 c1237 c1253 c1268 c1283 c1300 c1315 c1328 c1344 c1358 c1384 c1439 c1473 BLOCK 11 c211 c231 c251 c270 c290 c310 c330 c350 c370 c390 c409 c428 c448 c467 c487 c506 c526 c545 c564 c583 c602 c622 c642 c661 c680 c699 c718 c737 c756 c775 c794 c813 c832 c851 c870 c889 c907 c926 c946 c965 c985 c1005 c1024 c1043 c1063 c1081 c1099 c1116 c1151 c1187 c1204 c1238 c1498 BLOCK 12 c212 c232 c271 c291 c311 c331 c351 c371 c391 c429 c468 c507 c603 c623 c927 c966 c986 c1006 c1025 c1044 c1064 c1082 c1100 c1117 c1134 c1152 c1222 c1239 c1254 c1269 c1284 c1405 BLOCK 13 c213 c233 c252 c272 c292 c312 c332 c352 c372 c392 c410 c430 c449 c469 c488 c508 c527 c546 c565 c584 c604 c624 c643 c662 c681 c700 c719 c738 c757 c776 c795 c814 c833 c852 c871 c890 c908 c928 c947 c967 c987 c1007 c1026 c1045 c1065 c1083 c1101 c1118 c1135 c1153 c1169 c1188 c1205 c1223 c1240 c1255 c1270 c1285 c1301 c1316 c1329 c1345 c1359 c1370 c1385 c1395 c1406 c1421 c1430 c1440 c1448 c1458 c1466 c1474 c1484 c1494 BLOCK 14 c214 c234 c253 c273 c293 c313 c333 c353 c373 c393 c411 c431 c450 c470 c489 c509 c528 c547 c566 c585 c605 c625 c644 c663 c682 c701 c720 c739 c758 c777 c796 c815 c834 c853 c872 c891 c909 c929 c948 c968 c988 c1027 c1046 c1084 c1102 c1136 c1170 c1189 c1206 c1224 c1241 c1256 c1271 c1286 c1302 c1317 c1330 c1346 c1360 c1371 c1386 c1396 c1407 c1431 c1441 c1449 c1459 c1467 c1490 c1495 BLOCK 15 c215 c235 c254 c274 c294 c314 c334 c354 c374 c394 c412 c432 c451 c471 c490 c510 c529 c548 c567 c586 c606 c626 c645 c664 c683 c702 c721 c740 c759 c778 c797 c816 c835 c854 c873 c892 c910 c930 c949 c969 c989 c1008 c1028 c1047 c1066 c1085 c1103 c1119 c1137 c1154 c1171 c1190 c1207 c1225 c1242 c1257 c1272 c1287 c1303 c1318 c1331 c1347 c1372 c1387 c1397 c1408 c1460 c1468 c1475 BLOCK 16 c216 c236 c255 c275 c295 c315 c335 c355 c375 c395 c413 c433 c452 c472 c491 c511 c530 c549 c568 c587 c607 c627 c646 c665 c684 c703 c722 c741 c760 c779 c798 c817 c836 c855 c874 c893 c911 c931 c950 c970 c990 c1009 c1029 c1048 c1067 c1086 c1104 c1120 c1138 c1155 c1172 c1191 c1208 c1226 c1258 c1273 c1288 c1304 c1319 c1332 c1348 c1361 c1373 c1388 c1398 c1409 c1422 c1432 c1450 c1461 c1476 c1485 c1491 BLOCK 17 c217 c237 c256 c276 c296 c316 c336 c356 c376 c396 c414 c434 c453 c473 c492 c512 c531 c550 c569 c588 c608 c628 c647 c666 c685 c704 c723 c742 c761 c780 c799 c818 c837 c856 c875 c912 c932 c951 c971 c991 c1010 c1030 c1049 c1068 c1087 c1105 c1121 c1139 c1156 c1173 c1192 c1209 c1227 c1243 c1274 c1289 c1305 c1320 c1333 c1349 c1362 c1374 c1389 c1410 c1423 c1433 c1442 c1451 BLOCK 18 c218 c238 c257 c277 c297 c317 c337 c357 c377 c397 c415 c435 c454 c474 c493 c513 c532 c551 c570 c589 c609 c629 c648 c667 c686 c705 c724 c743 c762 c781 c800 c819 c838 c857 c876 c894 c913 c933 c952 c972 c992 c1011 c1031 c1050 c1069 c1122 c1174 c1350 c1375 c1411 c1452 c1469 c1499 BLOCK 19 c219 c239 c258 c278 c298 c318 c338 c358 c378 c398 c416 c436 c455 c475 c494 c514 c533 c552 c571 c590 c610 c630 c649 c668 c687 c706 c725 c744 c763 c782 c801 c820 c839 c858 c877 c895 c914 c934 c953 c973 c993 c1012 c1032 c1051 c1070 c1088 c1106 c1123 c1140 c1157 c1175 c1193 c1210 c1228 c1244 c1259 c1275 c1290 c1306 c1334 c1351 c1412 c1424 c1443 c1486 BLOCK 20 c220 c240 c259 c279 c299 c319 c339 c359 c379 c399 c417 c437 c456 c476 c495 c515 c534 c553 c572 c591 c611 c631 c650 c669 c688 c707 c726 c745 c764 c783 c802 c821 c840 c859 c878 c896 c915 c935 c954 c974 c994 c1013 c1033 c1052 c1071 c1089 c1124 c1141 c1158 c1176 c1194 c1211 c1229 c1245 c1260 c1276 c1291 c1307 c1321 c1335 c1352 c1363 c1376 c1413 c1470 c1477 MASTERCONSS c1 c2 c3 c4 c5 c6 c7 c8 c9 c10 c11 c12 c13 c14 c15 c16 c17 c18 c19 c20 c21 c22 c23 c24 c25 c26 c27 c28 c29 c30 c31 c32 c33 c34 c35 c36 c37 c38 c39 c40 c41 c42 c43 c44 c45 c46 c47 c48 c49 c50 c51 c52 c53 c54 c55 c56 c57 c58 c59 c60 c61 c62 c63 c64 c65 c66 c67 c68 c69 c70 c71 c72 c73 c74 c75 c76 c77 c78 c79 c80 c81 c82 c83 c84 c85 c86 c87 c88 c89 c90 c91 c92 c93 c94 c95 c96 c97 c98 c99 c100 c101 c102 c103 c104 c105 c106 c107 c108 c109 c110 c111 c112 c113 c114 c115 c116 c117 c118 c119 c120 c121 c122 c123 c124 c125 c126 c127 c128 c129 c130 c131 c132 c133 c134 c135 c136 c137 c138 c139 c140 c141 c142 c143 c144 c145 c146 c147 c148 c149 c150 c151 c152 c153 c154 c155 c156 c157 c158 c159 c160 c161 c162 c163 c164 c165 c166 c167 c168 c169 c170 c171 c172 c173 c174 c175 c176 c177 c178 c179 c180 c181 c182 c183 c184 c185 c186 c187 c188 c189 c190 c191 c192 c193 c194 c195 c196 c197 c198 c199 c200