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