Problem Display
PID: 65709 (5kBr/2p1pP1p/2P1R2N/5RP1/5P2/8/6p1/6Kb w - - 0 1)

Bedoni, Romeo

Phenix, 1999

5kBr/2p1pP1p/2P1R2N/5RP1/5P2/8/6p1/6Kb

#2

9 + 7


5454 Near Snap 2017

SOLUTION


  • SOUND
  • Sets
    • 1...Kg7
      • 2.f8Q#
      • 2.f8B#
    • 1...Rxg8
      • 2.fxg8Q#
      • 2.fxg8R#
  • Tries
    • 1.Ra5?
      • 1...Rxg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Kg7!
    • 1.Rb5?
      • 1...Rxg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Kg7!
    • 1.Rc5?
      • 1...Rxg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Kg7!
    • 1.Rd5?
      • 1...Rxg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Kg7!
    • 1.Rfe5?
      • 1...Rxg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...Kg7!
    • 1.Rff6?
      • 1...Kg7
        • 2.f8Q#
        • 2.f8B#
      • 1...Rxg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...exf6!
    • 1.g6?
      • 1...Kg7
        • 2.f8Q#
        • 2.f8B#
      • 1...Rxg8
        • 2.fxg8Q#
        • 2.fxg8R#
      • 1...hxg6!
  • Keys
    • 1.Rxe7!
      • 1...Kxe7
        • 2.f8Q#
      • 1...Kg7
        • 2.f8S#
      • 1...Rxg8
        • 2.fxg8S#

Anticipated by 78078(1933)

FEATURES


  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 3
    • REMOVED MATES = 0
  • Sets
    • K(f);OGATE,S_FLIGHT::P=Q
    • R(g);OGATE,XB(I)::PXR(g)=Q
  • Tries
    • Try
      • R(C);
      • Vars
        • R(g);OGATE,XB(I)::PXR(g)=Q
      • Refutation
        • K(f);S_FLIGHT
    • Try
      • R(C);
      • Vars
        • R(g);OGATE,XB(I)::PXR(g)=Q
      • Refutation
        • K(f);S_FLIGHT
    • Try
      • R(C);
      • Vars
        • R(g);OGATE,XB(I)::PXR(g)=Q
      • Refutation
        • K(f);S_FLIGHT
    • Try
      • R(C);
      • Vars
        • R(g);OGATE,XB(I)::PXR(g)=Q
      • Refutation
        • K(f);S_FLIGHT
    • Try
      • R(C);
      • Vars
        • R(g);OGATE,XB(I)::PXR(g)=Q
      • Refutation
        • K(f);S_FLIGHT
    • Try
      • R(C);
      • Vars
        • K(f);OGATE,S_FLIGHT::P=Q
        • R(g);OGATE,XB(I)::PXR(g)=Q
      • Refutation
        • P(d);XR(C)
    • Try
      • P(D);
      • Vars
        • K(f);OGATE,S_FLIGHT::P=Q
        • R(g);OGATE,XB(I)::PXR(g)=Q
      • Refutation
        • P(e);XP(D)
  • Actual
    • R(F);XP(d)
    • Vars
      • K(f);OGATE,S_FLIGHT,XR(F)::P=Q
      • K(f);OGATE,S_FLIGHT::P=S
      • R(g);OGATE,XB(I)::PXR(g)=S


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