\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hcgpartition 0.010000 5 0.000000 1.000000 0.444444 0.000000 PRESOLVED 0 NBLOCKS 5 BLOCK 1 R0009 R0014 R0015 R0017 R0020 R0027 R0030 R0033 R0039 R0045 R0048 R0049 R0050 R0056 R0058 R0070 R0073 BLOCK 2 R0005 R0006 R0007 R0013 R0016 R0031 R0036 R0037 R0040 R0044 R0047 R0052 R0053 R0062 R0064 R0068 R0069 BLOCK 3 R0001 R0012 R0021 R0024 R0025 R0051 R0054 R0055 R0059 R0060 R0063 R0065 R0071 R0072 R0074 R0075 BLOCK 4 R0002 R0004 R0008 R0010 R0022 R0032 R0034 R0038 R0041 R0042 R0046 R0061 BLOCK 5 R0003 R0011 R0018 R0019 R0023 R0026 R0028 R0029 R0035 R0043 R0057 R0066 R0067 MASTERCONSS