\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hrcgpartition 0.000000 2 0.714286 0.000000 0.111111 0.000000 PRESOLVED 0 NBLOCKS 2 BLOCK 1 A9 A10 BLOCK 2 A4 A8 MASTERCONSS A1 A2 A3 A5 A6 A7 A11 A12 OB2 c14