Problem Display
PID: 82495 (8/8/5K2/5N2/6p1/6pb/3R1Bk1/5R2 w - - 0 1)

Havel, Miroslav

Ruch, 1947

8/8/5K2/5N2/6p1/6pb/3R1Bk1/5R2

#2

5 + 4


6490 yacpdb 2009

SOLUTION


  • SOUND
  • Sets
    • 1...Kxf1
      • 2.Se3#
    • 1...Kh2
      • 2.Bxg3#
    • 1...gxf2
      • 2.Rdxf2#
  • Tries
    • 1.Kg5?
      • 1...Kxf1
        • 2.Se3#
      • 1...Kh2
        • 2.Bxg3#
      • 1...gxf2
        • 2.Rdxf2#
      • 1...Kf3!
    • 1.Ke6?
      • 1...Kxf1
        • 2.Se3#
      • 1...Kh2
        • 2.Bxg3#
      • 1...gxf2
        • 2.Rdxf2#
      • 1...Kf3!
    • 1.Kg6?
      • 1...Kxf1
        • 2.Se3#
      • 1...Kh2
        • 2.Bxg3#
      • 1...gxf2
        • 2.Rdxf2#
      • 1...Kf3!
    • 1.Ke7?
      • 1...Kxf1
        • 2.Se3#
      • 1...Kh2
        • 2.Bxg3#
      • 1...gxf2
        • 2.Rdxf2#
      • 1...Kf3!
    • 1.Kf7?
      • 1...Kxf1
        • 2.Se3#
      • 1...Kh2
        • 2.Bxg3#
      • 1...gxf2
        • 2.Rdxf2#
      • 1...Kf3!
    • 1.Kg7?
      • 1...Kxf1
        • 2.Se3#
      • 1...Kh2
        • 2.Bxg3#
      • 1...gxf2
        • 2.Rdxf2#
      • 1...Kf3!
    • 1.Bg1+?
      • 1...Kh1
        • 2.Sxg3#
      • 1...Kxf1!
    • 1.Ra2?
      • 1...Kxf1
        • 2.Se3#
      • 1...Kh2
        • 2.Bxg3#
      • 1...gxf2
        • 2.Raxf2#
      • 1...Kf3!
    • 1.Rb2?
      • 1...Kxf1
        • 2.Se3#
      • 1...Kh2
        • 2.Bxg3#
      • 1...gxf2
        • 2.Rbxf2#
      • 1...Kf3!
    • 1.Rc2?
      • 1...Kxf1
        • 2.Se3#
      • 1...Kh2
        • 2.Bxg3#
      • 1...gxf2
        • 2.Rcxf2#
      • 1...Kf3!
  • Keys
    • 1.Ke5!
      • 1...Kxf1
        • 2.Se3#
      • 1...Kh2
        • 2.Bxg3#
      • 1...Kf3
        • 2.Sh4#
      • 1...gxf2
        • 2.Rdxf2#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • K(a);S_FLIGHT,XR(A)::S(D)
    • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
    • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)
  • Tries
    • Try
      • K(E);S_FLIGHT
      • Vars
        • K(a);S_FLIGHT,XR(A)::S(D)
        • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • K(E);P-FLIGHT
      • Vars
        • K(a);S_FLIGHT,XR(A)::S(D)
        • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • K(E);P-FLIGHT
      • Vars
        • K(a);S_FLIGHT,XR(A)::S(D)
        • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • K(E);S_FLIGHT
      • Vars
        • K(a);S_FLIGHT,XR(A)::S(D)
        • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • K(E);P-FLIGHT
      • Vars
        • K(a);S_FLIGHT,XR(A)::S(D)
        • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • K(E);S_FLIGHT
      • Vars
        • K(a);S_FLIGHT,XR(A)::S(D)
        • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • B(C);CHECK
      • Vars
        • K(a);S_FLIGHT::S(D),XP(b)
      • Refutation
        • K(a);S_FLIGHT,XR(A)
    • Try
      • R(B);
      • Vars
        • K(a);S_FLIGHT,XR(A)::S(D)
        • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • R(B);
      • Vars
        • K(a);S_FLIGHT,XR(A)::S(D)
        • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • R(B);
      • Vars
        • K(a);S_FLIGHT,XR(A)::S(D)
        • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
        • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)
      • Refutation
        • K(a);S_FLIGHT
  • Actual
    • K(E);S_FLIGHT
    • Vars
      • K(a);S_FLIGHT,XR(A)::S(D)
      • K(a);P-FLIGHT::R(B)+B(C),DCHECK,XP(b)
      • K(a);S_FLIGHT::S(D)
      • P(b);OGATE,P_SPINP(b),XB(C)::R1(B),XP(b)


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