\\ ndetectors \\ 2 \\ name time nnewblocks %ofnewborderconss %ofnewblockconss %ofnewlinkingvars %ofnewblockvars \\ consclass 0.000000 0 0.125285 0.000000 0.264423 0.000000 \\ connectedbase 0.000000 16 0.000000 0.000000 0.000000 0.000000 PRESOLVED 0 NBLOCKS 16 BLOCK 1 FC(NOS__CSN15_IntDS__N20) FC(NOS__CSN15_IntDS__N3) FC(NOS__CSN15_IntDS__N4) FC(NOS__CSN15_IntDS__N12) FC(NOS__CSN15_IntDS__N15) FC(NOS__CSN15_IntDS__N17) FC(NOS__CSN15_IntDS__N22) FC(NOS__CSN15_IntDS__N23) FC(NOS__CSN15_IntDS__N21) FC(NOS__CSN15_IntDS__N10) FC(NOS__CSN15_IntDS__N9) FC(NOS__CSN15_IntDS__N14) FC(NOS__CSN15_IntDS__N24) FC(NOS__CSN15_IntDS__N2) FC(NOS__CSN15_IntDS__N8) FC(NOS__CSN15_IntDS__N5) FC(NOS__CSN15_IntDS__N6) FC(NOS__CSN15_IntDS__N11) FC(NOS__CSN15_IntDS__N16) FC(NOS__CSN15_IntDS__N1) FC(NOS__CSN15_IntDS__N18) FC(NOS__CSN15_IntDS__N19) FC(NOS__CSN15_IntDS__N7) FC(NOS__CSN15_IntDS__N13) BLOCK 2 FC(NOS__CSN3_IntDS__N20) FC(NOS__CSN3_IntDS__N3) FC(NOS__CSN3_IntDS__N4) FC(NOS__CSN3_IntDS__N12) FC(NOS__CSN3_IntDS__N15) FC(NOS__CSN3_IntDS__N17) FC(NOS__CSN3_IntDS__N22) FC(NOS__CSN3_IntDS__N23) FC(NOS__CSN3_IntDS__N21) FC(NOS__CSN3_IntDS__N10) FC(NOS__CSN3_IntDS__N9) FC(NOS__CSN3_IntDS__N14) FC(NOS__CSN3_IntDS__N24) FC(NOS__CSN3_IntDS__N2) FC(NOS__CSN3_IntDS__N8) FC(NOS__CSN3_IntDS__N5) FC(NOS__CSN3_IntDS__N6) FC(NOS__CSN3_IntDS__N11) FC(NOS__CSN3_IntDS__N16) FC(NOS__CSN3_IntDS__N1) FC(NOS__CSN3_IntDS__N18) FC(NOS__CSN3_IntDS__N19) FC(NOS__CSN3_IntDS__N7) FC(NOS__CSN3_IntDS__N13) BLOCK 3 FC(NOS__CSN2_IntDS__N20) FC(NOS__CSN2_IntDS__N3) FC(NOS__CSN2_IntDS__N4) FC(NOS__CSN2_IntDS__N12) FC(NOS__CSN2_IntDS__N15) FC(NOS__CSN2_IntDS__N17) FC(NOS__CSN2_IntDS__N22) FC(NOS__CSN2_IntDS__N23) FC(NOS__CSN2_IntDS__N21) FC(NOS__CSN2_IntDS__N10) FC(NOS__CSN2_IntDS__N9) FC(NOS__CSN2_IntDS__N14) FC(NOS__CSN2_IntDS__N24) FC(NOS__CSN2_IntDS__N2) FC(NOS__CSN2_IntDS__N8) FC(NOS__CSN2_IntDS__N5) FC(NOS__CSN2_IntDS__N6) FC(NOS__CSN2_IntDS__N11) FC(NOS__CSN2_IntDS__N16) FC(NOS__CSN2_IntDS__N1) FC(NOS__CSN2_IntDS__N18) FC(NOS__CSN2_IntDS__N19) FC(NOS__CSN2_IntDS__N7) FC(NOS__CSN2_IntDS__N13) BLOCK 4 FC(NOS__CSN20_IntDS__N20) FC(NOS__CSN20_IntDS__N3) FC(NOS__CSN20_IntDS__N4) FC(NOS__CSN20_IntDS__N12) FC(NOS__CSN20_IntDS__N15) FC(NOS__CSN20_IntDS__N17) FC(NOS__CSN20_IntDS__N22) FC(NOS__CSN20_IntDS__N23) FC(NOS__CSN20_IntDS__N21) FC(NOS__CSN20_IntDS__N10) FC(NOS__CSN20_IntDS__N9) FC(NOS__CSN20_IntDS__N14) FC(NOS__CSN20_IntDS__N24) FC(NOS__CSN20_IntDS__N2) FC(NOS__CSN20_IntDS__N8) FC(NOS__CSN20_IntDS__N5) FC(NOS__CSN20_IntDS__N6) FC(NOS__CSN20_IntDS__N11) FC(NOS__CSN20_IntDS__N16) FC(NOS__CSN20_IntDS__N1) FC(NOS__CSN20_IntDS__N18) FC(NOS__CSN20_IntDS__N19) FC(NOS__CSN20_IntDS__N7) FC(NOS__CSN20_IntDS__N13) BLOCK 5 FC(NOS__CSN10_IntDS__N20) FC(NOS__CSN10_IntDS__N3) FC(NOS__CSN10_IntDS__N4) FC(NOS__CSN10_IntDS__N12) FC(NOS__CSN10_IntDS__N15) FC(NOS__CSN10_IntDS__N17) FC(NOS__CSN10_IntDS__N22) FC(NOS__CSN10_IntDS__N23) FC(NOS__CSN10_IntDS__N21) FC(NOS__CSN10_IntDS__N10) FC(NOS__CSN10_IntDS__N9) FC(NOS__CSN10_IntDS__N14) FC(NOS__CSN10_IntDS__N24) FC(NOS__CSN10_IntDS__N2) FC(NOS__CSN10_IntDS__N8) FC(NOS__CSN10_IntDS__N5) FC(NOS__CSN10_IntDS__N6) FC(NOS__CSN10_IntDS__N11) FC(NOS__CSN10_IntDS__N16) FC(NOS__CSN10_IntDS__N1) FC(NOS__CSN10_IntDS__N18) FC(NOS__CSN10_IntDS__N19) FC(NOS__CSN10_IntDS__N7) FC(NOS__CSN10_IntDS__N13) BLOCK 6 FC(NOS__CSN11_IntDS__N20) FC(NOS__CSN11_IntDS__N3) FC(NOS__CSN11_IntDS__N4) FC(NOS__CSN11_IntDS__N12) FC(NOS__CSN11_IntDS__N15) FC(NOS__CSN11_IntDS__N17) FC(NOS__CSN11_IntDS__N22) FC(NOS__CSN11_IntDS__N23) FC(NOS__CSN11_IntDS__N21) FC(NOS__CSN11_IntDS__N10) FC(NOS__CSN11_IntDS__N9) FC(NOS__CSN11_IntDS__N14) FC(NOS__CSN11_IntDS__N24) FC(NOS__CSN11_IntDS__N2) FC(NOS__CSN11_IntDS__N8) FC(NOS__CSN11_IntDS__N5) FC(NOS__CSN11_IntDS__N6) FC(NOS__CSN11_IntDS__N11) FC(NOS__CSN11_IntDS__N16) FC(NOS__CSN11_IntDS__N1) FC(NOS__CSN11_IntDS__N18) FC(NOS__CSN11_IntDS__N19) FC(NOS__CSN11_IntDS__N7) FC(NOS__CSN11_IntDS__N13) BLOCK 7 FC(NOS__CSN1_IntDS__N20) FC(NOS__CSN1_IntDS__N3) FC(NOS__CSN1_IntDS__N4) FC(NOS__CSN1_IntDS__N12) FC(NOS__CSN1_IntDS__N15) FC(NOS__CSN1_IntDS__N17) FC(NOS__CSN1_IntDS__N22) FC(NOS__CSN1_IntDS__N23) FC(NOS__CSN1_IntDS__N21) FC(NOS__CSN1_IntDS__N10) FC(NOS__CSN1_IntDS__N9) FC(NOS__CSN1_IntDS__N14) FC(NOS__CSN1_IntDS__N24) FC(NOS__CSN1_IntDS__N2) FC(NOS__CSN1_IntDS__N8) FC(NOS__CSN1_IntDS__N5) FC(NOS__CSN1_IntDS__N6) FC(NOS__CSN1_IntDS__N11) FC(NOS__CSN1_IntDS__N16) FC(NOS__CSN1_IntDS__N1) FC(NOS__CSN1_IntDS__N18) FC(NOS__CSN1_IntDS__N19) FC(NOS__CSN1_IntDS__N7) FC(NOS__CSN1_IntDS__N13) BLOCK 8 FC(NOS__CSN9_IntDS__N20) FC(NOS__CSN9_IntDS__N3) FC(NOS__CSN9_IntDS__N4) FC(NOS__CSN9_IntDS__N12) FC(NOS__CSN9_IntDS__N15) FC(NOS__CSN9_IntDS__N17) FC(NOS__CSN9_IntDS__N22) FC(NOS__CSN9_IntDS__N23) FC(NOS__CSN9_IntDS__N21) FC(NOS__CSN9_IntDS__N10) FC(NOS__CSN9_IntDS__N9) FC(NOS__CSN9_IntDS__N14) FC(NOS__CSN9_IntDS__N24) FC(NOS__CSN9_IntDS__N2) FC(NOS__CSN9_IntDS__N8) FC(NOS__CSN9_IntDS__N5) FC(NOS__CSN9_IntDS__N6) FC(NOS__CSN9_IntDS__N11) FC(NOS__CSN9_IntDS__N16) FC(NOS__CSN9_IntDS__N1) FC(NOS__CSN9_IntDS__N18) FC(NOS__CSN9_IntDS__N19) FC(NOS__CSN9_IntDS__N7) FC(NOS__CSN9_IntDS__N13) BLOCK 9 FC(NOS__CSN6_IntDS__N20) FC(NOS__CSN6_IntDS__N3) FC(NOS__CSN6_IntDS__N4) FC(NOS__CSN6_IntDS__N12) FC(NOS__CSN6_IntDS__N15) FC(NOS__CSN6_IntDS__N17) FC(NOS__CSN6_IntDS__N22) FC(NOS__CSN6_IntDS__N23) FC(NOS__CSN6_IntDS__N21) FC(NOS__CSN6_IntDS__N10) FC(NOS__CSN6_IntDS__N9) FC(NOS__CSN6_IntDS__N14) FC(NOS__CSN6_IntDS__N24) FC(NOS__CSN6_IntDS__N2) FC(NOS__CSN6_IntDS__N8) FC(NOS__CSN6_IntDS__N5) FC(NOS__CSN6_IntDS__N6) FC(NOS__CSN6_IntDS__N11) FC(NOS__CSN6_IntDS__N16) FC(NOS__CSN6_IntDS__N1) FC(NOS__CSN6_IntDS__N18) FC(NOS__CSN6_IntDS__N19) FC(NOS__CSN6_IntDS__N7) FC(NOS__CSN6_IntDS__N13) BLOCK 10 FC(NOS__CSN14_IntDS__N20) FC(NOS__CSN14_IntDS__N3) FC(NOS__CSN14_IntDS__N4) FC(NOS__CSN14_IntDS__N12) FC(NOS__CSN14_IntDS__N15) FC(NOS__CSN14_IntDS__N17) FC(NOS__CSN14_IntDS__N22) FC(NOS__CSN14_IntDS__N23) FC(NOS__CSN14_IntDS__N21) FC(NOS__CSN14_IntDS__N10) FC(NOS__CSN14_IntDS__N9) FC(NOS__CSN14_IntDS__N14) FC(NOS__CSN14_IntDS__N24) FC(NOS__CSN14_IntDS__N2) FC(NOS__CSN14_IntDS__N8) FC(NOS__CSN14_IntDS__N5) FC(NOS__CSN14_IntDS__N6) FC(NOS__CSN14_IntDS__N11) FC(NOS__CSN14_IntDS__N16) FC(NOS__CSN14_IntDS__N1) FC(NOS__CSN14_IntDS__N18) FC(NOS__CSN14_IntDS__N19) FC(NOS__CSN14_IntDS__N7) FC(NOS__CSN14_IntDS__N13) BLOCK 11 FC(NOS__CSN18_IntDS__N20) FC(NOS__CSN18_IntDS__N3) FC(NOS__CSN18_IntDS__N4) FC(NOS__CSN18_IntDS__N12) FC(NOS__CSN18_IntDS__N15) FC(NOS__CSN18_IntDS__N17) FC(NOS__CSN18_IntDS__N22) FC(NOS__CSN18_IntDS__N23) FC(NOS__CSN18_IntDS__N21) FC(NOS__CSN18_IntDS__N10) FC(NOS__CSN18_IntDS__N9) FC(NOS__CSN18_IntDS__N14) FC(NOS__CSN18_IntDS__N24) FC(NOS__CSN18_IntDS__N2) FC(NOS__CSN18_IntDS__N8) FC(NOS__CSN18_IntDS__N5) FC(NOS__CSN18_IntDS__N6) FC(NOS__CSN18_IntDS__N11) FC(NOS__CSN18_IntDS__N16) FC(NOS__CSN18_IntDS__N1) FC(NOS__CSN18_IntDS__N18) FC(NOS__CSN18_IntDS__N19) FC(NOS__CSN18_IntDS__N7) FC(NOS__CSN18_IntDS__N13) BLOCK 12 FC(NOS__CSN23_IntDS__N20) FC(NOS__CSN23_IntDS__N3) FC(NOS__CSN23_IntDS__N4) FC(NOS__CSN23_IntDS__N12) FC(NOS__CSN23_IntDS__N15) FC(NOS__CSN23_IntDS__N17) FC(NOS__CSN23_IntDS__N22) FC(NOS__CSN23_IntDS__N23) FC(NOS__CSN23_IntDS__N21) FC(NOS__CSN23_IntDS__N10) FC(NOS__CSN23_IntDS__N9) FC(NOS__CSN23_IntDS__N14) FC(NOS__CSN23_IntDS__N24) FC(NOS__CSN23_IntDS__N2) FC(NOS__CSN23_IntDS__N8) FC(NOS__CSN23_IntDS__N5) FC(NOS__CSN23_IntDS__N6) FC(NOS__CSN23_IntDS__N11) FC(NOS__CSN23_IntDS__N16) FC(NOS__CSN23_IntDS__N1) FC(NOS__CSN23_IntDS__N18) FC(NOS__CSN23_IntDS__N19) FC(NOS__CSN23_IntDS__N7) FC(NOS__CSN23_IntDS__N13) BLOCK 13 FC(NOS__CSN22_IntDS__N20) FC(NOS__CSN22_IntDS__N3) FC(NOS__CSN22_IntDS__N4) FC(NOS__CSN22_IntDS__N12) FC(NOS__CSN22_IntDS__N15) FC(NOS__CSN22_IntDS__N17) FC(NOS__CSN22_IntDS__N22) FC(NOS__CSN22_IntDS__N23) FC(NOS__CSN22_IntDS__N21) FC(NOS__CSN22_IntDS__N10) FC(NOS__CSN22_IntDS__N9) FC(NOS__CSN22_IntDS__N14) FC(NOS__CSN22_IntDS__N24) FC(NOS__CSN22_IntDS__N2) FC(NOS__CSN22_IntDS__N8) FC(NOS__CSN22_IntDS__N5) FC(NOS__CSN22_IntDS__N6) FC(NOS__CSN22_IntDS__N11) FC(NOS__CSN22_IntDS__N16) FC(NOS__CSN22_IntDS__N1) FC(NOS__CSN22_IntDS__N18) FC(NOS__CSN22_IntDS__N19) FC(NOS__CSN22_IntDS__N7) FC(NOS__CSN22_IntDS__N13) BLOCK 14 FC(NOS__CSN12_IntDS__N20) FC(NOS__CSN12_IntDS__N3) FC(NOS__CSN12_IntDS__N4) FC(NOS__CSN12_IntDS__N12) FC(NOS__CSN12_IntDS__N15) FC(NOS__CSN12_IntDS__N17) FC(NOS__CSN12_IntDS__N22) FC(NOS__CSN12_IntDS__N23) FC(NOS__CSN12_IntDS__N21) FC(NOS__CSN12_IntDS__N10) FC(NOS__CSN12_IntDS__N9) FC(NOS__CSN12_IntDS__N14) FC(NOS__CSN12_IntDS__N24) FC(NOS__CSN12_IntDS__N2) FC(NOS__CSN12_IntDS__N8) FC(NOS__CSN12_IntDS__N5) FC(NOS__CSN12_IntDS__N6) FC(NOS__CSN12_IntDS__N11) FC(NOS__CSN12_IntDS__N16) FC(NOS__CSN12_IntDS__N1) FC(NOS__CSN12_IntDS__N18) FC(NOS__CSN12_IntDS__N19) FC(NOS__CSN12_IntDS__N7) FC(NOS__CSN12_IntDS__N13) BLOCK 15 FC(NOS__CSN24_IntDS__N20) FC(NOS__CSN24_IntDS__N3) FC(NOS__CSN24_IntDS__N4) FC(NOS__CSN24_IntDS__N12) FC(NOS__CSN24_IntDS__N15) FC(NOS__CSN24_IntDS__N17) FC(NOS__CSN24_IntDS__N22) FC(NOS__CSN24_IntDS__N23) FC(NOS__CSN24_IntDS__N21) FC(NOS__CSN24_IntDS__N10) FC(NOS__CSN24_IntDS__N9) FC(NOS__CSN24_IntDS__N14) FC(NOS__CSN24_IntDS__N24) FC(NOS__CSN24_IntDS__N2) FC(NOS__CSN24_IntDS__N8) FC(NOS__CSN24_IntDS__N5) FC(NOS__CSN24_IntDS__N6) FC(NOS__CSN24_IntDS__N11) FC(NOS__CSN24_IntDS__N16) FC(NOS__CSN24_IntDS__N1) FC(NOS__CSN24_IntDS__N18) FC(NOS__CSN24_IntDS__N19) FC(NOS__CSN24_IntDS__N7) FC(NOS__CSN24_IntDS__N13) BLOCK 16 FC(NOS__CSN19_IntDS__N20) FC(NOS__CSN19_IntDS__N3) FC(NOS__CSN19_IntDS__N4) FC(NOS__CSN19_IntDS__N12) FC(NOS__CSN19_IntDS__N15) FC(NOS__CSN19_IntDS__N17) FC(NOS__CSN19_IntDS__N22) FC(NOS__CSN19_IntDS__N23) FC(NOS__CSN19_IntDS__N21) FC(NOS__CSN19_IntDS__N10) FC(NOS__CSN19_IntDS__N9) FC(NOS__CSN19_IntDS__N14) FC(NOS__CSN19_IntDS__N24) FC(NOS__CSN19_IntDS__N2) FC(NOS__CSN19_IntDS__N8) FC(NOS__CSN19_IntDS__N5) FC(NOS__CSN19_IntDS__N6) FC(NOS__CSN19_IntDS__N11) FC(NOS__CSN19_IntDS__N16) FC(NOS__CSN19_IntDS__N1) FC(NOS__CSN19_IntDS__N18) FC(NOS__CSN19_IntDS__N19) FC(NOS__CSN19_IntDS__N7) FC(NOS__CSN19_IntDS__N13) MASTERCONSS CAP(NOS__L1_N20_N3__U__4) CAP(NOS__L2_N20_N4__U__4) CAP(NOS__L3_N20_N12__U__4) CAP(NOS__L4_N20_N15__U__4) CAP(NOS__L5_N17_N20__U__4) CAP(NOS__L6_N20_N22__U__4) CAP(NOS__L7_N20_N23__U__4) CAP(NOS__L8_N21_N10__U__4) CAP(NOS__L9_N23_N9__U__4) CAP(NOS__L10_N23_N14__U__4) CAP(NOS__L11_N23_N24__U__4) CAP(NOS__L12_N24_N14__U__4) CAP(NOS__L13_N2_N12__U__4) CAP(NOS__L14_N2_N15__U__4) CAP(NOS__L15_N3_N14__U__4) CAP(NOS__L16_N3_N15__U__4) CAP(NOS__L17_N4_N8__U__4) CAP(NOS__L18_N3_N5__U__4) CAP(NOS__L19_N5_N6__U__4) CAP(NOS__L20_N5_N15__U__4) CAP(NOS__L21_N6_N15__U__4) CAP(NOS__L22_N8_N22__U__4) CAP(NOS__L23_N10_N15__U__4) CAP(NOS__L24_N11_N15__U__4) CAP(NOS__L25_N15_N16__U__4) CAP(NOS__L26_N17_N1__U__4) CAP(NOS__L27_N18_N11__U__4) CAP(NOS__L28_N18_N21__U__4) CAP(NOS__L29_N2_N19__U__4) CAP(NOS__L30_N15_N19__U__4) CAP(NOS__L31_N15_N18__U__4) CAP(NOS__L32_N1_N9__U__4) CAP(NOS__L33_N1_N20__U__4) CAP(NOS__L34_N12_N22__U__4) CAP(NOS__L35_N8_N20__U__4) CAP(NOS__L36_N2_N5__U__4) CAP(NOS__L37_N5_N12__U__4) CAP(NOS__L38_N11_N16__U__4) CAP(NOS__L39_N18_N16__U__4) CAP(NOS__L40_N16_N10__U__4) CAP(NOS__L41_N16_N19__U__4) CAP(NOS__L42_N9_N20__U__4) CAP(NOS__L43_N15_N23__U__4) CAP(NOS__L44_N7_N19__U__4) CAP(NOS__L45_N4_N12__U__4) CAP(NOS__L46_N12_N13__U__4) CAP(NOS__L47_N5_N13__U__4) CAP(NOS__L48_N2_N13__U__4) CAP(NOS__L49_N7_N16__U__4) CAP(NOS__L50_N17_N23__U__4) CAP(NOS__L51_N3_N5__U__4) CAP(NOS__L52_N10_N7__U__4) CAP(NOS__L53_N11_N16__U__4) CAP(NOS__L54_N17_N20__U__4) CAP(NOS__L55_N18_N16__U__4)