\\ ndetectors \\ 1 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ hcgpartition 4.700000 2 0.000000 1.000000 0.368039 0.000000 PRESOLVED 0 NBLOCKS 2 BLOCK 1 RW000001 RW000002 RW000003 RW000004 RW000005 RW000006 RW000007 RW000008 RW000009 RW000010 RW000011 RW000012 RW000013 RW000014 RW000015 RW000016 RW000017 RW000018 RW000019 RW000020 RW000021 RW000022 RW000023 RW000024 RW000025 RW000026 RW000027 RW000028 RW000029 RW000030 RW000031 RW000032 RW000033 RW000034 RW000035 RW000036 RW000038 RW000039 RW000040 RW000041 RW000042 RW000043 RW000044 RW000046 RW000047 RW000048 RW000049 RW000050 RW000051 RW000055 RW000060 RW000061 RW000072 RW000082 RW000083 RW000094 BLOCK 2 RW000037 RW000045 RW000052 RW000053 RW000054 RW000056 RW000057 RW000058 RW000059 RW000062 RW000063 RW000064 RW000065 RW000066 RW000067 RW000068 RW000069 RW000070 RW000071 RW000073 RW000074 RW000075 RW000076 RW000077 RW000078 RW000079 RW000080 RW000081 RW000084 RW000085 RW000086 RW000087 RW000088 RW000089 RW000090 RW000091 RW000092 RW000093 RW000095 RW000096 RW000097 RW000098 RW000099 RW000100 RW000101 RW000102 RW000103 RW000104 RW000105 RW000106 RW000107 RW000108 RW000109 RW000110 RW000111 RW000112 RW000113 RW000114 RW000115 RW000116 RW000117 RW000118 RW000119 RW000120 RW000121 RW000122 RW000123 RW000124 MASTERCONSS