Problem Display
PID: 247365 (8/3p1Q2/3P4/3NPNP1/8/1p1P1P2/1K2k1p1/4B1R1 w - - 0 1)

Holm, Helmer

Stella Polaris, 1967

8/3p1Q2/3P4/3NPNP1/8/1p1P1P2/1K2k1p1/4B1R1

#2

11 + 4


SOLUTION


  • SOUND
  • Sets
    • 1...Kd1
      • 2.Sc3#
    • 1...Kxd3
      • 2.Sf4#
    • 1...Kxf3
      • 2.Qh5#
  • Tries
    • 1.Kb1?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxd3
        • 2.Sf4#
      • 1...Kxf3
        • 2.Qh5#
      • 1...b2!
    • 1.Kc1?
      • 1...Kxd3
        • 2.Sf4#
      • 1...Kxf3
        • 2.Qh5#
      • 1...b2+!
    • 1.Kxb3?
      • 1...Kxd3
        • 2.Sf4#
      • 1...Kxf3
        • 2.Qh5#
      • 1...Kd1!
    • 1.Sc3+?
      • 1...Kxd3
        • 2.Qd5#
      • 1...Kxf3!
    • 1.Sde3?
      • 1...Kxd3
        • 2.Qc4#
      • 1...Kxf3!
    • 1.Sf4+?
      • 1...Kd1
        • 2.Se3#
        • 2.Bc3#
        • 2.Bb4#
        • 2.Ba5#
        • 2.Qxb3#
      • 1...Kxf3!
    • 1.Sg3+?
      • 1...Kd1
        • 2.Sc3#
        • 2.Se3#
        • 2.Bc3#
        • 2.Bb4#
        • 2.Ba5#
      • 1...Kxd3!
    • 1.Sd4+?
      • 1...Kd1
        • 2.Sc3#
        • 2.Se3#
        • 2.Bc3#
        • 2.Bb4#
        • 2.Ba5#
      • 1...Kxd3!
    • 1.Sh4?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxd3!
    • 1.Sh6?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxd3!
    • 1.Sfe7?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxd3!
    • 1.Sg7?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxd3!
    • 1.Qh5?
      • 1...Kd1
        • 2.Sc3#
        • 2.f4#
      • 1...Kxd3!
    • 1.Qe6?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxd3
        • 2.Sf4#
      • 1...Kxf3
        • 2.Sd4#
      • 1...dxe6!
    • 1.Qg6?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxf3
        • 2.Qh5#
      • 1...Kxd3!
    • 1.Qe8?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxf3
        • 2.Qh5#
      • 1...Kxd3!
    • 1.Qg8?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxd3
        • 2.Sf4#
      • 1...Kxf3!
    • 1.Qh7?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxf3
        • 2.Qh5#
      • 1...Kxd3!
    • 1.d4?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kd3
        • 2.Sf4#
      • 1...Kxf3!
    • 1.f4?
      • 1...Kd1
        • 2.Sc3#
        • 2.Qh5#
      • 1...Kf3
        • 2.Qh5#
      • 1...Kxd3!
    • 1.g6?
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxd3
        • 2.Sf4#
      • 1...Kxf3!
  • Keys
    • 1.Qxd7!
      • 1...Kd1
        • 2.Sc3#
      • 1...Kxd3
        • 2.Qb5#
      • 1...Kxf3
        • 2.Sd4#

FEATURES


  • Static
    • TYPE = MUTATE
    • CHANGED MATES = 2
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • K(a);S_FLIGHT::S(F)
    • K(a);S_FLIGHT,XP(D)::S(F)
    • K(a);OGATEB,S_FLIGHT,XP(E)::QAB(K)
  • Tries
    • Try
      • K(C);P-FLIGHT
      • Vars
        • K(a);S_FLIGHT::S(F)
        • K(a);S_FLIGHT,XP(D)::S(F)
        • K(a);OGATEB,S_FLIGHT,XP(E)::QAB(K)
      • Refutation
        • P(c);
    • Try
      • K(C);S_FLIGHT
      • Vars
        • K(a);S_FLIGHT,XP(D)::S(F)
        • K(a);OGATEB,S_FLIGHT,XP(E)::QAB(K)
      • Refutation
        • P(c);CHECK
    • Try
      • K(C);P-FLIGHT,XP(c)
      • Vars
        • K(a);S_FLIGHT,XP(D)::S(F)
        • K(a);OGATEB,S_FLIGHT,XP(E)::QAB(K)
      • Refutation
        • K(a);S_FLIGHT
    • Try
      • S(F);CHECK
      • Vars
        • K(a);S_FLIGHT,XP(D)::QAR2(K)
      • Refutation
        • K(a);S_FLIGHT,XP(E)
    • Try
      • S(F);
      • Vars
        • K(a);OGATEB,S_FLIGHT,XP(D)::QAB1(K)
      • Refutation
        • K(a);S_FLIGHT,XP(E)
    • Try
      • S(F);CHECK
      • Refutation
        • K(a);S_FLIGHT,XP(E)
    • Try
      • S(H);CHECK
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • S(H);CHECK
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • S(H);
      • Vars
        • K(a);S_FLIGHT::S(F)
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • S(H);
      • Vars
        • K(a);S_FLIGHT::S(F)
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • S(H);
      • Vars
        • K(a);S_FLIGHT::S(F)
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • S(H);
      • Vars
        • K(a);S_FLIGHT::S(F)
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • Q(K);
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • Q(K);
      • Vars
        • K(a);S_FLIGHT::S(F)
        • K(a);S_FLIGHT,XP(D)::S(F)
        • K(a);S_FLIGHT,XP(E)::S(H)
      • Refutation
        • P(d);XQ(K)
    • Try
      • Q(K);
      • Vars
        • K(a);S_FLIGHT::S(F)
        • K(a);OGATEB,S_FLIGHT,XP(E)::QAB(K)
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • Q(K);
      • Vars
        • K(a);S_FLIGHT::S(F)
        • K(a);OGATEB,S_FLIGHT,XP(E)::QAB(K)
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • Q(K);
      • Vars
        • K(a);S_FLIGHT::S(F)
        • K(a);S_FLIGHT,XP(D)::S(F)
      • Refutation
        • K(a);S_FLIGHT,XP(E)
    • Try
      • Q(K);
      • Vars
        • K(a);S_FLIGHT::S(F)
        • K(a);OGATEB,S_FLIGHT,XP(E)::QAB(K)
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • P(D);
      • Vars
        • K(a);S_FLIGHT::S(F)
      • Refutation
        • K(a);S_FLIGHT,XP(E)
    • Try
      • P(E);
      • Vars
        • K(a);S_FLIGHT::QAB(K)
      • Refutation
        • K(a);S_FLIGHT,XP(D)
    • Try
      • P(I);
      • Vars
        • K(a);S_FLIGHT::S(F)
        • K(a);S_FLIGHT,XP(D)::S(F)
      • Refutation
        • K(a);S_FLIGHT,XP(E)
  • Actual
    • Q(K);XP(d)
    • Vars
      • K(a);S_FLIGHT::S(F)
      • K(a);OGATEB,S_FLIGHT,XP(D)::QAB(K)
      • K(a);S_FLIGHT,XP(E)::S(H)


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