\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ varclass 0.000000 0 0.000000 0.000000 0.882353 0.000000 \\ connectedbase 0.000000 4 0.000000 1.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 4 BLOCK 1 C1_ BLOCK 2 C2_ BLOCK 3 C3_ BLOCK 4 C4_ MASTERCONSS