\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.978261 0.000000 0.379310 0.000000 \\ connectedbase 0.000000 1 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 1 BLOCK 1 R0000005 MASTERCONSS R0000000 R0000001 R0000002 R0000003 R0000004 R0000006 R0000007 R0000008 R0000009 R0000010 R0000011 R0000012 R0000013 R0000014 R0000015 R0000016 R0000017 R0000018 R0000019 R0000020 R0000021 R0000022 R0000023 R0000024 R0000025 R0000026 R0000027 R0000028 R0000029 R0000030 R0000031 R0000032 R0000033 R0000034 R0000035 R0000036 R0000037 R0000038 R0000039 R0000040 R0000041 R0000042 R0000043 R0000044 R0000045