MESON Chess Problem Database

Problem Display
PID: 193647 (3Knb2/2pPrPp1/2PNpNP1/1p2k2p/4n3/2PRBRP1/8/4Q3 w - - 0 1)

Fink, Adolf Jay

Pittsburgh Gazette-Times, 1915

3Knb2/2pPrPp1/2PNpNP1/1p2k2p/4n3/2PRBRP1/8/4Q3

#2

13 + 10

6490 yacpdb 2019

SOLUTION

  • SOUND
  • Sets
    • 1...Rxd7+
      • 2.Sxd7#
    • 1...Rxf7
      • 2.Sxf7#
    • 1...Sd2
      • 2.Bxd2#
    • 1...Sf2
      • 2.Bxf2#
    • 1...Sxc3
      • 2.Qxc3#
    • 1...Sxg3
      • 2.Qxg3#
    • 1...Sc5
      • 2.Bxc5#
    • 1...Sg5
      • 2.Bxg5#
    • 1...S4xd6
      • 2.Bd4#
    • 1...S4xf6
      • 2.Bf4#
    • 1...S8xd6
      • 2.Bd4#
    • 1...S8xf6
      • 2.Bf4#
    • 1...b4
      • 2.Sc4#
    • 1...h4
      • 2.Sg4#
    • 1...cxd6
      • 2.Bd4#
    • 1...gxf6
      • 2.Bf4#
  • Tries
    • 1.Bc1?
      • threat
        • 2.Qxe4#
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxf6
        • 2.Bf4#
      • 1...Sxd6!
    • 1.Bg1?
      • threat
        • 2.Qxe4#
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6!
    • 1.Bd2?
      • threat
        • 2.Qxe4#
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxf6
        • 2.Bf4#
      • 1...Sxd6!
    • 1.Bf2?
      • threat
        • 2.Qxe4#
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6!
    • 1.Bc5?
      • threat
        • 2.Qxe4#
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6!
    • 1.Bg5?
      • threat
        • 2.Qxe4#
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxf6
        • 2.Bf4#
      • 1...Sxd6!
    • 1.Bb6?
      • threat
        • 2.Qxe4#
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6!
    • 1.Bh6?
      • threat
        • 2.Qxe4#
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxf6
        • 2.Bf4#
      • 1...Sxd6!
    • 1.Ba7?
      • threat
        • 2.Qxe4#
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6!
    • 1.Rd1?
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Rxf7
        • 2.Sxf7#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Sxg3
        • 2.Qxg3#
      • 1...S4xd6
        • 2.Bd4#
      • 1...S4xf6
        • 2.Bf4#
      • 1...S8xd6
        • 2.Bd4#
      • 1...S8xf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sf2
        • 2.Bxf2#
      • 1...Sc5
        • 2.Bxc5#
      • 1...Sg5
        • 2.Bxg5#
      • 1...b4
        • 2.Sc4#
      • 1...h4
        • 2.Sg4#
      • 1...Sd2!
    • 1.Rf1?
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Rxf7
        • 2.Sxf7#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Sxg3
        • 2.Qxg3#
      • 1...S4xd6
        • 2.Bd4#
      • 1...S4xf6
        • 2.Bf4#
      • 1...S8xd6
        • 2.Bd4#
      • 1...S8xf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sd2
        • 2.Bxd2#
      • 1...Sc5
        • 2.Bxc5#
      • 1...Sg5
        • 2.Bxg5#
      • 1...b4
        • 2.Sc4#
      • 1...h4
        • 2.Sg4#
      • 1...Sf2!
    • 1.c4?
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Rxf7
        • 2.Sxf7#
      • 1...Sxg3
        • 2.Qc3#
        • 2.Qxg3#
        • 2.Qa1#
      • 1...S4xd6
        • 2.Bd4#
        • 2.Qc3#
        • 2.Qa1#
      • 1...S4xf6
        • 2.Bf4#
        • 2.Qc3#
        • 2.Qa1#
      • 1...S8xd6
        • 2.Bd4#
      • 1...S8xf6
        • 2.Bf4#
      • 1...bxc4
        • 2.Sxc4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sd2
        • 2.Bxd2#
        • 2.Qa1#
      • 1...Sf2
        • 2.Bxf2#
        • 2.Qc3#
        • 2.Qa1#
      • 1...Sc3
        • 2.Qxc3#
      • 1...Sc5
        • 2.Bxc5#
        • 2.Qc3#
        • 2.Qa1#
      • 1...Sg5
        • 2.Bxg5#
        • 2.Qc3#
        • 2.Qa1#
      • 1...h4
        • 2.Sg4#
      • 1...b4!
    • 1.g4?
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Rxf7
        • 2.Sxf7#
      • 1...Sxc3
        • 2.Qxc3#
        • 2.Qg3#
      • 1...S4xd6
        • 2.Bd4#
        • 2.Qg3#
      • 1...S4xf6
        • 2.Bf4#
        • 2.Qg3#
      • 1...S8xd6
        • 2.Bd4#
      • 1...S8xf6
        • 2.Bf4#
      • 1...hxg4
        • 2.Sxg4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sd2
        • 2.Bxd2#
        • 2.Qg3#
      • 1...Sf2
        • 2.Bxf2#
      • 1...Sg3
        • 2.Qxg3#
      • 1...Sc5
        • 2.Bxc5#
        • 2.Qg3#
      • 1...Sg5
        • 2.Bxg5#
        • 2.Qg3#
      • 1...b4
        • 2.Sc4#
      • 1...h4!
    • 1.dxe8Q?
      • 1...Rd7+
        • 2.Sxd7#
      • 1...Rxf7
        • 2.Sxf7#
        • 2.Rd5#
        • 2.Rf5#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Sxg3
        • 2.Qxg3#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sd2
        • 2.Bxd2#
      • 1...Sf2
        • 2.Bxf2#
      • 1...Sc5
        • 2.Bxc5#
      • 1...Sg5
        • 2.Bxg5#
      • 1...b4
        • 2.Sc4#
      • 1...h4
        • 2.Sg4#
      • 1...Rxe8+!
    • 1.dxe8S?
      • threat
        • 2.Bd4#
        • 2.Bf4#
      • 1...Rd7+
        • 2.Sxd7#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Rxe8+!
    • 1.dxe8B?
      • 1...Rd7+
        • 2.Sxd7#
      • 1...Rxf7
        • 2.Sxf7#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Sxg3
        • 2.Qxg3#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sd2
        • 2.Bxd2#
      • 1...Sf2
        • 2.Bxf2#
      • 1...Sc5
        • 2.Bxc5#
      • 1...Sg5
        • 2.Bxg5#
      • 1...b4
        • 2.Sc4#
      • 1...h4
        • 2.Sg4#
      • 1...Rxe8+!
    • 1.dxe8R?
      • 1...Rd7+
        • 2.Sxd7#
      • 1...Rxf7
        • 2.Sxf7#
        • 2.Rd5#
        • 2.Rf5#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Sxg3
        • 2.Qxg3#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sd2
        • 2.Bxd2#
      • 1...Sf2
        • 2.Bxf2#
      • 1...Sc5
        • 2.Bxc5#
      • 1...Sg5
        • 2.Bxg5#
      • 1...b4
        • 2.Sc4#
      • 1...h4
        • 2.Sg4#
      • 1...Rxe8+!
    • 1.fxe8Q?
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Sxg3
        • 2.Qxg3#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sd2
        • 2.Bxd2#
      • 1...Rf7
        • 2.Sxf7#
        • 2.Rd5#
        • 2.Rf5#
      • 1...Sf2
        • 2.Bxf2#
      • 1...Sc5
        • 2.Bxc5#
      • 1...Sg5
        • 2.Bxg5#
      • 1...b4
        • 2.Sc4#
      • 1...h4
        • 2.Sg4#
      • 1...Rxe8+!
    • 1.fxe8S?
      • threat
        • 2.Bd4#
        • 2.Bf4#
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Rxe8+!
    • 1.fxe8B?
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Sxg3
        • 2.Qxg3#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sd2
        • 2.Bxd2#
      • 1...Rf7
        • 2.Sxf7#
      • 1...Sf2
        • 2.Bxf2#
      • 1...Sc5
        • 2.Bxc5#
      • 1...Sg5
        • 2.Bxg5#
      • 1...b4
        • 2.Sc4#
      • 1...h4
        • 2.Sg4#
      • 1...Rxe8+!
    • 1.fxe8R?
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Sxg3
        • 2.Qxg3#
      • 1...Sxd6
        • 2.Bd4#
      • 1...Sxf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sd2
        • 2.Bxd2#
      • 1...Rf7
        • 2.Sxf7#
        • 2.Rd5#
        • 2.Rf5#
      • 1...Sf2
        • 2.Bxf2#
      • 1...Sc5
        • 2.Bxc5#
      • 1...Sg5
        • 2.Bxg5#
      • 1...b4
        • 2.Sc4#
      • 1...h4
        • 2.Sg4#
      • 1...Rxe8+!
  • Keys
    • 1.Qa1!
      • 1...Rxd7+
        • 2.Sxd7#
      • 1...Rxf7
        • 2.Sxf7#
      • 1...Sxc3
        • 2.Qxc3#
      • 1...Sxg3
        • 2.c4#
      • 1...S4xd6
        • 2.Bd4#
        • 2.c4#
      • 1...S4xf6
        • 2.Bf4#
        • 2.c4#
      • 1...S8xd6
        • 2.Bd4#
      • 1...S8xf6
        • 2.Bf4#
      • 1...cxd6
        • 2.Bd4#
      • 1...gxf6
        • 2.Bf4#
      • 1...Sd2
        • 2.c4#
      • 1...Sf2
        • 2.c4#
      • 1...Sc5
        • 2.c4#
      • 1...Sg5
        • 2.c4#
      • 1...b4
        • 2.Sc4#
      • 1...h4
        • 2.Sg4#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 5
    • ADDED MATES = 0
    • REMOVED MATES = 2
  • Sets
    • R(g);CHECK,XP(K)::S(I),XR(g)
    • R(g);XP(L)::S(H),XR(g)
    • S(a);OGATEB::QAR(A)+B(D),XS(a)
    • S(a);OGATE,XP(B)::QAB(A),XS(a)
    • S(a);OGATE,XP(F)::QAB(A),XS(a)
    • S(a);SBLOCK,XS(H)::QAR(A)+B(D),DCHECK
    • S(a);SBLOCK,XS(I)::QAR(A)+B(D),DCHECK
    • S(i);SBLOCK,XS(H)::B(D)
    • S(i);SBLOCK,XS(I)::B(D)
    • P(b);N_GUARD::S(H)
    • P(d);N_GUARD::S(I)
    • P(f);SBLOCK,XS(H)::B(D)
    • P(h);SBLOCK,XS(I)::B(D)
  • Tries
    • Try
      • B(D);P_PINS(a)
      • Threat
        • QAR1(A),XS(a)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(i);SBLOCK,XS(I)::B(D)
      • Refutation
        • S(i);XS(H)
    • Try
      • B(D);P_PINS(a)
      • Threat
        • QAR1(A),XS(a)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(i);SBLOCK,XS(H)::B(D)
      • Refutation
        • S(i);XS(I)
    • Try
      • B(D);P_PINS(a)
      • Threat
        • QAR1(A),XS(a)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(i);SBLOCK,XS(I)::B(D)
      • Refutation
        • S(i);XS(H)
    • Try
      • B(D);P_PINS(a)
      • Threat
        • QAR1(A),XS(a)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(i);SBLOCK,XS(H)::B(D)
      • Refutation
        • S(i);XS(I)
    • Try
      • B(D);P_PINS(a)
      • Threat
        • QAR1(A),XS(a)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(i);SBLOCK,XS(H)::B(D)
      • Refutation
        • S(i);XS(I)
    • Try
      • B(D);P_PINS(a)
      • Threat
        • QAR1(A),XS(a)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(i);SBLOCK,XS(I)::B(D)
      • Refutation
        • S(i);XS(H)
    • Try
      • B(D);P_PINS(a)
      • Threat
        • QAR1(A),XS(a)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(i);SBLOCK,XS(H)::B(D)
      • Refutation
        • S(i);XS(I)
    • Try
      • B(D);P_PINS(a)
      • Threat
        • QAR1(A),XS(a)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(i);SBLOCK,XS(I)::B(D)
      • Refutation
        • S(i);XS(H)
    • Try
      • B(D);P_PINS(a)
      • Threat
        • QAR1(A),XS(a)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(i);SBLOCK,XS(H)::B(D)
      • Refutation
        • S(i);XS(I)
    • Try
      • R(C);
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • R(g);XP(L)::S(H),XR(g)
        • S(a);OGATE,XP(B)::QAB(A),XS(a)
        • S(a);OGATE,XP(F)::QAB(A),XS(a)
        • S(a);SBLOCK,XS(H)::QAR(A)+B(D),DCHECK
        • S(a);SBLOCK,XS(I)::QAR(A)+B(D),DCHECK
        • S(i);SBLOCK,XS(H)::B(D)
        • S(i);SBLOCK,XS(I)::B(D)
        • P(f);SBLOCK,XS(H)::B(D)
        • P(h);SBLOCK,XS(I)::B(D)
        • S(a);OGATEB::QAR(A)+B(D),XS(a)
        • P(b);N_GUARD::S(H)
        • P(d);N_GUARD::S(I)
      • Refutation
        • S(a);
    • Try
      • R(E);
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • R(g);XP(L)::S(H),XR(g)
        • S(a);OGATE,XP(B)::QAB(A),XS(a)
        • S(a);OGATE,XP(F)::QAB(A),XS(a)
        • S(a);SBLOCK,XS(H)::QAR(A)+B(D),DCHECK
        • S(a);SBLOCK,XS(I)::QAR(A)+B(D),DCHECK
        • S(i);SBLOCK,XS(H)::B(D)
        • S(i);SBLOCK,XS(I)::B(D)
        • P(f);SBLOCK,XS(H)::B(D)
        • P(h);SBLOCK,XS(I)::B(D)
        • S(a);OGATEB::QAR(A)+B(D),XS(a)
        • P(b);N_GUARD::S(H)
        • P(d);N_GUARD::S(I)
      • Refutation
        • S(a);
    • Try
      • P(B);
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • R(g);XP(L)::S(H),XR(g)
        • S(i);SBLOCK,XS(H)::B(D)
        • S(i);SBLOCK,XS(I)::B(D)
        • P(b);XP(B)::S(H),XP(b)
        • P(f);SBLOCK,XS(H)::B(D)
        • P(h);SBLOCK,XS(I)::B(D)
        • S(a);N_GUARD::QAB(A),XS(a)
        • P(d);N_GUARD::S(I)
      • Refutation
        • P(b);
    • Try
      • P(F);
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • R(g);XP(L)::S(H),XR(g)
        • S(i);SBLOCK,XS(H)::B(D)
        • S(i);SBLOCK,XS(I)::B(D)
        • P(d);XP(F)::S(I),XP(d)
        • P(f);SBLOCK,XS(H)::B(D)
        • P(h);SBLOCK,XS(I)::B(D)
        • S(a);OGATEB::QAR(A)+B(D),XS(a)
        • S(a);N_GUARD::QAB(A),XS(a)
        • P(b);N_GUARD::S(H)
      • Refutation
        • P(d);
    • Try
      • P(K);XS(i)
      • Vars
        • R(g);CHECK,N_GUARD,P_SPINP(e)::S(I),XR(g)
        • S(a);OGATE,XP(B)::QAB(A),XS(a)
        • S(a);OGATE,XP(F)::QAB(A),XS(a)
        • S(a);SBLOCK,XS(H)::QAR(A)+B(D),DCHECK
        • S(a);SBLOCK,XS(I)::QAR(A)+B(D),DCHECK
        • P(f);SBLOCK,XS(H)::B(D)
        • P(h);SBLOCK,XS(I)::B(D)
        • S(a);OGATEB::QAR(A)+B(D),XS(a)
        • P(b);N_GUARD::S(H)
        • P(d);N_GUARD::S(I)
      • Refutation
        • R(g);CHECK,XQ(K)
    • Try
      • P(K);XS(i)
      • Threat
        • DUALS(2)
      • Vars
        • R(g);CHECK,N_GUARD::S(I),XR(g)
        • S(a);XS(H)::QAR(A)+B(D),DCHECK
        • S(a);XS(I)::QAR(A)+B(D),DCHECK
        • P(f);XS(H)::B(D)
        • P(h);XS(I)::B(D)
      • Refutation
        • R(g);CHECK,XS(K)
    • Try
      • P(K);XS(i)
      • Vars
        • R(g);CHECK,N_GUARD::S(I),XR(g)
        • R(g);XP(L)::S(H),XR(g)
        • S(a);OGATE,XP(B)::QAB(A),XS(a)
        • S(a);OGATE,XP(F)::QAB(A),XS(a)
        • S(a);SBLOCK,XS(H)::QAR(A)+B(D),DCHECK
        • S(a);SBLOCK,XS(I)::QAR(A)+B(D),DCHECK
        • P(f);SBLOCK,XS(H)::B(D)
        • P(h);SBLOCK,XS(I)::B(D)
        • S(a);OGATEB::QAR(A)+B(D),XS(a)
        • P(b);N_GUARD::S(H)
        • P(d);N_GUARD::S(I)
      • Refutation
        • R(g);CHECK,XB(K)
    • Try
      • P(K);XS(i)
      • Vars
        • R(g);CHECK,N_GUARD,P_SPINP(e)::S(I),XR(g)
        • S(a);OGATE,XP(B)::QAB(A),XS(a)
        • S(a);OGATE,XP(F)::QAB(A),XS(a)
        • S(a);SBLOCK,XS(H)::QAR(A)+B(D),DCHECK
        • S(a);SBLOCK,XS(I)::QAR(A)+B(D),DCHECK
        • P(f);SBLOCK,XS(H)::B(D)
        • P(h);SBLOCK,XS(I)::B(D)
        • S(a);OGATEB::QAR(A)+B(D),XS(a)
        • P(b);N_GUARD::S(H)
        • P(d);N_GUARD::S(I)
      • Refutation
        • R(g);CHECK,XR(K)
    • Try
      • P(L);XS(i)
      • Vars
        • R(g);CHECK,P_SPINP(e),XP(K)::S(I),XR(g)
        • S(a);OGATE,XP(B)::QAB(A),XS(a)
        • S(a);OGATE,XP(F)::QAB(A),XS(a)
        • S(a);SBLOCK,XS(H)::QAR(A)+B(D),DCHECK
        • S(a);SBLOCK,XS(I)::QAR(A)+B(D),DCHECK
        • P(f);SBLOCK,XS(H)::B(D)
        • P(h);SBLOCK,XS(I)::B(D)
        • S(a);OGATEB::QAR(A)+B(D),XS(a)
        • P(b);N_GUARD::S(H)
        • P(d);N_GUARD::S(I)
      • Refutation
        • R(g);CHECK,XQ(L)
    • Try
      • P(L);XS(i)
      • Threat
        • DUALS(2)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(a);XS(H)::QAR(A)+B(D),DCHECK
        • S(a);XS(I)::QAR(A)+B(D),DCHECK
        • P(f);XS(H)::B(D)
        • P(h);XS(I)::B(D)
      • Refutation
        • R(g);CHECK,XS(L)
    • Try
      • P(L);XS(i)
      • Vars
        • R(g);CHECK,XP(K)::S(I),XR(g)
        • S(a);OGATE,XP(B)::QAB(A),XS(a)
        • S(a);OGATE,XP(F)::QAB(A),XS(a)
        • S(a);SBLOCK,XS(H)::QAR(A)+B(D),DCHECK
        • S(a);SBLOCK,XS(I)::QAR(A)+B(D),DCHECK
        • P(f);SBLOCK,XS(H)::B(D)
        • P(h);SBLOCK,XS(I)::B(D)
        • S(a);OGATEB::QAR(A)+B(D),XS(a)
        • R(g);N_GUARD::S(H),XR(g)
        • P(b);N_GUARD::S(H)
        • P(d);N_GUARD::S(I)
      • Refutation
        • R(g);CHECK,XB(L)
    • Try
      • P(L);XS(i)
      • Vars
        • R(g);CHECK,P_SPINP(e),XP(K)::S(I),XR(g)
        • S(a);OGATE,XP(B)::QAB(A),XS(a)
        • S(a);OGATE,XP(F)::QAB(A),XS(a)
        • S(a);SBLOCK,XS(H)::QAR(A)+B(D),DCHECK
        • S(a);SBLOCK,XS(I)::QAR(A)+B(D),DCHECK
        • P(f);SBLOCK,XS(H)::B(D)
        • P(h);SBLOCK,XS(I)::B(D)
        • S(a);OGATEB::QAR(A)+B(D),XS(a)
        • P(b);N_GUARD::S(H)
        • P(d);N_GUARD::S(I)
      • Refutation
        • R(g);CHECK,XR(L)
  • Actual
    • Q(A);
    • Vars
      • R(g);CHECK,XP(K)::S(I),XR(g)
      • R(g);XP(L)::S(H),XR(g)
      • S(a);OGATE,P_SPINS(a),XP(B)::QAB(A),XS(a)
      • S(a);N_GUARD,XP(F)::QAB(A)+P(B)
      • S(i);SBLOCK,XS(H)::B(D)
      • S(i);SBLOCK,XS(I)::B(D)
      • P(f);SBLOCK,XS(H)::B(D)
      • P(h);SBLOCK,XS(I)::B(D)
      • S(a);N_GUARD::QAB(A)+P(B)
      • P(b);N_GUARD::S(H)
      • P(d);N_GUARD::S(I)
HTML5 logo

Developed and maintained by Brian Stephenson.
Implemented with HTML5, MySQL, Perl (with, inter alia, CGI::Simple, HTML::Template & XML::LibXML) & CSS/Javascript (jQuery, Bootstrap & DataTables).