MESON Chess Problem Database

Problem Display
PID: 3100 (3r1B2/2Rp1BK1/2p1qP2/3kp2Q/1PpN1Pn1/1PR2P2/1n2N3/8 w - - 0 1)

Gevers, Raymond

1st HM.=, Good Companions (April Complete Blocks), 1918

3r1B2/2Rp1BK1/2p1qP2/3kp2Q/1PpN1Pn1/1PR2P2/1n2N3/8

#2

13 + 9

2681 All Change Here! 1919

SOLUTION

  • SOUND
  • Sets
    • 1...Qxf7+
      • 2.Qxf7#
    • 1...Ra8
      • 2.Rxd7#
    • 1...Rb8
      • 2.Rxd7#
    • 1...Rc8
      • 2.Rxd7#
    • 1...Re8
      • 2.Rxd7#
    • 1...Rxf8
      • 2.Rxd7#
    • 1...Sd1
      • 2.bxc4#
    • 1...Sd3
      • 2.bxc4#
    • 1...Sa4
      • 2.bxc4#
    • 1...Sf2
      • 2.Qxe5#
    • 1...Sh2
      • 2.Qxe5#
    • 1...Se3
      • 2.Qxe5#
    • 1...Sxf6
      • 2.Qxe5#
    • 1...Sh6
      • 2.Qxe5#
    • 1...cxb3
      • 2.Rc5#
    • 1...c5
      • 2.Rxc5#
    • 1...d6
      • 2.Bxe6#
  • Tries
    • 1.Kg6?
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5
        • 2.Rxc5#
      • 1...d6
        • 2.Bxe6#
      • 1...Qxf7+!
    • 1.Kh7?
      • 1...Qxf7+
        • 2.Qxf7#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...cxb3
        • 2.Rc5#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5
        • 2.Rxc5#
      • 1...d6
        • 2.Bxe6#
      • 1...Sxf6+!
    • 1.Kh8?
      • 1...Qxf7
        • 2.Qxf7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5
        • 2.Rxc5#
      • 1...d6
        • 2.Bxe6#
      • 1...Rxf8+!
    • 1.Sc2?
      • 1...Qxf7+
        • 2.Qxf7#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Se3#
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Se3#
        • 2.Qxe5#
      • 1...Sh2
        • 2.Se3#
        • 2.Qxe5#
      • 1...Se3
        • 2.Sxe3#
        • 2.Qxe5#
      • 1...Sh6
        • 2.Se3#
        • 2.Qxe5#
      • 1...c5
        • 2.Rxc5#
      • 1...d6!
    • 1.Sb5?
      • 1...Qxf7+
        • 2.Qxf7#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...cxb5
        • 2.Rc5#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5
        • 2.Rxc5#
      • 1...d6!
    • 1.Sxe6?
      • threat
        • 2.S6d4#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sxd8#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Ra8
        • 2.S6d4#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd8#
        • 2.Rxd7#
      • 1...Rb8
        • 2.S6d4#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd8#
        • 2.Rxd7#
      • 1...Rc8
        • 2.S6d4#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sd8#
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5
        • 2.S6d4#
        • 2.Sxc5#
        • 2.Sg5#
        • 2.Sxd8#
        • 2.Rxc5#
      • 1...dxe6!
    • 1.Bg8?
      • 1...Qf7+
        • 2.Bxf7#
        • 2.Qxf7#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...d6
        • 2.Bxe6#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5
        • 2.Rxc5#
      • 1...Qxg8+!
    • 1.Be7?
      • 1...Qxf7+
        • 2.Qxf7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...d6
        • 2.Bxe6#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Rf8
        • 2.Rxd7#
      • 1...Rh8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5
        • 2.Rxc5#
      • 1...Rg8+!
    • 1.Rc1?
      • 1...Qxf7+
        • 2.Qxf7#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...d6
        • 2.Bxe6#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5
        • 2.Rxc5#
      • 1...c3!
    • 1.Rc2?
      • 1...Qxf7+
        • 2.Qxf7#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...d6
        • 2.Bxe6#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5
        • 2.Rxc5#
      • 1...c3!
    • 1.Rxc6?
      • threat
        • 2.Rc5#
        • 2.Rd6#
      • 1...Qxf7+
        • 2.Qxf7#
      • 1...dxc6
        • 2.Bxe6#
      • 1...d6
        • 2.Bxe6#
      • 1...Rc8
        • 2.Rd6#
      • 1...Sd3
        • 2.Rd6#
        • 2.bxc4#
      • 1...Sa4
        • 2.Rd6#
        • 2.bxc4#
      • 1...Rxf8!
    • 1.Ra7?
      • 1...Qxf7+
        • 2.Qxf7#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...d6
        • 2.Bxe6#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5!
    • 1.Rb7?
      • 1...Qxf7+
        • 2.Qxf7#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...d6
        • 2.Bxe6#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5!
    • 1.Qxg4?
      • 1...Rxf8
        • 2.Rxd7#
      • 1...cxb3
        • 2.Rc5#
      • 1...exd4
        • 2.Qf5#
        • 2.Qh5#
        • 2.Qg5#
      • 1...exf4
        • 2.Qf5#
        • 2.Qh5#
        • 2.Qg5#
      • 1...d6
        • 2.Bxe6#
        • 2.Qxe6#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...e4
        • 2.Qf5#
        • 2.Qh5#
        • 2.Qg5#
      • 1...c5
        • 2.Rxc5#
      • 1...Qxf7+!
    • 1.Qf5?
      • threat
        • 2.Qe4#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Qxf7+!
    • 1.Qg5?
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Qxe5#
      • 1...cxb3
        • 2.Rc5#
      • 1...d6
        • 2.Bxe6#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Qxe5#
      • 1...Sh2
        • 2.Qxe5#
      • 1...Se3
        • 2.Qxe5#
      • 1...Sh6
        • 2.Qxe5#
      • 1...c5
        • 2.Rxc5#
      • 1...Qxf7+!
  • Keys
    • 1.Sf5!
      • 1...Qxf7+
        • 2.Qxf7#
      • 1...Rxf8
        • 2.Rxd7#
      • 1...Sxf6
        • 2.Se3#
      • 1...cxb3
        • 2.Rc5#
      • 1...exf4
        • 2.Se3#
      • 1...d6
        • 2.Se7#
      • 1...Ra8
        • 2.Rxd7#
      • 1...Rb8
        • 2.Rxd7#
      • 1...Rc8
        • 2.Rxd7#
      • 1...Re8
        • 2.Rxd7#
      • 1...Sd1
        • 2.bxc4#
      • 1...Sd3
        • 2.bxc4#
      • 1...Sa4
        • 2.bxc4#
      • 1...Sf2
        • 2.Se3#
      • 1...Sh2
        • 2.Se3#
      • 1...Se3
        • 2.Sxe3#
      • 1...Sh6
        • 2.Se3#
      • 1...e4
        • 2.Se3#
      • 1...c5
        • 2.Rxc5#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 6
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
    • R(i);N_GUARD::R(J),XP(h)
    • R(i);N_GUARD,XB(M)::R(J),XP(h)
    • S(a);N_GUARD::P(B),XP(b)
    • S(c);N_GUARD::QAR1(H),XP(e)
    • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
    • P(b);OGATE,XP(B)::R1(C)
    • P(f);OGATE::R1(J),XP(f)
    • P(h);N_GUARD::B(K),XQ(g)
  • Tries
    • Try
      • K(L);P-FLIGHT,P_SPINP(I)
      • Vars
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • P(b);OGATE,XP(B)::R1(C)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
        • P(f);OGATE::R1(J),XP(f)
        • P(h);N_GUARD::B(K),XQ(g)
      • Refutation
        • Q(g);CHECK,N_PINP(I),N_SPINQ(g),XB(K)
    • Try
      • K(L);P-FLIGHT
      • Vars
        • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • P(b);OGATE,XP(B)::R1(C)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
        • P(f);OGATE::R1(J),XP(f)
        • P(h);N_GUARD::B(K),XQ(g)
      • Refutation
        • S(c);CHECK,XP(I)
    • Try
      • K(L);P_SPINB(M),S_FLIGHT
      • Vars
        • Q(g);N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • P(b);OGATE,XP(B)::R1(C)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
        • P(f);OGATE::R1(J),XP(f)
        • P(h);N_GUARD::B(K),XQ(g)
      • Refutation
        • R(i);CHECK,XB(M)
    • Try
      • S(F);
      • Vars
        • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • P(b);OGATE,XP(B)::R1(C)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • P(f);OGATE::R1(J),XP(f)
      • Refutation
        • P(h);
    • Try
      • S(F);
      • Vars
        • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • P(b);OGATE,XP(B)::R1(C)
        • P(f);OGATE,XS(F)::R1(J)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
        • P(f);OGATE::R1(J),XP(f)
      • Refutation
        • P(h);
    • Try
      • S(F);XQ(g)
      • Threat
        • DUALS(4)
      • Vars
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • R(i);N_GUARD::R(J),XP(h)
        • S(c);N_GUARD::QAR1(H),XP(e)
      • Refutation
        • P(h);XS(F)
    • Try
      • B(K);
      • Vars
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • P(b);OGATE,XP(B)::R1(C)
        • P(h);N_GUARD::B(K),XQ(g)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
        • P(f);OGATE::R1(J),XP(f)
      • Refutation
        • Q(g);CHECK,N_SPINQ(g),XB(K)
    • Try
      • B(M);
      • Vars
        • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • P(b);OGATE,XP(B)::R1(C)
        • P(h);N_GUARD::B(K),XQ(g)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
        • P(f);OGATE::R1(J),XP(f)
      • Refutation
        • R(i);CHECK
    • Try
      • R(C);
      • Vars
        • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • P(b);OGATE,XP(B)::R1(C)
        • P(h);N_GUARD::B(K),XQ(g)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
        • P(f);OGATE::R1(J),XP(f)
      • Refutation
        • P(b);
    • Try
      • R(C);
      • Vars
        • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • P(b);OGATE,XP(B)::R1(C)
        • P(h);N_GUARD::B(K),XQ(g)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
        • P(f);OGATE::R1(J),XP(f)
      • Refutation
        • P(b);
    • Try
      • R(J);XP(f)
      • Threat
        • DUALS(2)
      • Vars
        • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
        • P(h);N_GUARD,XR(J)::B(K),XQ(g)
        • P(h);N_GUARD::B(K),XQ(g)
        • R(i);::R1(J)
      • Refutation
        • R(i);XB(M)
    • Try
      • R(J);
      • Vars
        • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • P(b);OGATE,XP(B)::R1(C)
        • P(h);N_GUARD::B(K),XQ(g)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
      • Refutation
        • P(f);
    • Try
      • R(J);
      • Vars
        • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • P(b);OGATE,XP(B)::R1(C)
        • P(h);N_GUARD::B(K),XQ(g)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
      • Refutation
        • P(f);
    • Try
      • Q(H);N_PINP(e),XS(c)
      • Vars
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • P(b);OGATE,XP(B)::R1(C)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • P(f);OGATE::R1(J),XP(f)
      • Refutation
        • Q(g);CHECK,N_SPINQ(g),XB(K)
    • Try
      • Q(H);
      • Threat
        • QAB1(H)
      • Vars
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • S(c);N_GUARD::QAR1(H),XP(e)
      • Refutation
        • Q(g);CHECK,N_SPINQ(g),XB(K)
    • Try
      • Q(H);
      • Vars
        • R(i);N_GUARD,XB(M)::R(J),XP(h)
        • S(c);N_GUARD,XP(I)::QAR1(H),XP(e)
        • P(b);OGATE,XP(B)::R1(C)
        • P(h);N_GUARD::B(K),XQ(g)
        • R(i);N_GUARD::R(J),XP(h)
        • S(a);N_GUARD::P(B),XP(b)
        • S(c);N_GUARD::QAR1(H),XP(e)
        • P(f);OGATE::R1(J),XP(f)
      • Refutation
        • Q(g);CHECK,N_SPINQ(g),XB(K)
  • Actual
    • S(F);N_PINP(e)
    • Vars
      • Q(g);CHECK,N_SPINQ(g),OGATE,XB(K)::QAB(H),XQ(g)
      • R(i);N_GUARD,XB(M)::R(J),XP(h)
      • S(c);N_GUARD,XP(I)::S(F)
      • P(b);OGATE,XP(B)::R1(C)
      • P(e);XP(G)::QAR(H)+S(F),DCHECK
      • P(h);SBLOCK::S(F)
      • R(i);N_GUARD::R(J),XP(h)
      • S(a);N_GUARD::P(B),XP(b)
      • S(c);N_GUARD::S(F)
      • S(c);N_GUARD::S(F),XS(c)
      • P(e);::QAR(H)+S(F),DCHECK
      • P(f);OGATE::R1(J),XP(f)
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).