MESON Chess Problem Database

Problem Display
PID: 6365 (1B3K2/8/1Q2pN2/2Rp4/rb1k1PnN/p1RPp3/B3p3/4n3 w - - 0 1)

Ovchinnikov, Valentin N

1st Prize, 64 Shakhmatnoe obozrenie, 1929/II

1B3K2/8/1Q2pN2/2Rp4/rb1k1PnN/p1RPp3/B3p3/4n3

#2

10 + 10

35 L'Italia Scacchistica 1930
3174 The Two-move Chess Problem Tradition and Development 1966
3098 FIDE Album (1914-1944) (I) 1971

SOLUTION

  • SOUND
  • Sets
    • 1...Ra5
      • 2.Qxb4#
    • 1...Ra6
      • 2.Qxb4#
    • 1...Ra7
      • 2.Qxb4#
    • 1...Ra8
      • 2.Qxb4#
    • 1...Bxc3
      • 2.Rxd5#
    • 1...Ba5
      • 2.R5c4#
    • 1...Bxc5+
      • 2.Qxc5#
    • 1...Sc2
      • 2.Sf3#
    • 1...Sg2
      • 2.Sf3#
    • 1...Sxd3
      • 2.Sf3#
    • 1...Sf3
      • 2.Sxf3#
    • 1...Sf2
      • 2.Be5#
    • 1...Sh2
      • 2.Be5#
    • 1...Se5
      • 2.Bxe5#
    • 1...Sxf6
      • 2.Be5#
    • 1...Sh6
      • 2.Be5#
    • 1...e5
      • 2.Sf5#
  • Tries
    • 1.Ke7?
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Sxd3
        • 2.Sf3#
      • 1...Sxf6
        • 2.Be5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Ba5
        • 2.R5c4#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...Ra7+!
    • 1.Kg7?
      • threat
        • 2.R5c4#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Bxc5
        • 2.Qxc5#
      • 1...Ra7+!
    • 1.Ke8?
      • threat
        • 2.R5c4#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Bxc5
        • 2.Qxc5#
      • 1...Sxf6+!
    • 1.Se4?
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxc3#
        • 2.Rxd5#
      • 1...dxe4
        • 2.Qd8#
        • 2.Qd6#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Ba5
        • 2.R5c4#
        • 2.Rxa5#
        • 2.Rxd5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sf6
        • 2.Be5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...Sxd3!
    • 1.Sxg4?
      • threat
        • 2.Be5#
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Sf3
        • 2.Sxf3#
      • 1...e5
        • 2.Sf5#
        • 2.Bxe5#
      • 1...Sxd3!
    • 1.Sh5?
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Ba5
        • 2.R5c4#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sf6
        • 2.Be5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...Sxd3!
    • 1.Sd7?
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Ba5
        • 2.R5c4#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sf6
        • 2.Be5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...Sxd3!
    • 1.Sh7?
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Ba5
        • 2.R5c4#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sf6
        • 2.Be5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...Sxd3!
    • 1.Se8?
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Ba5
        • 2.R5c4#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sf6
        • 2.Be5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...Sxd3!
    • 1.Sg8?
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Ba5
        • 2.R5c4#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sf6
        • 2.Be5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...Sxd3!
    • 1.Bb1?
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rc4#
        • 2.Ra5#
        • 2.Rb5#
        • 2.Rxd5#
        • 2.Rc6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Sxd3
        • 2.Sf3#
        • 2.Rxd3#
      • 1...Sxf6
        • 2.Be5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Ba5
        • 2.R5c4#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...a2!
    • 1.Bb3?
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Sxd3
        • 2.Sf3#
      • 1...Sxf6
        • 2.Be5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Ba5
        • 2.R5c4#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...a2!
    • 1.Bd6?
      • threat
        • 2.R5c4#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Bxc5
        • 2.Qxc5#
      • 1...Ra8+!
    • 1.Bc7?
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxd5#
      • 1...Sxd3
        • 2.Sf3#
      • 1...Sxf6
        • 2.Be5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ba5
        • 2.R5c4#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...Ra8+!
    • 1.Rb3?
      • 1...Sxd3
        • 2.Sf3#
      • 1...Sxf6
        • 2.Be5#
      • 1...Bc3
        • 2.Rcxc3#
        • 2.Rxd5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Bd2
        • 2.Rc1#
        • 2.Rc2#
        • 2.Rcc3#
        • 2.Rc4#
        • 2.Ra5#
        • 2.Rcb5#
        • 2.Rxd5#
        • 2.Rc6#
        • 2.Rc7#
        • 2.Rc8#
      • 1...Ba5
        • 2.Rc4#
        • 2.Rxa5#
        • 2.Rxd5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#
      • 1...Bxc5+!
    • 1.Qxe6?
      • threat
        • 2.Sf5#
        • 2.Qxd5#
      • 1...Bxc3
        • 2.Rxd5#
        • 2.Qxd5#
      • 1...Sxf6
        • 2.Sf5#
        • 2.Be5#
        • 2.Qe5#
        • 2.Qxf6#
      • 1...Sh6
        • 2.Be5#
        • 2.Qxd5#
        • 2.Qe5#
      • 1...Bxc5+!
  • Keys
    • 1.Sxd5!
      • 1...Bxc5+
        • 2.Qxc5#
      • 1...Bxc3
        • 2.Rxc3#
      • 1...Sxd3
        • 2.Rc4#
      • 1...exd5
        • 2.Sf5#
      • 1...Ra5
        • 2.Qxb4#
      • 1...Ra6
        • 2.Qxb4#
      • 1...Ra7
        • 2.Qxb4#
      • 1...Ra8
        • 2.Qxb4#
      • 1...Ba5
        • 2.Rxa5#
      • 1...Sc2
        • 2.Sf3#
      • 1...Sg2
        • 2.Sf3#
      • 1...Sf3
        • 2.Sxf3#
      • 1...Sf2
        • 2.Be5#
      • 1...Sh2
        • 2.Be5#
      • 1...Se5
        • 2.Bxe5#
      • 1...Sf6
        • 2.Be5#
      • 1...Sh6
        • 2.Be5#
      • 1...e5
        • 2.Sf5#

FEATURES

  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 3
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • R(e);N_GUARD::QAR2(G),XB(f)
    • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
    • B(f);N_PINR(F),SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
    • B(f);N_PINR(F)::QAB(G)+R(F),DCHECK
    • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
    • S(a);N_GUARD::S(E)
    • S(a);N_GUARD,XP(C)::S(E)
    • S(a);N_GUARD::S(E),XS(a)
    • S(h);N_GUARD::B(I)
    • S(h);N_GUARD::B(I),XS(h)
    • S(h);N_GUARD,XS(H)::B(I)
    • P(j);N_GUARD::S(E)
  • Tries
    • Try
      • K(J);S_FLIGHT
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • B(f);N_PINR(F),SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • S(a);N_GUARD,XP(C)::S(E)
        • S(h);N_GUARD,XS(H)::B(I)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • B(f);N_PINR(F)::QAB(G)+R(F),DCHECK
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • R(e);CHECK
    • Try
      • K(J);N_SPINR(F),S_FLIGHT
      • Threat
        • QAB(G)+R(F),DCHECK
      • Vars
        • B(f);SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • B(f);OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
      • Refutation
        • R(e);CHECK
    • Try
      • K(J);N_SPINR(F),P-FLIGHT
      • Threat
        • QAB(G)+R(F),DCHECK
      • Vars
        • B(f);SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • B(f);OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
      • Refutation
        • S(h);CHECK,XS(H)
    • Try
      • S(H);
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • S(a);XP(C)
    • Try
      • S(H);XS(h)
      • Threat
        • B(I)
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • B(f);N_PINR(F),SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
        • S(a);N_GUARD::S(E),XS(a)
      • Refutation
        • S(a);XP(C)
    • Try
      • S(H);
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • B(f);N_PINR(F),SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
        • B(f);N_PINR(F)::QAB(G)+R(F),DCHECK
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • S(a);XP(C)
    • Try
      • S(H);
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • B(f);N_PINR(F),SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
        • B(f);N_PINR(F)::QAB(G)+R(F),DCHECK
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • S(a);XP(C)
    • Try
      • S(H);
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • B(f);N_PINR(F),SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
        • B(f);N_PINR(F)::QAB(G)+R(F),DCHECK
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • S(a);XP(C)
    • Try
      • S(H);
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • B(f);N_PINR(F),SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • B(f);N_PINR(F)::QAB(G)+R(F),DCHECK
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • S(a);XP(C)
    • Try
      • S(H);
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • B(f);N_PINR(F),SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
        • B(f);N_PINR(F)::QAB(G)+R(F),DCHECK
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • S(a);XP(C)
    • Try
      • B(A);
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • S(h);N_GUARD,XS(H)::B(I)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
        • B(f);N_PINR(F)::QAB(G)+R(F),DCHECK
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • P(c);
    • Try
      • B(A);
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • B(f);N_PINR(F),SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • S(a);N_GUARD,XP(C)::S(E)
        • S(h);N_GUARD,XS(H)::B(I)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
        • B(f);N_PINR(F)::QAB(G)+R(F),DCHECK
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • P(c);
    • Try
      • B(I);N_SPINR(F)
      • Threat
        • QAB(G)+R(F),DCHECK
      • Vars
        • B(f);SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • B(f);OGATE,P_PINB(I),P_SPINB(f),XR(F)::QAB1(G),XB(f)
      • Refutation
        • R(e);CHECK
    • Try
      • B(I);
      • Vars
        • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
        • B(f);N_PINR(F),SBLOCK,XR(B)::QAB(G)+R(F),DCHECK,XP(i)
        • S(a);N_GUARD,XP(C)::S(E)
        • S(h);N_GUARD,XS(H)::B(I)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • B(f);N_PINR(F)::QAB(G)+R(F),DCHECK
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • R(e);CHECK
    • Try
      • R(B);
      • Vars
        • S(a);N_GUARD,XP(C)::S(E)
        • S(h);N_GUARD,XS(H)::B(I)
        • R(e);N_GUARD::QAR2(G),XB(f)
        • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
        • S(a);N_GUARD::S(E)
        • S(a);N_GUARD::S(E),XS(a)
        • S(h);N_GUARD::B(I)
        • S(h);N_GUARD::B(I),XS(h)
        • P(j);N_GUARD::S(E)
      • Refutation
        • B(f);CHECK,P_SPINB(f),XR(F)
    • Try
      • Q(G);XP(j)
      • Threat
        • DUALS(2)
      • Refutation
        • B(f);CHECK,XR(F)
  • Actual
    • S(H);XP(i)
    • Vars
      • B(f);CHECK,OGATE,P_SPINB(f),XR(F)::QAB1(G),XB(f)
      • B(f);N_PINR(F),XR(B)::QAB(G)+R(F),XB(f)
      • S(a);SBLOCK,XP(C)::R1(B)
      • P(j);N_GUARD,XS(H)::S(E)
      • R(e);N_GUARD::QAR2(G),XB(f)
      • R(e);N_GUARD,P_PINB(I)::QAR2(G),XB(f)
      • B(f);N_PINR(F)::QAB(G)+R(F),XB(f)
      • S(a);N_GUARD::S(E)
      • S(a);N_GUARD::S(E),XS(a)
      • S(h);N_GUARD::B(I)
      • S(h);N_GUARD::B(I),XS(h)
      • P(j);N_GUARD::S(E)
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).