Problem Display
PID: 18304 (6b1/5kBp/4NN1P/p2Q1p2/Pp3P2/1K6/8/8 w - - 0 1)

Penrose, Lionel Sharples

Time & Tide, 1954

6b1/5kBp/4NN1P/p2Q1p2/Pp3P2/1K6/8/8

#2

8 + 6


56 The Problemist 2001

SOLUTION


  • SOUND
  • Sets
    • 1...Kg6
      • 2.Sf8#
    • 1...Ke7
      • 2.Qd7#
  • Tries
    • 1.Ka2?
      • 1...Kg6
        • 2.Sf8#
      • 1...Ke7
        • 2.Qd7#
      • 1...b3+!
    • 1.Kb2?
      • 1...Kg6
        • 2.Sf8#
      • 1...Ke7
        • 2.Qd7#
      • 1...b3!
    • 1.Kc2?
      • 1...Kg6
        • 2.Sf8#
      • 1...Ke7
        • 2.Qd7#
      • 1...b3+!
    • 1.Kc4?
      • 1...Kg6
        • 2.Sf8#
      • 1...Ke7
        • 2.Qd7#
      • 1...b3!
    • 1.Sd4+?
      • 1...Ke7
        • 2.Sxf5#
        • 2.Sc6#
      • 1...Kg6!
    • 1.Sc7+?
      • 1...Ke7
        • 2.Sxg8#
      • 1...Kg6!
    • 1.Sd8+?
      • 1...Ke7
        • 2.Sc6#
      • 1...Kg6!
    • 1.Sxg8?
      • 1...Ke8
        • 2.Sc7#
      • 1...Kxg8
        • 2.Sd4#
        • 2.Sc5#
        • 2.Sg5#
        • 2.Sc7#
        • 2.Sd8#
        • 2.Sf8#
      • 1...Kg6!
    • 1.Bh8?
      • 1...Ke7
        • 2.Qd7#
      • 1...Kg6!
    • 1.Qc4?
      • 1...Kg6
        • 2.Sf8#
      • 1...Ke7!
    • 1.Qc6?
      • threat
        • 2.Qe8#
      • 1...Ke7
        • 2.Qd7#
      • 1...Kg6!
    • 1.Qb7+?
      • 1...Kxe6
        • 2.Qd7#
      • 1...Kg6!
    • 1.Qd2?
      • 1...Kxe6
        • 2.Qd7#
      • 1...Ke7
        • 2.Qd7#
      • 1...Kg6!
    • 1.Qd3?
      • 1...Kxe6
        • 2.Qd7#
      • 1...Ke7
        • 2.Qd7#
      • 1...Kg6!
    • 1.Qd4?
      • 1...Kxe6
        • 2.Qd7#
      • 1...Ke7
        • 2.Qd7#
      • 1...Kg6!
    • 1.Qb5?
      • threat
        • 2.Qe8#
      • 1...Kxe6
        • 2.Qd7#
      • 1...Ke7
        • 2.Qd7#
      • 1...Kg6!
    • 1.Qd8?
      • threat
        • 2.Qe8#
      • 1...Kxe6
        • 2.Qd7#
      • 1...Kg6!
  • Keys
    • 1.Qd1!
      • 1...Kxe6
        • 2.Qd7#
      • 1...Kg6
        • 2.Qh5#
      • 1...Ke7
        • 2.Qd7#

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 1
    • ADDED MATES = 1
    • REMOVED MATES = 0
  • Sets
    • K(d);S_FLIGHT::S(E)
    • K(d);P-FLIGHT::QAR1(D)
  • Tries
    • Try
      • K(A);S_FLIGHT
      • Vars
        • K(d);S_FLIGHT::S(E)
        • K(d);P-FLIGHT::QAR1(D)
      • Refutation
        • P(a);CHECK
    • Try
      • K(A);P-FLIGHT
      • Vars
        • K(d);S_FLIGHT::S(E)
        • K(d);P-FLIGHT::QAR1(D)
      • Refutation
        • P(a);
    • Try
      • K(A);S_FLIGHT
      • Vars
        • K(d);S_FLIGHT::S(E)
        • K(d);P-FLIGHT::QAR1(D)
      • Refutation
        • P(a);CHECK
    • Try
      • K(A);S_FLIGHT
      • Vars
        • K(d);S_FLIGHT::S(E)
        • K(d);P-FLIGHT::QAR1(D)
      • Refutation
        • P(a);
    • Try
      • S(E);CHECK
      • Refutation
        • K(d);P_PINQ(D),S_FLIGHT
    • Try
      • S(E);CHECK
      • Vars
        • K(d);P-FLIGHT,P_PINQ(D)::S(F),XB(f)
      • Refutation
        • K(d);P_PINQ(D),S_FLIGHT
    • Try
      • S(E);CHECK
      • Vars
        • K(d);P-FLIGHT,P_PINQ(D)::S(E)
      • Refutation
        • K(d);P_PINQ(D),S_FLIGHT
    • Try
      • S(F);XB(f)
      • Vars
        • K(d);S_FLIGHT::S(E)
      • Refutation
        • K(d);S_FLIGHT
    • Try
      • B(H);
      • Vars
        • K(d);P-FLIGHT::QAR1(D)
      • Refutation
        • K(d);S_FLIGHT
    • Try
      • Q(D);
      • Vars
        • K(d);S_FLIGHT::S(E)
      • Refutation
        • K(d);P-FLIGHT
    • Try
      • Q(D);
      • Threat
        • QAB1(D)
      • Vars
        • K(d);P-FLIGHT,P_PINS(E)::QAR1(D)
      • Refutation
        • K(d);P_PINS(E),S_FLIGHT
    • Try
      • Q(D);CHECK
      • Vars
        • K(d);S_FLIGHT,XS(E)::QAB1(D)
      • Refutation
        • K(d);P_PINS(E),S_FLIGHT
    • Try
      • Q(D);
      • Vars
        • K(d);S_FLIGHT,XS(E)::QAB1(D)
        • K(d);P-FLIGHT,P_PINS(E)::QAR1(D)
      • Refutation
        • K(d);P_PINS(E),S_FLIGHT
    • Try
      • Q(D);
      • Vars
        • K(d);S_FLIGHT,XS(E)::QAB1(D)
        • K(d);P-FLIGHT,P_PINS(E)::QAR1(D)
      • Refutation
        • K(d);P_PINS(E),P_SPINP(c),S_FLIGHT
    • Try
      • Q(D);
      • Vars
        • K(d);S_FLIGHT,XS(E)::QAB1(D)
        • K(d);P-FLIGHT,P_PINS(E)::QAR1(D)
      • Refutation
        • K(d);P_PINS(E),S_FLIGHT
    • Try
      • Q(D);
      • Threat
        • QAB1(D)
      • Vars
        • K(d);S_FLIGHT,XS(E)::QAB1(D)
        • K(d);P-FLIGHT,P_PINS(E)::QAR1(D)
      • Refutation
        • K(d);P_PINS(E),S_FLIGHT
    • Try
      • Q(D);
      • Threat
        • QAB1(D)
      • Vars
        • K(d);S_FLIGHT,XS(E)::QAB1(D)
      • Refutation
        • K(d);P_PINS(E),S_FLIGHT
  • Actual
    • Q(D);
    • Vars
      • K(d);S_FLIGHT,XS(E)::QAB1(D)
      • K(d);P_PINS(E),S_FLIGHT::QAB1(D)
      • K(d);P-FLIGHT,P_PINS(E)::QAR1(D)


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