Problem Display
PID: 66757 (3R4/7N/8/2p1PPp1/3pk1P1/R6P/3Q1p2/2B2Kn1 w - - 0 1)

Hoffmann, Martin Wolfgang

idee & form, 1988

3R4/7N/8/2p1PPp1/3pk1P1/R6P/3Q1p2/2B2Kn1

#2

10 + 6


SOLUTION


  • SOUND
  • Sets
    • 1...Se2
      • 2.Qxe2#
    • 1...Sf3
      • 2.Qe2#
    • 1...Sxh3
      • 2.Qe2#
    • 1...d3
      • 2.Qe3#
    • 1...c4
      • 2.Qxd4#
  • Tries
    • 1.Sf8?
      • 1...Sxh3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...c4
        • 2.Qxd4#
      • 1...Kxe5!
    • 1.Rb3?
      • 1...Sxh3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#
      • 1...c4
        • 2.Qxd4#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...Kxe5!
    • 1.Rc3?
      • 1...Sxh3
        • 2.Qe2#
      • 1...dxc3
        • 2.Qe3#
        • 2.Qd5#
      • 1...d3
        • 2.Qe3#
      • 1...c4
        • 2.Qxd4#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...Kxe5!
    • 1.Re3+?
      • 1...dxe3
        • 2.Qxe3#
      • 1...Kf4!
    • 1.Rg3?
      • 1...Sxh3
        • 2.Qe2#
      • 1...c4
        • 2.Qxd4#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#
      • 1...Kxe5!
    • 1.Ra6?
      • 1...Kf3
        • 2.Qd3#
      • 1...Kxe5
        • 2.Re6#
      • 1...Sxh3
        • 2.Qe2#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#
      • 1...c4!
    • 1.Ra7?
      • 1...Kf3
        • 2.Qd3#
      • 1...Kxe5
        • 2.Re7#
      • 1...Sxh3
        • 2.Qe2#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#
      • 1...c4!
    • 1.Rxd4+?
      • 1...Kxe5
        • 2.Re3#
        • 2.Qe3#
      • 1...cxd4!
    • 1.Rd5?
      • threat
        • 2.Sf6#
      • 1...d3
        • 2.Qxd3#
      • 1...Kxd5!
    • 1.Rd6?
      • 1...Sxh3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#
      • 1...c4
        • 2.Qxd4#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...Kxe5!
    • 1.Rd7?
      • 1...Sxh3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#
      • 1...c4
        • 2.Qxd4#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...Kxe5!
    • 1.Re8?
      • threat
        • 2.Sf6#
      • 1...d3
        • 2.Qxd3#
      • 1...Kd5!
    • 1.Qa2?
      • threat
        • 2.Qd5#
      • 1...Kxe5
        • 2.Qd5#
        • 2.Qe6#
      • 1...c4!
    • 1.Qb2?
      • 1...Sxh3
        • 2.Qe2#
      • 1...c4
        • 2.Qxd4#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...d3
        • 2.Sxg5#
      • 1...Kxe5!
    • 1.Qxf2?
      • 1...Sxh3
        • 2.Qe1#
        • 2.Qe2#
      • 1...c4
        • 2.Qxd4#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#
      • 1...Kxe5!
    • 1.h4?
      • 1...gxh4
        • 2.Qf4#
      • 1...d3
        • 2.Qe3#
      • 1...c4
        • 2.Qxd4#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...Sh3
        • 2.Qe2#
      • 1...Kxe5!
    • 1.e6?
      • 1...Sxh3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#
      • 1...c4
        • 2.Qxd4#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...Ke5!
    • 1.f6?
      • 1...Sxh3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#
      • 1...c4
        • 2.Qxd4#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...Kxe5!
  • Keys
    • 1.Ra5!
      • 1...Kf3
        • 2.Qd3#
      • 1...Kxe5
        • 2.Qxd4#
      • 1...Sxh3
        • 2.Qe2#
      • 1...c4
        • 2.Sxg5#
      • 1...Se2
        • 2.Qxe2#
      • 1...Sf3
        • 2.Qe2#
      • 1...d3
        • 2.Qe3#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 1
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • S(a);N_GUARD::QAR2(C),XS(a)
    • S(a);N_GUARD::QAR2(C)
    • S(a);N_GUARD,XP(E)::QAR2(C)
    • P(c);N_GUARD::QAR1(C)
    • P(e);N_GUARD::QAR1(C),XP(c)
  • Tries
    • Try
      • S(I);
      • Vars
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
        • P(e);N_GUARD::QAR1(C),XP(c)
      • Refutation
        • K(d);P-FLIGHT,XP(G)
    • Try
      • R(D);
      • Vars
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
        • P(e);N_GUARD::QAR1(C),XP(c)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
      • Refutation
        • K(d);P-FLIGHT,XP(G)
    • Try
      • R(D);
      • Vars
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
        • P(e);N_GUARD::QAR1(C),XP(c)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
      • Refutation
        • K(d);P-FLIGHT,XP(G)
    • Try
      • R(D);CHECK
      • Vars
        • P(c);OGATE,XR(D)::QAR1(C),XP(c)
      • Refutation
        • K(d);P-FLIGHT
    • Try
      • R(D);
      • Vars
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • P(e);N_GUARD::QAR1(C),XP(c)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
      • Refutation
        • K(d);P-FLIGHT,XP(G)
    • Try
      • R(D);
      • Vars
        • K(d);S_FLIGHT::QAR2(C)
        • K(d);OGATEB,P-FLIGHT,XP(G)::R1(D)
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
      • Refutation
        • P(e);
    • Try
      • R(D);
      • Vars
        • K(d);S_FLIGHT::QAR2(C)
        • K(d);OGATEB,P-FLIGHT,XP(G)::R(D)
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
      • Refutation
        • P(e);
    • Try
      • R(J);CHECK,XP(c)
      • Refutation
        • P(e);XR(J)
    • Try
      • R(J);
      • Threat
        • S(I)
      • Vars
        • P(c);::QAB1(C),XP(c)
      • Refutation
        • K(d);P_SPINP(c),S_FLIGHT,XR(J)
    • Try
      • R(J);
      • Vars
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
        • P(e);N_GUARD::QAR1(C),XP(c)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
      • Refutation
        • K(d);P-FLIGHT,XP(G)
    • Try
      • R(J);
      • Vars
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
        • P(e);N_GUARD::QAR1(C),XP(c)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
      • Refutation
        • K(d);P-FLIGHT,XP(G)
    • Try
      • R(J);
      • Threat
        • S(I)
      • Vars
        • P(c);::QAB1(C),XP(c)
      • Refutation
        • K(d);P_SPINP(c),S_FLIGHT
    • Try
      • Q(C);
      • Threat
        • QAB1(C)
      • Refutation
        • P(e);
    • Try
      • Q(C);
      • Vars
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • P(e);N_GUARD::QAR1(C),XP(c)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
        • P(c);::S(I),XP(f)
      • Refutation
        • K(d);P-FLIGHT,P_SPINP(c),XP(G)
    • Try
      • Q(C);XP(b)
      • Vars
        • P(e);N_GUARD::QAR1(C),XP(c)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
      • Refutation
        • K(d);P-FLIGHT,XP(G)
    • Try
      • P(E);
      • Vars
        • P(f);N_GUARD,XP(E)::QAR1(C)
        • P(c);N_GUARD::QAR1(C)
        • P(e);N_GUARD::QAR1(C),XP(c)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
      • Refutation
        • K(d);P-FLIGHT,XP(G)
    • Try
      • P(G);
      • Vars
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
        • P(e);N_GUARD::QAR1(C),XP(c)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
      • Refutation
        • K(d);P-FLIGHT
    • Try
      • P(H);
      • Vars
        • S(a);N_GUARD,XP(E)::QAR2(C)
        • P(c);N_GUARD::QAR1(C)
        • P(e);N_GUARD::QAR1(C),XP(c)
        • S(a);N_GUARD::QAR2(C),XS(a)
        • S(a);N_GUARD::QAR2(C)
      • Refutation
        • K(d);P-FLIGHT,XP(G)
  • Actual
    • R(D);
    • Vars
      • K(d);S_FLIGHT::QAR2(C)
      • K(d);P-FLIGHT,P_SPINP(e),XP(G)::QAB1(C),XP(c)
      • S(a);N_GUARD,XP(E)::QAR2(C)
      • P(e);::S(I),XP(f)
      • S(a);N_GUARD::QAR2(C),XS(a)
      • S(a);N_GUARD::QAR2(C)
      • P(c);N_GUARD::QAR1(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).