Problem Display
PID: 266142 (8/P6p/1p4pR/PP2p1N1/k3K2p/7B/1Q4p1/6N1 w - - 0 1)

Witt, Andreas

The Problemist Supplement, 2022

8/P6p/1p4pR/PP2p1N1/k3K2p/7B/1Q4p1/6N1

#2

9 + 7


SOLUTION


  • SOUND
  • Sets
    • 1...Kxa5
      • 2.a8Q#
      • 2.a8R#
  • Tries
    • 1.Se6?
      • 1...Kxa5
        • 2.a8Q#
        • 2.a8R#
      • 1...bxa5
        • 2.Sc5#
      • 1...g5!
    • 1.Bg4?
      • 1...Kxa5
        • 2.a8Q#
        • 2.a8R#
      • 1...bxa5
        • 2.Bd1#
      • 1...h3!
    • 1.Be6?
      • 1...Kxa5
        • 2.a8Q#
        • 2.a8R#
      • 1...bxa5
        • 2.Qb3#
      • 1...h3!
    • 1.Bd7?
      • 1...Kxa5
        • 2.Qa3#
        • 2.a8Q#
        • 2.a8R#
      • 1...bxa5
        • 2.b6#
      • 1...h3!
    • 1.Rxh7?
      • 1...Kxa5
        • 2.a8Q#
        • 2.a8R#
      • 1...bxa5!
    • 1.Qb3+?
      • 1...Kxa5
        • 2.a8Q#
        • 2.a8R#
      • 1...Kxb3!
    • 1.a8S?
      • 1...bxa5
        • 2.Sb6#
      • 1...Kxa5!
  • Keys
    • 1.Kxe5!
      • 1...Kxa5
        • 2.a8Q#
        • 2.a8R#
      • 1...bxa5
        • 2.Rxh4#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • K(b);P-FLIGHT,XP(E)::P=Q
  • Tries
    • Try
      • S(G);
      • Vars
        • K(b);P-FLIGHT,XP(E)::P=Q
        • P(e);N_GUARD,SBLOCK,XP(E)::S(G)
      • Refutation
        • P(f);
    • Try
      • B(C);
      • Vars
        • K(b);P-FLIGHT,XP(E)::P=Q
        • P(e);SBLOCK,XP(E)::B(C)
      • Refutation
        • P(c);
    • Try
      • B(C);
      • Vars
        • K(b);P-FLIGHT,XP(E)::P=Q
        • P(e);SBLOCK,XP(E)::QAB1(B)
      • Refutation
        • P(c);
    • Try
      • B(C);
      • Vars
        • P(e);OGATE,SBLOCK,XP(E)::B(C)+P(F)
      • Refutation
        • P(c);
    • Try
      • R(H);XP(g)
      • Vars
        • K(b);P-FLIGHT,XP(E)::P=Q
      • Refutation
        • P(e);XP(E)
    • Try
      • Q(B);CHECK
      • Vars
        • K(b);N_GUARD,P-FLIGHT,XP(E)::P=Q
      • Refutation
        • K(b);S_FLIGHT,XQ(B)
    • Try
      • P(I);
      • Vars
        • P(e);SBLOCK,XP(E)::S(I)
      • Refutation
        • K(b);P-FLIGHT,XP(E)
  • Actual
    • K(D);P-FLIGHT,XP(d)
    • Vars
      • K(b);P-FLIGHT,XP(E)::P=Q
      • P(e);SBLOCK,XP(E)::R(H),XP(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).