Problem Display
PID: 78598 (8/1BPP4/4k1K1/5N2/8/3N4/8/8 w - - 0 1)

Backe, Espen

The Problemist, 1985

8/1BPP4/4k1K1/5N2/8/3N4/8/8

#2

6 + 1


5454 Near Snap 2009

SOLUTION


  • SOUND
  • Sets
    • 1...Kxd7
      • 2.c8Q#
  • Tries
    • 1.Kg5?
      • 1...Kxd7
        • 2.c8Q#
      • 1...Kf7!
    • 1.Kg7?
      • 1...Kxd7
        • 2.c8Q#
      • 1...Kxf5!
    • 1.Sc1?
      • 1...Kxd7
        • 2.c8Q#
      • 1...Ke5!
    • 1.Se1?
      • 1...Kxd7
        • 2.c8Q#
      • 1...Ke5!
    • 1.Sb2?
      • 1...Kxd7
        • 2.c8Q#
      • 1...Ke5!
    • 1.Sf2?
      • 1...Kxd7
        • 2.c8Q#
      • 1...Ke5!
    • 1.Sb4?
      • 1...Kxd7
        • 2.c8Q#
      • 1...Ke5!
    • 1.Sf4+?
      • 1...Kxd7
        • 2.c8Q#
      • 1...Ke5!
    • 1.Sd4+?
      • 1...Kd6
        • 2.d8Q#
      • 1...Ke7
        • 2.d8Q#
      • 1...Kxd7!
    • 1.Sg7+?
      • 1...Kd6
        • 2.d8Q#
      • 1...Ke7
        • 2.d8Q#
      • 1...Kxd7!
    • 1.Ba6?
      • 1...Kxd7
        • 2.c8Q#
      • 1...Kd5!
  • Keys
    • 1.c8R!
      • 1...Kxd7
        • 2.Sc5#

Anticipated by 103971(1925)

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • K(a);S_FLIGHT,XP(F)::P=Q
  • Tries
    • Try
      • K(C);P-FLIGHT
      • Vars
        • K(a);S_FLIGHT,XP(F)::P=Q
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • K(C);P-FLIGHT
      • Vars
        • K(a);S_FLIGHT,XP(F)::P=Q
      • Refutation
        • K(a);S_FLIGHT,XS(B)
    • Try
      • S(A);
      • Vars
        • K(a);S_FLIGHT,XP(F)::P=Q
      • Refutation
        • K(a);P-FLIGHT
    • Try
      • S(A);
      • Vars
        • K(a);S_FLIGHT,XP(F)::P=Q
      • Refutation
        • K(a);P-FLIGHT
    • Try
      • S(A);
      • Vars
        • K(a);S_FLIGHT,XP(F)::P=Q
      • Refutation
        • K(a);P-FLIGHT
    • Try
      • S(A);
      • Vars
        • K(a);S_FLIGHT,XP(F)::P=Q
      • Refutation
        • K(a);P-FLIGHT
    • Try
      • S(A);
      • Vars
        • K(a);S_FLIGHT,XP(F)::P=Q
      • Refutation
        • K(a);P-FLIGHT
    • Try
      • S(A);CHECK
      • Vars
        • K(a);S_FLIGHT,XP(F)::P=Q
      • Refutation
        • K(a);P-FLIGHT
    • Try
      • S(B);CHECK
      • Vars
        • K(a);P-FLIGHT::P=Q
      • Refutation
        • K(a);S_FLIGHT,XP(F)
    • Try
      • S(B);CHECK
      • Vars
        • K(a);P-FLIGHT::P=Q
      • Refutation
        • K(a);S_FLIGHT,XP(F)
    • Try
      • B(D);
      • Vars
        • K(a);S_FLIGHT,XP(F)::P=Q
      • Refutation
        • K(a);S_FLIGHT
  • Actual
    • P(E);
    • Vars
      • K(a);S_FLIGHT,XP(F)::S(A)


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