Problem Display
PID: 67106 (1Bb2rr1/1PR1P3/3k1p1b/4R3/2KP4/2p3Q1/1N6/8 w - - 0 1)

Stocchi, Ottavio

1st HM., Zivkovic MT, 1954-1955

1Bb2rr1/1PR1P3/3k1p1b/4R3/2KP4/2p3Q1/1N6/8

#2

9 + 7


5407 Selected Stocchi (II) 2004

SOLUTION


  • SOUND
  • Sets
    • 1...Bg7
      • 2.Re1#
      • 2.Re2#
      • 2.Re3#
      • 2.Re4#
    • 1...Be6+
      • 2.Rd5#
    • 1...Bd7
      • 2.Rc8#
    • 1...cxb2
      • 2.Qa3#
    • 1...c2
      • 2.Qa3#
    • 1...fxe5
      • 2.Qxe5#
  • Tries
    • 1.Kb4?
      • threat
        • 2.Sc4#
      • 1...fxe5
        • 2.Qxe5#
      • 1...Be6
        • 2.Rg5#
      • 1...cxb2!
    • 1.Re1+?
      • 1...Bf4
        • 2.Qxf4#
      • 1...Rxg3!
    • 1.Re2+?
      • 1...Bf4
        • 2.Qxf4#
      • 1...Rxg3!
    • 1.Re3+?
      • 1...Bf4
        • 2.Qxf4#
      • 1...Rxg3!
    • 1.Re4+?
      • 1...Bf4
        • 2.Qxf4#
      • 1...Rxg3!
    • 1.Ra5+?
      • 1...Rxg3
        • 2.Ra6#
      • 1...Bf4
        • 2.Ra6#
      • 1...Ke6!
    • 1.Rb5+?
      • 1...Rxg3
        • 2.Rb6#
      • 1...Bf4
        • 2.Rb6#
      • 1...Ke6!
    • 1.Rec5+?
      • 1...Rxg3
        • 2.R5c6#
      • 1...Bf4
        • 2.R5c6#
      • 1...Ke6!
    • 1.Qxg8?
      • threat
        • 2.Rd5#
        • 2.Qd5#
      • 1...Be6+
        • 2.Rxe6#
        • 2.Qxe6#
      • 1...Bxb7
        • 2.Re6#
        • 2.Qe6#
      • 1...fxe5
        • 2.Qd5#
      • 1...Rf7
        • 2.bxc8S#
        • 2.e8S#
      • 1...Bd7
        • 2.Rc8#
        • 2.Qd5#
      • 1...Rxg8!
    • 1.bxc8Q?
      • threat
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
        • 2.Qd7#
      • 1...Rxg3
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
        • 2.Qd7#
      • 1...fxe5
        • 2.Ra7#
        • 2.Rb7#
        • 2.Qxe5#
        • 2.Qa6#
        • 2.Qd7#
        • 2.dxe5#
      • 1...Rg5
        • 2.Rd5#
        • 2.Rxg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
        • 2.Qd7#
      • 1...Rd8
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
      • 1...Rg4
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
        • 2.Qd7#
      • 1...Bc1
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
        • 2.Qd7#
      • 1...Bd2
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
        • 2.Qd7#
      • 1...Be3
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
        • 2.Qd7#
      • 1...Bf4
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
        • 2.Qd7#
      • 1...Bg5
        • 2.Rd5#
        • 2.Rxg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
        • 2.Qd7#
      • 1...f5
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Ra7#
        • 2.Rb7#
        • 2.Rd7#
        • 2.Qa6#
        • 2.Qe6#
        • 2.Qd7#
      • 1...Rxc8!
    • 1.bxc8B?
      • threat
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
      • 1...Rxg3
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
      • 1...fxe5
        • 2.Qxe5#
        • 2.dxe5#
      • 1...Rg5
        • 2.Rd5#
        • 2.Rxg5#
        • 2.Re6#
        • 2.Rcc5#
      • 1...Rg4
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
      • 1...Bc1
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
      • 1...Bd2
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
      • 1...Be3
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
      • 1...Bf4
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
      • 1...Bg5
        • 2.Rd5#
        • 2.Rxg5#
        • 2.Re6#
        • 2.Rcc5#
      • 1...f5
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
      • 1...Rxc8!
    • 1.bxc8R?
      • threat
        • 2.Ra7#
        • 2.Rb7#
      • 1...fxe5
        • 2.Qxe5#
      • 1...Rxc8!
    • 1.exf8Q+?
      • 1...Bxf8
        • 2.bxc8S#
      • 1...Rxf8!
    • 1.exf8S?
      • threat
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Be6+
        • 2.Rd5#
        • 2.Rxe6#
      • 1...Rxg3
        • 2.Rd5#
        • 2.Rcc5#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Bxf8
        • 2.bxc8S#
      • 1...Bxb7
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc8#
      • 1...fxe5
        • 2.Qxe5#
        • 2.dxe5#
        • 2.bxc8S#
      • 1...Rg5
        • 2.Rd5#
        • 2.Rxg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Rg4
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Rg7
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.bxc8S#
      • 1...Bc1
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Bd2
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Be3
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Bf4
        • 2.Rd5#
        • 2.Rcc5#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Bg5
        • 2.Rd5#
        • 2.Rxg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Bh3
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc8#
      • 1...Bg4
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc8#
      • 1...Bf5
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc8#
      • 1...Bd7
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc8#
      • 1...f5
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Rxf8!
    • 1.exf8B+?
      • 1...Bxf8
        • 2.bxc8S#
      • 1...Rxf8!
    • 1.e8Q?
      • threat
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Be6+
        • 2.Rd5#
        • 2.Rxe6#
        • 2.Qxe6#
      • 1...Rxg3
        • 2.Rd5#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Bxb7
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rxb7#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rc8#
        • 2.Qd7#
        • 2.Qe6#
        • 2.Qe7#
      • 1...fxe5
        • 2.Rc5#
        • 2.Rc6#
        • 2.Re7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qgxe5#
        • 2.Qc6#
        • 2.Qexe5#
        • 2.Qe7#
        • 2.dxe5#
        • 2.bxc8S#
      • 1...Rg5
        • 2.Rd5#
        • 2.Rxg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Rf7
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rxf7#
        • 2.Qc6#
        • 2.bxc8S#
      • 1...Rg4
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Rg7
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rxg7#
        • 2.Qc6#
        • 2.bxc8S#
      • 1...Bc1
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Bd2
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Be3
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Bf4
        • 2.Rd5#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Bg5
        • 2.Rd5#
        • 2.Rxg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Bg7
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Re4#
        • 2.Ra5#
        • 2.Rb5#
        • 2.Rec5#
        • 2.Rd5#
        • 2.Rf5#
        • 2.Rg5#
        • 2.Rh5#
        • 2.Re6#
        • 2.Ree7#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rxg7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Bh3
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rc8#
        • 2.Qc6#
        • 2.Qe7#
      • 1...Bg4
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rc8#
        • 2.Qc6#
        • 2.Qe7#
      • 1...Bf5
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rc8#
        • 2.Qc6#
        • 2.Qe7#
      • 1...Bd7
        • 2.Rd5#
        • 2.Rg5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc8#
        • 2.Qxd7#
        • 2.Qe7#
      • 1...f5
        • 2.Rd5#
        • 2.Re6#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.Qc6#
        • 2.Qe7#
        • 2.bxc8S#
      • 1...Rxe8!
    • 1.e8B?
      • threat
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Be6+
        • 2.Rd5#
      • 1...Bxb7
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rxb7#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rc8#
      • 1...fxe5
        • 2.Qxe5#
      • 1...Rf7
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rxf7#
        • 2.bxc8S#
      • 1...Rg7
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rxg7#
        • 2.bxc8S#
      • 1...Bg7
        • 2.Re1#
        • 2.Re2#
        • 2.Re3#
        • 2.Re4#
        • 2.Ree7#
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rxg7#
        • 2.Rxc8#
        • 2.bxc8S#
      • 1...Bh3
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rc8#
      • 1...Bg4
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rc8#
      • 1...Bf5
        • 2.Rcc5#
        • 2.Rc6#
        • 2.Rce7#
        • 2.Rf7#
        • 2.Rg7#
        • 2.Rh7#
        • 2.Rc8#
      • 1...Bd7
        • 2.Rcc5#
        • 2.Rc8#
      • 1...Rxe8!
    • 1.e8R?
      • threat
        • 2.Rd5#
        • 2.Rg5#
        • 2.R5e6#
        • 2.bxc8S#
      • 1...Be6+
        • 2.Rd5#
        • 2.R5xe6#
        • 2.R8xe6#
      • 1...Rxg3
        • 2.Rd5#
        • 2.bxc8S#
      • 1...Bxb7
        • 2.Rd5#
        • 2.Rg5#
        • 2.R5e6#
        • 2.R8e6#
      • 1...fxe5
        • 2.Qxe5#
        • 2.dxe5#
        • 2.bxc8S#
      • 1...Rg5
        • 2.Rd5#
        • 2.Rxg5#
        • 2.R5e6#
        • 2.bxc8S#
      • 1...Rg4
        • 2.Rd5#
        • 2.R5e6#
        • 2.bxc8S#
      • 1...Bc1
        • 2.Rd5#
        • 2.R5e6#
        • 2.bxc8S#
      • 1...Bd2
        • 2.Rd5#
        • 2.R5e6#
        • 2.bxc8S#
      • 1...Be3
        • 2.Rd5#
        • 2.R5e6#
        • 2.bxc8S#
      • 1...Bf4
        • 2.Rd5#
        • 2.bxc8S#
      • 1...Bg5
        • 2.Rd5#
        • 2.Rxg5#
        • 2.R5e6#
        • 2.bxc8S#
      • 1...Bh3
        • 2.Rd5#
        • 2.Rg5#
        • 2.R5e6#
      • 1...Bg4
        • 2.Rd5#
        • 2.Rg5#
        • 2.R5e6#
      • 1...Bf5
        • 2.Rd5#
        • 2.R5e6#
      • 1...Bd7
        • 2.Rd5#
        • 2.Rg5#
        • 2.R5e6#
        • 2.Rcc5#
        • 2.Rcc8#
      • 1...f5
        • 2.Rd5#
        • 2.R5e6#
        • 2.bxc8S#
      • 1...Rxe8!
  • Keys
    • 1.Kb5!
      • threat
        • 2.Sc4#
      • 1...Bd7+
        • 2.Rc6#
      • 1...cxb2
        • 2.Qa3#
      • 1...fxe5
        • 2.Qxe5#
      • 1...Be6
        • 2.Rg5#

FEATURES


  • Static
    • TYPE = THREAT
    • CHANGED MATES = 2
    • ADDED MATES = 0
    • REMOVED MATES = 1
  • Sets
    • B(e);CHECK,SBLOCK::QAB(B)+R(E),DCHECK
    • B(e);SBLOCK::B(I)+R(G)
    • P(a);OGATE,XS(A)::QAB(B)
    • P(a);OGATE::QAB(B)
    • P(c);OGATE,P_SPINP(c),XR(E)::QAB1(B),XP(c)
  • Tries
    • Try
      • K(C);P-FLIGHT
      • Threat
        • S(A)
      • Vars
        • P(c);OGATE,P_SPINP(c),XR(E)::QAB1(B),XP(c)
        • B(e);SBLOCK::QAB(B)+R(E)
      • Refutation
        • P(a);XS(A)
    • Try
      • R(E);CHECK
      • Vars
        • B(d);N_GUARD,P_SPINB(d)::QAB(B),XB(d)
      • Refutation
        • R(g);XQ(B)
    • Try
      • R(E);CHECK
      • Vars
        • B(d);N_GUARD,P_SPINB(d)::QAB(B),XB(d)
      • Refutation
        • R(g);XQ(B)
    • Try
      • R(E);CHECK
      • Vars
        • B(d);N_GUARD,P_SPINB(d)::QAB(B),XB(d)
      • Refutation
        • R(g);XQ(B)
    • Try
      • R(E);CHECK
      • Vars
        • B(d);N_GUARD,P_SPINB(d)::QAB(B),XB(d)
      • Refutation
        • R(g);XQ(B)
    • Try
      • R(E);CHECK
      • Vars
        • R(g);XQ(B)::R(E)
        • B(d);P_SPINB(d)::R(E)
      • Refutation
        • K(b);P-FLIGHT
    • Try
      • R(E);CHECK
      • Vars
        • R(g);XQ(B)::R(E)
        • B(d);P_SPINB(d)::R(E)
      • Refutation
        • K(b);P-FLIGHT
    • Try
      • R(E);CHECK
      • Vars
        • R(g);XQ(B)::R1(E)
        • B(d);P_SPINB(d)::R1(E)
      • Refutation
        • K(b);P-FLIGHT
    • Try
      • Q(B);XR(g)
      • Threat
        • DUALS(2)
      • Vars
        • P(c);XR(E)::QAR1(B)
      • Refutation
        • R(f);XQ(B)
    • Try
      • P(F);XB(e)
      • Threat
        • DUALS(11)
      • Refutation
        • R(f);P_PINR(G),XQ(F)
    • Try
      • P(F);XB(e)
      • Threat
        • DUALS(4)
      • Refutation
        • R(f);P_PINR(G),XB(F)
    • Try
      • P(F);XB(e)
      • Threat
        • DUALS(2)
      • Vars
        • P(c);OGATE,P_SPINP(c),XR(E)::QAB1(B),XP(c)
      • Refutation
        • R(f);P_PINR(G),XR(F)
    • Try
      • P(H);CHECK,XR(f)
      • Vars
        • B(d);N_GUARD,S_CUTR(g),XQ(H)::PXB(e)=S
      • Refutation
        • R(g);XQ(H)
    • Try
      • P(H);XR(f)
      • Threat
        • DUALS(6)
      • Vars
        • B(d);XS(H)::PXB(e)=S
      • Refutation
        • R(g);XS(H)
    • Try
      • P(H);CHECK,XR(f)
      • Vars
        • B(d);N_GUARD,S_CUTR(g),XB(H)::PXB(e)=S
      • Refutation
        • R(g);XB(H)
    • Try
      • P(H);
      • Threat
        • DUALS(13)
      • Refutation
        • R(f);XQ(H)
    • Try
      • P(H);
      • Threat
        • DUALS(8)
      • Vars
        • B(e);CHECK,SBLOCK::QAB(B)+R(E),DCHECK
        • P(c);OGATE,P_SPINP(c),XR(E)::QAB1(B),XP(c)
      • Refutation
        • R(f);XB(H)
    • Try
      • P(H);
      • Threat
        • DUALS(4)
      • Refutation
        • R(f);XR(H)
  • Actual
    • K(C);S_FLIGHT
    • Threat
      • S(A)
    • Vars
      • B(e);CHECK,SBLOCK::B(I)+R(G),DCHECK
      • P(a);OGATE,XS(A)::QAB(B)
      • P(c);OGATE,P_SPINP(c),XR(E)::QAB1(B),XP(c)
      • B(e);SBLOCK::QAB(B)+R(E)


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