Problem Display
PID: 237469 (qN6/kpR5/PNB5/4Q2p/7P/8/K7/8 w - - 0 1)

Labai, Zoltan

Gaudium, 2013

qN6/kpR5/PNB5/4Q2p/7P/8/K7/8

#2

8 + 4


15148 Sadier Collection 2021

SOLUTION


  • SOUND
  • Sets
    • 1...Kxb8
      • 2.Rxb7#
  • Tries
    • 1.Bh1?
      • 1...Kxb6
        • 2.Qc5#
      • 1...Kxb8
        • 2.Rxb7#
      • 1...Qxb8!
    • 1.Bg2?
      • 1...Kxb6
        • 2.Qc5#
      • 1...Kxb8
        • 2.Rxb7#
      • 1...Qxb8!
    • 1.Bf3?
      • 1...Kxb6
        • 2.Qc5#
      • 1...Kxb8
        • 2.Rxb7#
      • 1...Qxb8!
    • 1.Ba4?
      • 1...Kxb6
        • 2.Qc5#
      • 1...Kxb8
        • 2.Rxb7#
      • 1...Qxb8!
    • 1.Be4?
      • 1...Kxb6
        • 2.Qc5#
      • 1...Kxb8
        • 2.Rxb7#
      • 1...Qxb8!
    • 1.Bd7?
      • 1...Kxb6
        • 2.Qc5#
      • 1...Kxb8
        • 2.Rxb7#
      • 1...Qxb8!
    • 1.Be8?
      • 1...Kxb6
        • 2.Qc5#
      • 1...Kxb8
        • 2.Rxb7#
      • 1...Qxb8!
    • 1.Qa5?
      • 1...Qxb8
        • 2.axb7#
      • 1...Kxb8!
  • Keys
    • 1.axb7!
      • 1...Kxb6+
        • 2.bxa8S#
      • 1...Kxb8+
        • 2.bxa8Q#
        • 2.bxa8R#
      • 1...Qxb7
        • 2.Rxb7#
      • 1...Qxb8
        • 2.Qa5#

FEATURES


  • Static
    • TYPE = INCOMPLETE_BLOCK
    • CHANGED MATES = 0
    • ADDED MATES = 3
    • REMOVED MATES = 1
  • Sets
    • K(b);N_SPINP(c),P_PINP(D),S_FLIGHT,XS(H)::QAB(C)+R(G),DCHECK,XP(c)
  • Tries
    • Try
      • B(F);
      • Vars
        • K(b);N_SPINP(c),OGATEB,P_PINP(D),S_FLIGHT,XS(E)::QAB1(C)
        • K(b);N_SPINP(c),P_PINP(D),S_FLIGHT,XS(H)::QAB(C)+R(G),DCHECK,XP(c)
      • Refutation
        • Q(d);XS(H)
    • Try
      • B(F);
      • Vars
        • K(b);N_SPINP(c),OGATEB,P_PINP(D),S_FLIGHT,XS(E)::QAB1(C)
        • K(b);N_SPINP(c),P_PINP(D),S_FLIGHT,XS(H)::QAB(C)+R(G),DCHECK,XP(c)
      • Refutation
        • Q(d);XS(H)
    • Try
      • B(F);
      • Vars
        • K(b);N_SPINP(c),OGATEB,P_PINP(D),S_FLIGHT,XS(E)::QAB1(C)
        • K(b);N_SPINP(c),P_PINP(D),S_FLIGHT,XS(H)::QAB(C)+R(G),DCHECK,XP(c)
      • Refutation
        • Q(d);XS(H)
    • Try
      • B(F);
      • Vars
        • K(b);N_SPINP(c),OGATEB,S_FLIGHT,XS(E)::QAB1(C)
        • K(b);N_SPINP(c),S_FLIGHT,XS(H)::QAB(C)+R(G),DCHECK,XP(c)
      • Refutation
        • Q(d);XS(H)
    • Try
      • B(F);
      • Vars
        • K(b);N_SPINP(c),OGATEB,P_PINP(D),S_FLIGHT,XS(E)::QAB1(C)
        • K(b);N_SPINP(c),P_PINP(D),S_FLIGHT,XS(H)::QAB(C)+R(G),DCHECK,XP(c)
      • Refutation
        • Q(d);XS(H)
    • Try
      • B(F);
      • Vars
        • K(b);N_SPINP(c),OGATEB,P_PINP(D),S_FLIGHT,XS(E)::QAB1(C)
        • K(b);N_SPINP(c),P_PINP(D),S_FLIGHT,XS(H)::QAB(C)+R(G),DCHECK,XP(c)
      • Refutation
        • Q(d);XS(H)
    • Try
      • B(F);
      • Vars
        • K(b);N_SPINP(c),OGATEB,P_PINP(D),S_FLIGHT,XS(E)::QAB1(C)
        • K(b);N_SPINP(c),P_PINP(D),S_FLIGHT,XS(H)::QAB(C)+R(G),DCHECK,XP(c)
      • Refutation
        • Q(d);XS(H)
    • Try
      • Q(C);
      • Vars
        • Q(d);SBLOCK,XS(H)::QAR(C)+P(D),XP(c)
      • Refutation
        • K(b);N_SPINP(c),S_FLIGHT,XS(H)
  • Actual
    • P(D);XP(c)
    • Vars
      • K(b);CHECK,S_FLIGHT,XS(E)::PXQ(d)=S
      • K(b);CHECK,S_FLIGHT,XS(H)::PXQ(d)=Q
      • Q(d);OGATE,P_SPINQ(d),XP(D)::R1(G),XQ(d)
      • Q(d);SBLOCK,XS(H)::QAR2(C)


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