\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.819820 0.000000 0.000687 0.000000 \\ connectedbase 0.000000 20 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 20 BLOCK 1 c1 BLOCK 2 c2 BLOCK 3 c3 BLOCK 4 c4 BLOCK 5 c5 BLOCK 6 c6 BLOCK 7 c7 BLOCK 8 c8 BLOCK 9 c9 BLOCK 10 c10 BLOCK 11 c11 BLOCK 12 c12 BLOCK 13 c13 BLOCK 14 c14 BLOCK 15 c15 BLOCK 16 c16 BLOCK 17 c17 BLOCK 18 c18 BLOCK 19 c19 BLOCK 20 c20 MASTERCONSS 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