Problem Display
PID: 180267 (1r1r1n2/p1PPP3/1PBP1B2/1p1N1p2/1R3Np1/2Q1R3/5b1p/3n1K1k w - - 0 1)

Bartolovic, Hrvoje

Lider, Valentin Viktorovich

4/5 Place, 1. International Team (Friendship) Match, 1962-1964

1r1r1n2/p1PPP3/1PBP1B2/1p1N1p2/1R3Np1/2Q1R3/5b1p/3n1K1k

#2

13 + 11


6490 yacpdb 2018

SOLUTION


  • SOUND
  • Sets
    • 1...Rxb6
      • 2.Sxb6#
    • 1...Bxe3
      • 2.Sxe3#
    • 1...Sxc3
      • 2.Sxc3#
    • 1...Sxe3+
      • 2.Sxe3#
    • 1...axb6
      • 2.Sxb6#
  • Tries
    • 1.Se2?
      • threat
        • 2.Sdf4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sdxc3#
      • 1...f4
        • 2.Sdxf4#
      • 1...g3!
    • 1.Sd3?
      • threat
        • 2.S5f4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxf2#
        • 2.Sxc3#
      • 1...f4
        • 2.S5xf4#
      • 1...g3!
    • 1.Sh3?
      • threat
        • 2.Sdf4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxf2#
        • 2.Sxc3#
      • 1...f4
        • 2.Sdxf4#
      • 1...g3!
    • 1.Sh5?
      • threat
        • 2.Sdf4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...f4
        • 2.Sdxf4#
      • 1...g3!
    • 1.Se6?
      • threat
        • 2.Sdf4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...f4
        • 2.Sdxf4#
      • 1...g3!
    • 1.Sg6?
      • threat
        • 2.Sdf4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...f4
        • 2.Sdxf4#
      • 1...g3!
    • 1.Bd4?
      • threat
        • 2.Sf6#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Bh4?
      • threat
        • 2.Sf6#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Be5?
      • threat
        • 2.Sf6#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Bg5?
      • threat
        • 2.Sf6#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Bg7?
      • threat
        • 2.Sf6#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Bh8?
      • threat
        • 2.Sf6#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Re1?
      • threat
        • 2.Se3#
      • 1...Se3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Kxf2#
        • 2.Sxc3#
      • 1...Be3
        • 2.Sxe3#
      • 1...g3!
    • 1.Re2?
      • threat
        • 2.Se3#
      • 1...Se3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...Be3
        • 2.Sxe3#
      • 1...g3!
    • 1.Rd3?
      • threat
        • 2.Se3#
      • 1...Se3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...Be3
        • 2.Sxe3#
      • 1...g3!
    • 1.Rh3?
      • threat
        • 2.Se3#
      • 1...Se3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...Be3
        • 2.Sxe3#
      • 1...g3!
    • 1.Re5?
      • threat
        • 2.Se3#
      • 1...Se3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...Be3
        • 2.Sxe3#
      • 1...g3!
    • 1.Re6?
      • threat
        • 2.Se3#
      • 1...Se3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...Be3
        • 2.Sxe3#
      • 1...g3!
    • 1.Rb1?
      • threat
        • 2.Sb4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...b4
        • 2.Sxb4#
      • 1...g3!
    • 1.Rb2?
      • threat
        • 2.Sb4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...b4
        • 2.Sxb4#
      • 1...g3!
    • 1.Rb3?
      • threat
        • 2.Sb4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...b4
        • 2.Sxb4#
      • 1...g3!
    • 1.Ra4?
      • threat
        • 2.Sb4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...b4
        • 2.Sxb4#
      • 1...g3!
    • 1.Rc4?
      • threat
        • 2.Sb4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...b4
        • 2.Sxb4#
      • 1...g3!
    • 1.Rd4?
      • threat
        • 2.Sb4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...b4
        • 2.Sxb4#
      • 1...g3!
    • 1.Rxb5?
      • threat
        • 2.Sb4#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qa1?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qe1?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Kxf2#
        • 2.Sxc3#
      • 1...g3!
    • 1.Qb2?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qd2?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qd4?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qe5?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qc1?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qc2?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qa3?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qb3?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qd3?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qc4?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.Qc5?
      • threat
        • 2.Sc3#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sc3
        • 2.Sxc3#
      • 1...g3!
    • 1.bxa7?
      • threat
        • 2.Sb6#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...Rb6
        • 2.Sxb6#
      • 1...g3!
    • 1.b7?
      • threat
        • 2.Sb6#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.cxb8Q?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.cxb8S?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.cxb8B?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.cxb8R?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.cxd8Q?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.cxd8S?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.cxd8B?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.cxd8R?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.c8Q?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.c8S?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sdxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.c8B?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.c8R?
      • threat
        • 2.Sc7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.exd8Q?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.exd8S?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.exd8B?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.exd8R?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.exf8Q?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.exf8S?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.exf8B?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.exf8R?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.e8Q?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.e8S?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.e8B?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
    • 1.e8R?
      • threat
        • 2.Se7#
      • 1...Sxe3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...g3!
  • Keys
    • 1.Rg3!
      • threat
        • 2.Se3#
      • 1...Se3+
        • 2.Sxe3#
      • 1...Rxb6
        • 2.Sxb6#
      • 1...Sxc3
        • 2.Sxc3#
      • 1...Be3
        • 2.Sxe3#

FEATURES


  • Static
    • TYPE = THREAT
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 1
  • Sets
    • R(i);XP(G)::B(H)+S(F),XR(i)
    • B(c);XR(C)::B(H)+S(F),XB(c)
    • S(a);XQ(B)::B(H)+S(F),XS(a)
    • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
    • P(h);XP(G)::B(H)+S(F),XP(h)
  • Tries
    • Try
      • S(E);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • P(g);::B(H)+S(F),XP(g)
      • Refutation
        • P(e);
    • Try
      • S(E);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • P(g);::B(H)+S(F),XP(g)
      • Refutation
        • P(e);
    • Try
      • S(E);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • P(g);::B(H)+S(F),XP(g)
      • Refutation
        • P(e);
    • Try
      • S(E);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • P(g);::B(H)+S(F),XP(g)
      • Refutation
        • P(e);
    • Try
      • S(E);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • P(g);::B(H)+S(F),XP(g)
      • Refutation
        • P(e);
    • Try
      • S(E);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • P(g);::B(H)+S(F),XP(g)
      • Refutation
        • P(e);
    • Try
      • B(J);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • B(J);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • B(J);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • B(J);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • B(J);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • B(J);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • R(C);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • B(c);::B(H)+S(F),XB(c)
      • Refutation
        • P(e);
    • Try
      • R(C);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • B(c);::B(H)+S(F),XB(c)
      • Refutation
        • P(e);
    • Try
      • R(C);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • B(c);::B(H)+S(F),XB(c)
      • Refutation
        • P(e);
    • Try
      • R(C);P_PINP(d)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • B(c);::B(H)+S(F),XB(c)
      • Refutation
        • P(e);
    • Try
      • R(C);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • B(c);::B(H)+S(F),XB(c)
      • Refutation
        • P(e);
    • Try
      • R(C);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • B(c);::B(H)+S(F),XB(c)
      • Refutation
        • P(e);
    • Try
      • R(D);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • P(f);::B(H)+S(F),XP(f)
      • Refutation
        • P(e);
    • Try
      • R(D);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • P(f);::B(H)+S(F),XP(f)
      • Refutation
        • P(e);
    • Try
      • R(D);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • P(f);::B(H)+S(F),XP(f)
      • Refutation
        • P(e);
    • Try
      • R(D);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • P(f);::B(H)+S(F),XP(f)
      • Refutation
        • P(e);
    • Try
      • R(D);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • P(f);::B(H)+S(F),XP(f)
      • Refutation
        • P(e);
    • Try
      • R(D);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • P(f);::B(H)+S(F),XP(f)
      • Refutation
        • P(e);
    • Try
      • R(D);XP(f)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • Q(B);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(G);XP(h)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
        • R(i);::B(H)+S(F),XR(i)
      • Refutation
        • P(e);
    • Try
      • P(G);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);XR(i)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);XR(i)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);XR(i)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);XR(i)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);XR(j)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);XR(j)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);XR(j)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);XR(j)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(K);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);XR(j)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);XR(j)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);XR(j)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);XR(j)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);XS(k)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);XS(k)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);XS(k)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);XS(k)
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
    • Try
      • P(M);
      • Threat
        • B(H)+S(F)
      • Vars
        • S(a);CHECK,XR(C)::B(H)+S(F),XS(a)
        • R(i);XP(G)::B(H)+S(F),XR(i)
        • S(a);XQ(B)::B(H)+S(F),XS(a)
      • Refutation
        • P(e);
  • Actual
    • R(C);
    • Threat
      • B(H)+S(F)
    • Vars
      • S(a);CHECK::B(H)+S(F),XS(a)
      • R(i);XP(G)::B(H)+S(F),XR(i)
      • S(a);XQ(B)::B(H)+S(F),XS(a)
      • B(c);::B(H)+S(F),XB(c)


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).