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