Problem Display
PID: 10695 (6n1/1p4QP/BR6/3kB1p1/1pRNN1r1/1pp2p1q/3npr1b/4Kb2 w - - 0 1)

Davidovski, Ivan Nikolaevich

4th Place, 2. International Team (Friendship) Match, 1967-1970

6n1/1p4QP/BR6/3kB1p1/1pRNN1r1/1pp2p1q/3npr1b/4Kb2

#2

9 + 15


273 Mat Plus 1994

SOLUTION


  • SOUND
  • Sets
    • 1...Rxe4
      • 2.Rd6#
    • 1...Bxe5
      • 2.Qxb7#
    • 1...Sxc4
      • 2.Bxb7#
    • 1...Sxe4
      • 2.hxg8Q#
      • 2.hxg8B#
  • Tries
    • 1.Sc2?
      • threat
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qxh7
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rxe4
        • 2.Sxb4#
        • 2.Rd6#
      • 1...Sxc4
        • 2.Bxb7#
      • 1...Qg2
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qg3
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh4
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh5
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Qh6
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
      • 1...Rfg2
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rg1
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rgg2
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rg3
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rf4
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rh4
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Bg2
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg1
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg3
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bf4
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sb1
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sh6
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Se7
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
      • 1...b2
        • 2.Se3#
        • 2.Sxb4#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sf6!
    • 1.Sxb3?
      • threat
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qxh7
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rxe4
        • 2.Rc5#
        • 2.Rd6#
      • 1...Sxb3
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sxc4
        • 2.Bxb7#
      • 1...Sxe4
        • 2.Rd4#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...bxa6
        • 2.Rd4#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qg2
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qg3
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh4
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh5
        • 2.Rd4#
        • 2.Rd6#
      • 1...Qh6
        • 2.Rd4#
      • 1...Rfg2
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rg1
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rgg2
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rg3
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rf4
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rh4
        • 2.Rd4#
        • 2.Rd6#
      • 1...Bg2
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg1
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg3
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bf4
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sb1
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sh6
        • 2.Rd4#
        • 2.Rd6#
      • 1...Se7
        • 2.Rd4#
        • 2.Rd6#
      • 1...c2
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sf6!
    • 1.Sxf3?
      • threat
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qxf3
        • 2.Rd4#
        • 2.Rd6#
      • 1...Qxh7
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rxf3
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rxe4
        • 2.Rd6#
        • 2.Qxb7#
      • 1...Bxe5
        • 2.Qxe5#
        • 2.Qxb7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sxc4
        • 2.Bxb7#
        • 2.Qxb7#
      • 1...Sxe4
        • 2.Qxb7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...bxa6
        • 2.Rd4#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qg2
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qg3
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh4
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh5
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
      • 1...Qh6
        • 2.Rd4#
      • 1...Rfg2
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rg1
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
      • 1...Rgg2
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
      • 1...Rg3
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
      • 1...Rf4
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
      • 1...Rh4
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
      • 1...Bg2
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg1
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg3
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bf4
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sb1
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sf6
        • 2.Sxf6#
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qf7#
      • 1...Sh6
        • 2.Sf6#
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
      • 1...Se7
        • 2.Sf6#
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qf7#
      • 1...b2
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...c2
        • 2.Rd4#
        • 2.Rd6#
        • 2.Qxb7#
        • 2.Qd7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sxf3+!
    • 1.Sf5?
      • threat
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qxh7
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Sxc4
        • 2.Bxb7#
      • 1...bxa6
        • 2.Se3#
        • 2.Rd4#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qg2
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qg3
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh4
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh5
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Qh6
        • 2.Se3#
        • 2.Rd4#
      • 1...Rfg2
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rg1
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rgg2
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rg3
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rf4
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rh4
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg2
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg1
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg3
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bf4
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sb1
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sh6
        • 2.Se3#
        • 2.Se7#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Se7
        • 2.Se3#
        • 2.Sxe7#
        • 2.Rd4#
        • 2.Rd6#
      • 1...b2
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...c2
        • 2.Se3#
        • 2.Rd4#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sf6!
    • 1.Se6?
      • threat
        • 2.Sc7#
        • 2.Rd4#
        • 2.Rd6#
      • 1...Rxe4
        • 2.Sc7#
        • 2.Rc5#
        • 2.Rd6#
      • 1...Bxe5
        • 2.Qxb7#
      • 1...Sxc4
        • 2.Bxb7#
      • 1...Sxe4
        • 2.Sc7#
        • 2.Rd4#
      • 1...bxa6
        • 2.Rd4#
      • 1...Sf6!
    • 1.Sxd2?
      • threat
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qxh7
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
      • 1...Rxd4
        • 2.Bxb7#
        • 2.Rd6#
      • 1...Sf6
        • 2.Rb5#
      • 1...Qg2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qg3
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh4
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh5
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
      • 1...Qh6
        • 2.Rb5#
      • 1...Rfg2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rg1
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
      • 1...Rgg2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
      • 1...Rg3
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
      • 1...Re4
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
      • 1...Rf4
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
      • 1...Rh4
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
      • 1...Bg2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg1
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg3
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bf4
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sh6
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
      • 1...Se7
        • 2.Rb5#
        • 2.Rd6#
      • 1...b2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...c2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.Rd6#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...cxd2+!
    • 1.Sd6?
      • threat
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qxh7
        • 2.Bxb7#
        • 2.Rb5#
      • 1...Bxe5
        • 2.Bxb7#
        • 2.Qxb7#
        • 2.Qf7#
        • 2.Qxg8#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sxc4
        • 2.Rb5#
      • 1...Sf6
        • 2.Rb5#
      • 1...Qg2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qg3
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh4
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Qh5
        • 2.Bxb7#
        • 2.Rb5#
      • 1...Qh6
        • 2.Bxb7#
        • 2.Rb5#
      • 1...Rfg2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rg1
        • 2.Bxb7#
        • 2.Rb5#
      • 1...Rgg2
        • 2.Bxb7#
        • 2.Rb5#
      • 1...Rg3
        • 2.Bxb7#
        • 2.Rb5#
      • 1...Re4
        • 2.Bxb7#
        • 2.Rb5#
      • 1...Rf4
        • 2.Bxb7#
        • 2.Rb5#
      • 1...Rh4
        • 2.Bxb7#
        • 2.Rb5#
      • 1...Bg2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg1
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bg3
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Bf4
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sb1
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Se4
        • 2.Bxb7#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sh6
        • 2.Bxb7#
        • 2.Rb5#
      • 1...Se7
        • 2.Rb5#
      • 1...b2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...c2
        • 2.Bxb7#
        • 2.Rb5#
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Rxd4!
    • 1.Sf6+?
      • 1...Kxe5
        • 2.Qc7#
      • 1...Sxf6!
    • 1.Rb5+?
      • 1...Kxc4
        • 2.Rc5#
      • 1...Kxe4!
    • 1.Qd7+?
      • 1...Kxe5
        • 2.Qf5#
      • 1...Kxe4!
    • 1.Qf7+?
      • 1...Kxe5
        • 2.Qf5#
      • 1...Kxe4!
  • Keys
    • 1.Qg6!
      • threat
        • 2.Rc5#
      • 1...Kxe5
        • 2.Qf5#
      • 1...Rxe4
        • 2.Qd6#
      • 1...Bxe5
        • 2.hxg8Q#
        • 2.hxg8B#
      • 1...Sxc4
        • 2.Rb5#
      • 1...Sxe4
        • 2.Qe6#

FEATURES


  • Static
    • TYPE = THREAT
    • CHANGED MATES = 2
    • ADDED MATES = 2
    • REMOVED MATES = 1
  • Sets
    • R(k);SBLOCK,XS(D)::R1(G)
    • B(e);SBLOCK,XB(E)::QAB(H),XP(n)
    • S(b);SBLOCK,XR(B)::B(F),XP(n)
    • S(b);SBLOCK,XS(D)::PXS(o)=Q
  • Tries
    • Try
      • S(C);
      • Threat
        • DUALS(6)
      • Vars
        • S(b);SBLOCK,XR(B)::B(F),XP(n)
      • Refutation
        • S(o);
    • Try
      • S(C);XP(f)
      • Threat
        • DUALS(4)
      • Vars
        • S(b);SBLOCK,XR(B)::B(F),XP(n)
        • Q(i);::R1(B)
      • Refutation
        • S(o);
    • Try
      • S(C);XP(h)
      • Threat
        • DUALS(8)
      • Vars
        • Q(i);::R1(B)
      • Refutation
        • S(b);CHECK,XS(C)
    • Try
      • S(C);
      • Threat
        • DUALS(5)
      • Vars
        • S(b);SBLOCK,XR(B)::B(F),XP(n)
      • Refutation
        • S(o);
    • Try
      • S(C);
      • Threat
        • DUALS(3)
      • Vars
        • B(e);SBLOCK,XB(E)::QAB(H),XP(n)
        • S(b);SBLOCK,XR(B)::B(F),XP(n)
        • P(n);XB(F)::R1(B)
      • Refutation
        • S(o);
    • Try
      • S(D);XS(b)
      • Threat
        • DUALS(5)
      • Vars
        • S(o);::R(G)
        • Q(i);::R(G)
      • Refutation
        • P(g);CHECK,XS(D)
    • Try
      • S(D);
      • Threat
        • DUALS(4)
      • Vars
        • S(b);XR(B)::R(G)
        • S(o);::R(G)
      • Refutation
        • R(k);XS(C)
    • Try
      • S(D);CHECK
      • Vars
        • K(l);P-FLIGHT,XB(E)::QAB(H)
      • Refutation
        • S(o);XS(D)
    • Try
      • R(G);CHECK
      • Vars
        • K(l);S_FLIGHT,XR(B)::B(F)+R(G),DCHECK
      • Refutation
        • K(l);S_FLIGHT,XS(D)
    • Try
      • Q(H);CHECK
      • Vars
        • K(l);OGATEB,P-FLIGHT,XB(E)::QAR1(H)
      • Refutation
        • K(l);S_FLIGHT,XS(D)
    • Try
      • Q(H);CHECK
      • Vars
        • K(l);OGATEB,P-FLIGHT,XB(E)::QAR1(H)
      • Refutation
        • K(l);S_FLIGHT,XS(D)
  • Actual
    • Q(H);
    • Threat
      • R1(B)
    • Vars
      • K(l);OGATEB,P-FLIGHT,XB(E)::QAR1(H)
      • R(k);SBLOCK,XS(D)::QAR1(H)
      • B(e);SBLOCK,XB(E)::PXS(o)=Q
      • S(b);SBLOCK,XR(B)::R(G)
      • S(b);SBLOCK,XS(D)::QAB1(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).