\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hcgpartition 0.000000 6 0.000000 1.000000 0.892857 0.000000 PRESOLVED 0 NBLOCKS 6 BLOCK 1 c5 BLOCK 2 c6 BLOCK 3 c4 BLOCK 4 c3 BLOCK 5 c1 BLOCK 6 c2 MASTERCONSS