Problem Display
PID: 149517 (8/3Q1p2/pP1p1P2/P1NNp3/1BPkBp2/1p3K2/1P6/n7 w - - 0 1)

Labai, Zoltan

4th Comm., Troll, 2011-2012

8/3Q1p2/pP1p1P2/P1NNp3/1BPkBp2/1p3K2/1P6/n7

#2

11 + 8


SOLUTION


  • SOUND
  • Sets
    • 1...dxc5
      • 2.Se3#
  • Tries
    • 1.Se6+?
      • 1...Kxc4
        • 2.Qc6#
      • 1...fxe6!
    • 1.Se3?
      • threat
        • 2.Qxd6#
      • 1...d5
        • 2.Qxd5#
      • 1...fxe3!
    • 1.Ba3?
      • 1...Kxc4
        • 2.Qa4#
      • 1...dxc5
        • 2.Se3#
      • 1...Sc2!
    • 1.Bc3+?
      • 1...Kxc5
        • 2.Qc8#
        • 2.Qc7#
      • 1...Kxc4!
    • 1.Qa4?
      • 1...Kxc4
        • 2.Ba3#
      • 1...dxc5
        • 2.Bc3#
      • 1...Sc2!
    • 1.Qc8?
      • 1...dxc5
        • 2.Qxc5#
      • 1...Sc2
        • 2.Sxb3#
      • 1...Kxc4!
    • 1.Qc7?
      • 1...dxc5
        • 2.Qxc5#
      • 1...Sc2
        • 2.Sxb3#
      • 1...Kxc4!
  • Keys
    • 1.Qc6!
      • 1...Kxc4
        • 2.Se6#
      • 1...dxc5
        • 2.Qxc5#
      • 1...Sc2
        • 2.Sxb3#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 1
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • P(g);XS(G)::QAR(K)+S(H)
  • Tries
    • Try
      • S(G);CHECK
      • Vars
        • K(c);P-FLIGHT,XP(D)::QAR2(K)
      • Refutation
        • P(h);XS(G)
    • Try
      • S(H);P_PINP(g)
      • Threat
        • QAR2(K),XP(g)
      • Vars
        • P(g);OGATE::QAR1(K),XP(g)
      • Refutation
        • P(d);XS(H)
    • Try
      • B(C);
      • Vars
        • K(c);OGATEB,P-FLIGHT,XP(D)::QAR2(K)
        • P(g);XS(G)::QAR(K)+S(H)
      • Refutation
        • S(a);
    • Try
      • B(C);CHECK
      • Refutation
        • K(c);P-FLIGHT,XP(D)
    • Try
      • Q(K);
      • Vars
        • K(c);OGATEB,P-FLIGHT,XP(D)::QAR(K)+B(C)
        • P(g);SBLOCK,XS(G)::B(C)
      • Refutation
        • S(a);
    • Try
      • Q(K);
      • Vars
        • P(g);OGATE,XS(G)::QAB1(K),XP(g)
        • S(a);N_GUARD::S(G),XP(b)
      • Refutation
        • K(c);P-FLIGHT,XP(D)
    • Try
      • Q(K);
      • Vars
        • P(g);OGATE,XS(G)::QAB1(K),XP(g)
        • S(a);N_GUARD::S(G),XP(b)
      • Refutation
        • K(c);P-FLIGHT,XP(D)
  • Actual
    • Q(K);
    • Vars
      • K(c);P-FLIGHT,XP(D)::QAR(K)+S(G)
      • P(g);OGATE,XS(G)::QAB1(K),XP(g)
      • S(a);N_GUARD::S(G),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).