Problem Display
PID: 185755 (8/8/1P5R/3pk3/R2pP1K1/8/2P5/8 w - - 0 1)

Howard, David M

Ling, John Francis

Problem Observer, 2016

8/8/1P5R/3pk3/R2pP1K1/8/2P5/8

#2

6 + 3


SOLUTION


  • SOUND
  • Sets
    • 1...Kxe4
      • 2.Re6#
    • 1...dxe4
      • 2.Ra5#
  • Tries
    • 1.Ra1?
      • 1...Kxe4
        • 2.Re1#
        • 2.Re6#
      • 1...dxe4
        • 2.Ra5#
      • 1...d3!
    • 1.Ra2?
      • 1...Kxe4
        • 2.Re6#
      • 1...dxe4
        • 2.Ra5#
      • 1...d3!
    • 1.Ra3?
      • 1...Kxe4
        • 2.Re6#
      • 1...dxe4
        • 2.Ra5#
      • 1...d3!
    • 1.Rb4?
      • 1...Kxe4
        • 2.Re6#
      • 1...dxe4
        • 2.Rb5#
      • 1...d3!
    • 1.Ra5?
      • 1...Kxe4
        • 2.Re6#
      • 1...d3!
    • 1.Ra6?
      • 1...Kxe4
        • 2.Re6#
      • 1...dxe4
        • 2.Ra5#
      • 1...d3!
    • 1.Ra7?
      • threat
        • 2.Re7#
      • 1...Kxe4
        • 2.Re6#
        • 2.Re7#
      • 1...dxe4
        • 2.Ra5#
      • 1...d3!
    • 1.Ra8?
      • threat
        • 2.Re8#
      • 1...Kxe4
        • 2.Re6#
        • 2.Re8#
      • 1...dxe4
        • 2.Ra5#
      • 1...d3!
    • 1.Rc6?
      • 1...Kxe4
        • 2.Re6#
      • 1...dxe4
        • 2.Ra5#
      • 1...d3!
    • 1.Rg6?
      • 1...Kxe4
        • 2.Re6#
      • 1...dxe4
        • 2.Ra5#
      • 1...d3!
  • Keys
    • 1.b7!
      • 1...Kxe4
        • 2.Re6#
      • 1...dxe4
        • 2.Ra5#
      • 1...d3
        • 2.b8Q#
        • 2.b8B#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • K(c);P-FLIGHT,P_SPINP(a),XP(C)::R(F)
    • P(b);OGATEB,SBLOCK,XP(C)::R(B)
  • Tries
    • Try
      • R(B);
      • Vars
        • P(b);OGATEB,SBLOCK,XP(C)::R(B)
      • Refutation
        • P(a);
    • Try
      • R(B);
      • Vars
        • K(c);P-FLIGHT,XP(C)::R(F)
        • P(b);OGATEB,SBLOCK,XP(C)::R(B)
      • Refutation
        • P(a);
    • Try
      • R(B);
      • Vars
        • K(c);P-FLIGHT,XP(C)::R(F)
        • P(b);OGATEB,SBLOCK,XP(C)::R(B)
      • Refutation
        • P(a);
    • Try
      • R(B);
      • Vars
        • K(c);P-FLIGHT,P_SPINP(a),XP(C)::R(F)
        • P(b);OGATEB,SBLOCK,XP(C)::R(B)
      • Refutation
        • P(a);
    • Try
      • R(B);P_PINP(b)
      • Vars
        • K(c);N_SPINP(b),P-FLIGHT,XP(C)::R(F)
      • Refutation
        • P(a);
    • Try
      • R(B);
      • Vars
        • K(c);P-FLIGHT,XP(C)::R(F)
        • P(b);OGATEB,SBLOCK,XP(C)::R(B)
      • Refutation
        • P(a);
    • Try
      • R(B);
      • Threat
        • R(B)
      • Vars
        • P(b);OGATEB,SBLOCK,XP(C)::R(B)
      • Refutation
        • P(a);
    • Try
      • R(B);
      • Threat
        • R(B)
      • Vars
        • P(b);OGATEB,SBLOCK,XP(C)::R(B)
      • Refutation
        • P(a);
    • Try
      • R(F);
      • Vars
        • K(c);P-FLIGHT,P_SPINP(a),XP(C)::R(F)
        • P(b);OGATEB,SBLOCK,XP(C)::R(B)
      • Refutation
        • P(a);
    • Try
      • R(F);
      • Vars
        • K(c);P-FLIGHT,P_SPINP(a),XP(C)::R(F)
        • P(b);OGATEB,SBLOCK,XP(C)::R(B)
      • Refutation
        • P(a);
  • Actual
    • P(E);
    • Vars
      • K(c);P-FLIGHT,P_SPINP(a),XP(C)::R(F)
      • P(b);OGATEB,SBLOCK,XP(C)::R(B)
      • P(a);::P=Q


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