Problem Display
PID: 273316 (8/7Q/3p1P1P/1K2k3/4NN2/4p2P/4P3/4B3 w - - 0 1)

Rothmann, Bernard

diagrammes, 1978

8/7Q/3p1P1P/1K2k3/4NN2/4p2P/4P3/4B3

#2

9 + 3


SOLUTION


  • SOUND
  • Sets
    • 1...Kd4
      • 2.Bc3#
    • 1...Kxf4
      • 2.Bg3#
  • Tries
    • 1.Kb4?
      • 1...Kd4
        • 2.Bc3#
      • 1...Kxf4
        • 2.Bg3#
      • 1...d5!
    • 1.Kc4?
      • 1...Kxf4
        • 2.Bg3#
      • 1...d5+!
    • 1.Sg3?
      • 1...Kd4
        • 2.Qe4#
      • 1...Kxf4
        • 2.Qf5#
      • 1...Kxf6
        • 2.Qg7#
      • 1...d5!
    • 1.Bb4?
      • 1...Kd4
        • 2.Bc3#
      • 1...Kxf4
        • 2.Bxd6#
      • 1...d5!
    • 1.Qf5+?
      • 1...Kd4
        • 2.Se6#
        • 2.Bc3#
        • 2.Qd5#
      • 1...Kxf5!
    • 1.Qg6?
      • 1...Kd4
        • 2.Bc3#
      • 1...Kxf4
        • 2.Bg3#
      • 1...d5!
    • 1.f7?
      • 1...Kd4
        • 2.Bc3#
      • 1...Kxf4
        • 2.Bg3#
      • 1...d5!
  • Keys
    • 1.Sxd6!
      • 1...Kd4
        • 2.Qe4#
      • 1...Kxf4
        • 2.Qf5#
      • 1...Kxd6
        • 2.Qe7#
      • 1...Kxf6
        • 2.Qg7#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 2
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • K(b);N_GUARD,S_FLIGHT::B(A)
    • K(b);OGATEB,S_FLIGHT,XS(E)::B(A)
  • Tries
    • Try
      • K(F);P-FLIGHT
      • Vars
        • K(b);N_GUARD,S_FLIGHT::B(A)
        • K(b);OGATEB,S_FLIGHT,XS(E)::B(A)
      • Refutation
        • P(c);
    • Try
      • K(F);S_FLIGHT
      • Vars
        • K(b);OGATEB,S_FLIGHT,XS(E)::B(A)
      • Refutation
        • P(c);CHECK
    • Try
      • S(D);
      • Vars
        • K(b);N_GUARD,S_FLIGHT::QAR1(I)
        • K(b);N_GUARD,S_FLIGHT,XS(E)::QAR1(I)
        • K(b);OGATEB,S_FLIGHT,XP(G)::QAB1(I)
      • Refutation
        • P(c);
    • Try
      • B(A);
      • Vars
        • K(b);N_GUARD,S_FLIGHT::B(A)
        • K(b);N_GUARD,S_FLIGHT,XS(E)::B(A),XP(c)
      • Refutation
        • P(c);
    • Try
      • Q(I);CHECK
      • Refutation
        • K(b);P-FLIGHT,XQ(I)
    • Try
      • Q(I);
      • Vars
        • K(b);N_GUARD,S_FLIGHT::B(A)
        • K(b);OGATEB,S_FLIGHT,XS(E)::B(A)
      • Refutation
        • P(c);
    • Try
      • P(G);
      • Vars
        • K(b);N_GUARD,S_FLIGHT::B(A)
        • K(b);OGATEB,S_FLIGHT,XS(E)::B(A)
      • Refutation
        • P(c);
  • Actual
    • S(D);XP(c)
    • Vars
      • K(b);N_GUARD,S_FLIGHT::QAR1(I)
      • K(b);N_GUARD,S_FLIGHT,XS(E)::QAR1(I)
      • K(b);N_GUARD,S_FLIGHT,XS(D)::QAB1(I)
      • K(b);OGATEB,S_FLIGHT,XP(G)::QAB1(I)


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