MESON Chess Problem Database

Problem Display
PID: 148304 (b7/b2N1n2/Q3p3/2Pk2p1/3pq1P1/5R2/KPR4p/7B w - - 0 1)

Lancia, Ugo

La Settimana Enigmistica, 1932

(First published on Sat Jul 16 1932)

b7/b2N1n2/Q3p3/2Pk2p1/3pq1P1/5R2/KPR4p/7B

#2

9 + 9

14868 Pirnie Collection 2013

SOLUTION

  • SOUND
  • Sets
    • 1...Qxc2
      • 2.Rf5#
    • 1...Qd3
      • 2.Rxd3#
      • 2.Rf5#
    • 1...Qxf3
      • 2.Bxf3#
    • 1...Qf5
      • 2.Rxf5#
    • 1...Qg6
      • 2.Rf5#
    • 1...Qh7
      • 2.Rf5#
    • 1...Qe1
      • 2.Rf5#
    • 1...Qe2
      • 2.Rf5#
    • 1...Qe3
      • 2.Rxe3#
      • 2.Rf5#
    • 1...Qf4
      • 2.Rxf4#
    • 1...Qxg4
      • 2.Rf5#
    • 1...Qe5
      • 2.Rf5#
    • 1...Bxc5
      • 2.Rxc5#
    • 1...Bb6
      • 2.Qxa8#
    • 1...Bb8
      • 2.Qxa8#
    • 1...Bc6
      • 2.Qc4#
    • 1...Bb7
      • 2.Qxb7#
    • 1...Se5
      • 2.Sf6#
      • 2.Qd6#
    • 1...Sd6
      • 2.Qxd6#
    • 1...Sh6
      • 2.Qd6#
    • 1...Sd8
      • 2.Qd6#
    • 1...Sh8
      • 2.Qd6#
    • 1...d3
      • 2.Rxd3#
    • 1...e5
      • 2.Sf6#
  • Tries
    • 1.Ka1?
      • 1...Qxc2
        • 2.Rf5#
      • 1...Qxf3
        • 2.Bxf3#
      • 1...Qxg4
        • 2.Rf5#
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qd3
        • 2.Rxd3#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qg6
        • 2.Rf5#
      • 1...Qh7
        • 2.Rf5#
      • 1...Qe2
        • 2.Rf5#
      • 1...Qe3
        • 2.Rxe3#
        • 2.Rf5#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rf5#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
        • 2.Qa2#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qe1+!
    • 1.Kb3?
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qxf3+
        • 2.Bxf3#
      • 1...Qe3+
        • 2.Rxe3#
      • 1...Qxg4
        • 2.Rf5#
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qg6
        • 2.Rf5#
      • 1...Qh7
        • 2.Rf5#
      • 1...Qe1
        • 2.Rf5#
      • 1...Qe2
        • 2.Rf5#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rf5#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qxc2+!
    • 1.Rc1?
      • 1...Qxf3
        • 2.Bxf3#
      • 1...Qxg4
        • 2.Rf5#
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qc2
        • 2.Rf5#
      • 1...Qd3
        • 2.Rxd3#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qg6
        • 2.Rf5#
      • 1...Qh7
        • 2.Rf5#
      • 1...Qe1
        • 2.Rf5#
      • 1...Qe2
        • 2.Rf5#
      • 1...Qe3
        • 2.Rxe3#
        • 2.Rf5#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rf5#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qb1+!
    • 1.Rcc3?
      • 1...Qxf3
        • 2.Bxf3#
      • 1...Qxg4
        • 2.Rf5#
      • 1...Bxc5
        • 2.Rxc5#
      • 1...dxc3
        • 2.Rd3#
      • 1...Qc2
        • 2.Rf5#
      • 1...Qd3
        • 2.Rfxd3#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qg6
        • 2.Rf5#
      • 1...Qh7
        • 2.Rf5#
      • 1...Qe1
        • 2.Rf5#
      • 1...Qe2
        • 2.Rf5#
      • 1...Qe3
        • 2.Rfxe3#
        • 2.Rf5#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rf5#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rfxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qb1+!
    • 1.Ra3?
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qg2
        • 2.Bxg2#
      • 1...Qf3
        • 2.Bxf3#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qxh1!
    • 1.Rb3?
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qg2
        • 2.Bxg2#
      • 1...Qf3
        • 2.Bxf3#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qxh1!
    • 1.Rd3?
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qg2
        • 2.Bxg2#
      • 1...Qf3
        • 2.Bxf3#
      • 1...Bb6
        • 2.Qxa8#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qxh1!
    • 1.Re3?
      • threat
        • 2.Bxe4#
      • 1...Qxh1
        • 2.Sf6#
        • 2.Qxe6#
      • 1...d3
        • 2.Rxd3#
      • 1...Qg2
        • 2.Sf6#
        • 2.Bxg2#
        • 2.Qxe6#
      • 1...Qf3
        • 2.Sf6#
        • 2.Bxf3#
        • 2.Qxe6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...dxe3!
    • 1.Rg3?
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qg2
        • 2.Bxg2#
      • 1...Qf3
        • 2.Bxf3#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qxh1!
    • 1.Rh3?
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qg2
        • 2.Bxg2#
      • 1...Qf3
        • 2.Bxf3#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qxh1!
    • 1.Rf5+?
      • 1...Se5
        • 2.Sf6#
        • 2.Rxe5#
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...exf5!
    • 1.Rf6?
      • threat
        • 2.Qxe6#
      • 1...Bb6
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...e5
        • 2.Qc4#
        • 2.Qe6#
      • 1...d3!
    • 1.Rxf7?
      • threat
        • 2.Qd6#
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qg2
        • 2.Bxg2#
      • 1...Qf3
        • 2.Bxf3#
      • 1...Bb6
        • 2.Qxa8#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Qxh1!
    • 1.Qxe6+?
      • 1...Qxe6
        • 2.Rf5#
      • 1...Kxe6!
    • 1.b3?
      • 1...Qxf3
        • 2.Bxf3#
      • 1...Qxg4
        • 2.Rf5#
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qd3
        • 2.Rxd3#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qg6
        • 2.Rf5#
      • 1...Qh7
        • 2.Rf5#
      • 1...Qe1
        • 2.Rf5#
      • 1...Qe2
        • 2.Rf5#
      • 1...Qe3
        • 2.Rxe3#
        • 2.Rf5#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rf5#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qxc2+!
    • 1.b4?
      • 1...Qxf3
        • 2.Bxf3#
      • 1...Qxg4
        • 2.Rf5#
      • 1...Bxc5
        • 2.Rxc5#
      • 1...Qd3
        • 2.Rxd3#
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qg6
        • 2.Rf5#
      • 1...Qh7
        • 2.Rf5#
      • 1...Qe1
        • 2.Rf5#
      • 1...Qe2
        • 2.Rf5#
      • 1...Qe3
        • 2.Rxe3#
        • 2.Rf5#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rf5#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#
      • 1...Qxc2+!
  • Keys
    • 1.Ka3!
      • 1...Qd3+
        • 2.Rxd3#
      • 1...Qxf3+
        • 2.Bxf3#
      • 1...Qe3+
        • 2.Rxe3#
      • 1...Bxc5+
        • 2.Rxc5#
      • 1...Qxc2
        • 2.Rf5#
      • 1...Qxg4
        • 2.Rf5#
      • 1...Qf5
        • 2.Rxf5#
      • 1...Qg6
        • 2.Rf5#
      • 1...Qh7
        • 2.Rf5#
      • 1...Qe1
        • 2.Rf5#
      • 1...Qe2
        • 2.Rf5#
      • 1...Qf4
        • 2.Rxf4#
      • 1...Qe5
        • 2.Rf5#
      • 1...Bb6
        • 2.Qxa8#
      • 1...d3
        • 2.Rxd3#
      • 1...Bb8
        • 2.Qxa8#
      • 1...Bc6
        • 2.Qc4#
      • 1...Bb7
        • 2.Qxb7#
      • 1...Se5
        • 2.Sf6#
        • 2.Qd6#
      • 1...Sd6
        • 2.Qxd6#
      • 1...Sh6
        • 2.Qd6#
      • 1...Sd8
        • 2.Qd6#
      • 1...Sh8
        • 2.Qd6#
      • 1...e5
        • 2.Sf6#

FEATURES

  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 2
    • REMOVED MATES = 0
  • Sets
    • Q(c);P_PINP(C),XR(D)::B(A)+R(E),DCHECK
    • Q(c);OGATE,P_SPINQ(c),XR(E)::B(A),XQ(c)
    • Q(c);::B(A)+R(E),DCHECK,XQ(c)
    • Q(c);::B(A)+R(E),DCHECK
    • Q(c);OGATEB::B(A)+R(E),XQ(c)
    • Q(c);XP(F)::B(A)+R(E),DCHECK
    • Q(c);S_CUTP(f),S_CUTP(f),S_CUTS(h)::B(A)+R(E)
    • B(g);OGATE,XP(G)::R1(D),XB(g)
    • B(g);OGATE::QAB(H),XB(i)
    • B(i);SBLOCK::QAB1(H)
    • B(i);N_GUARD::QAB(H),XB(i)
    • S(h);N_GUARD::QAR1(H),XS(h)
    • S(h);N_GUARD::QAR1(H)
    • P(b);OGATEB::R(E),XP(b)
    • P(f);SBLOCK::S(I)
  • Tries
    • Try
      • K(B);P-FLIGHT
      • Vars
        • Q(c);XR(D)::B(A)+R(E),DCHECK
        • Q(c);OGATE,P_SPINQ(c),XR(E)::B(A),XQ(c)
        • Q(c);XP(F)::B(A)+R(E),DCHECK
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);::B(A)+R(E),DCHECK,XQ(c)
        • Q(c);::B(A)+R(E),DCHECK
        • Q(c);OGATEB::B(A)+R(E),XQ(c)
        • Q(c);S_CUTP(f),S_CUTP(f),S_CUTS(h)::B(A)+R(E)
        • B(g);OGATE::QAB(H),XB(i)
        • P(b);OGATEB::R(E),XP(b)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);CHECK
    • Try
      • K(B);S_FLIGHT
      • Vars
        • Q(c);CHECK,OGATEB::B(A)+R(E),XQ(c)
        • Q(c);CHECK,OGATE,P_SPINQ(c),XR(E)::B(A),XQ(c)
        • Q(c);XP(F)::B(A)+R(E),DCHECK
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);::B(A)+R(E),DCHECK,XQ(c)
        • Q(c);::B(A)+R(E),DCHECK
        • Q(c);OGATEB::B(A)+R(E),XQ(c)
        • Q(c);S_CUTP(f),S_CUTP(f),S_CUTS(h)::B(A)+R(E)
        • B(g);OGATE::QAB(H),XB(i)
        • P(b);OGATEB::R(E),XP(b)
        • B(i);SBLOCK::QAB1(H)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);CHECK,XR(D)
    • Try
      • R(D);
      • Vars
        • Q(c);OGATE,P_SPINQ(c),XR(E)::B(A),XQ(c)
        • Q(c);XP(F)::B(A)+R(E),DCHECK
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);P_PINP(C)::B(A)+R(E),DCHECK
        • Q(c);::B(A)+R(E),DCHECK,XQ(c)
        • Q(c);::B(A)+R(E),DCHECK
        • Q(c);OGATEB::B(A)+R(E),XQ(c)
        • Q(c);S_CUTP(f),S_CUTP(f),S_CUTS(h)::B(A)+R(E)
        • B(g);OGATE::QAB(H),XB(i)
        • P(b);OGATEB::R(E),XP(b)
        • B(i);SBLOCK::QAB1(H)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);CHECK
    • Try
      • R(D);
      • Vars
        • Q(c);OGATE,P_SPINQ(c),XR(E)::B(A),XQ(c)
        • Q(c);XP(F)::B(A)+R(E),DCHECK
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • P(b);OGATEB,XR(D)::R(E)
        • Q(c);P_PINP(C)::B(A)+R(E),DCHECK
        • Q(c);::B(A)+R(E),DCHECK,XQ(c)
        • Q(c);::B(A)+R(E),DCHECK
        • Q(c);OGATEB::B(A)+R(E),XQ(c)
        • Q(c);S_CUTP(f),S_CUTP(f),S_CUTS(h)::B(A)+R(E)
        • B(g);OGATE::QAB(H),XB(i)
        • P(b);OGATEB::R(E),XP(b)
        • B(i);SBLOCK::QAB1(H)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);CHECK
    • Try
      • R(E);P_PINQ(c)
      • Vars
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);OGATEB::B(A),XQ(c)
        • B(g);OGATE::QAB(H),XB(i)
        • P(b);OGATEB::R(E),XP(b)
        • B(i);SBLOCK::QAB1(H)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);N_SPINQ(c),XB(A)
    • Try
      • R(E);P_PINQ(c)
      • Vars
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);OGATEB::B(A),XQ(c)
        • B(g);OGATE::QAB(H),XB(i)
        • P(b);OGATEB::R(E),XP(b)
        • B(i);SBLOCK::QAB1(H)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);N_SPINQ(c),XB(A)
    • Try
      • R(E);P_PINP(b),P_PINQ(c)
      • Vars
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);OGATEB::B(A),XQ(c)
        • B(g);OGATE::QAB(H),XB(i)
        • B(i);SBLOCK::QAB1(H)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);N_SPINQ(c),XB(A)
    • Try
      • R(E);P_PINQ(c)
      • Threat
        • B(A),XQ(c)
      • Vars
        • P(b);OGATEB::R(E),XP(b)
        • S(h);N_GUARD::QAR1(H),XS(h)
      • Refutation
        • P(b);XR(E)
    • Try
      • R(E);P_PINQ(c)
      • Vars
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);OGATEB::B(A),XQ(c)
        • B(g);OGATE::QAB(H),XB(i)
        • P(b);OGATEB::R(E),XP(b)
        • B(i);SBLOCK::QAB1(H)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);N_SPINQ(c),XB(A)
    • Try
      • R(E);P_PINQ(c)
      • Vars
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);OGATEB::B(A),XQ(c)
        • B(g);OGATE::QAB(H),XB(i)
        • P(b);OGATEB::R(E),XP(b)
        • B(i);SBLOCK::QAB1(H)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);N_SPINQ(c),XB(A)
    • Try
      • R(E);CHECK,P_PINQ(c)
      • Vars
        • P(f);P_SPINP(f)::S(I)
      • Refutation
        • P(f);XR(E)
    • Try
      • R(E);P_PINQ(c)
      • Threat
        • QAB1(H),XP(f)
      • Vars
        • B(g);OGATE::QAB(H),XB(i)
        • B(i);SBLOCK::QAB1(H)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
      • Refutation
        • P(b);
    • Try
      • R(E);P_PINQ(c),XS(h)
      • Threat
        • QAR1(H)
      • Vars
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);OGATEB::B(A),XQ(c)
        • B(g);OGATE::QAB(H),XB(i)
        • B(i);SBLOCK::QAB1(H)
      • Refutation
        • Q(c);N_SPINQ(c),XB(A)
    • Try
      • Q(H);CHECK,XP(f)
      • Vars
        • Q(c);SBLOCK,XQ(H)::B(A)+R(E),DCHECK
      • Refutation
        • K(d);S_FLIGHT,XQ(H)
    • Try
      • P(C);
      • Vars
        • Q(c);OGATE,P_SPINQ(c),XR(E)::B(A),XQ(c)
        • Q(c);XP(F)::B(A)+R(E),DCHECK
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);::B(A)+R(E),DCHECK,XQ(c)
        • Q(c);::B(A)+R(E),DCHECK
        • Q(c);P_PINR(D)::B(A)+R(E),DCHECK
        • Q(c);OGATEB::B(A)+R(E),XQ(c)
        • Q(c);S_CUTP(f),S_CUTP(f),S_CUTS(h)::B(A)+R(E)
        • B(g);OGATE::QAB(H),XB(i)
        • P(b);OGATEB::R(E),XP(b)
        • B(i);SBLOCK::QAB1(H)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);CHECK,XR(D)
    • Try
      • P(C);
      • Vars
        • Q(c);OGATE,P_SPINQ(c),XR(E)::B(A),XQ(c)
        • Q(c);XP(F)::B(A)+R(E),DCHECK
        • B(g);OGATE,XP(G)::R1(D),XB(g)
        • Q(c);::B(A)+R(E),DCHECK,XQ(c)
        • Q(c);::B(A)+R(E),DCHECK
        • Q(c);P_PINR(D)::B(A)+R(E),DCHECK
        • Q(c);OGATEB::B(A)+R(E),XQ(c)
        • Q(c);S_CUTP(f),S_CUTP(f),S_CUTS(h)::B(A)+R(E)
        • B(g);OGATE::QAB(H),XB(i)
        • P(b);OGATEB::R(E),XP(b)
        • B(i);SBLOCK::QAB1(H)
        • B(i);N_GUARD::QAB(H),XB(i)
        • S(h);N_GUARD::QAR1(H),XS(h)
        • S(h);N_GUARD::QAR1(H)
        • P(f);SBLOCK::S(I)
      • Refutation
        • Q(c);CHECK,XR(D)
  • Actual
    • K(B);P-FLIGHT
    • Vars
      • Q(c);CHECK,OGATEB::B(A)+R(E),XQ(c)
      • Q(c);CHECK,OGATE,P_SPINQ(c),XR(E)::B(A),XQ(c)
      • B(g);CHECK,OGATE,XP(G)::R1(D),XB(g)
      • Q(c);XR(D)::B(A)+R(E),DCHECK
      • Q(c);XP(F)::B(A)+R(E),DCHECK
      • Q(c);::B(A)+R(E),DCHECK,XQ(c)
      • Q(c);::B(A)+R(E),DCHECK
      • Q(c);OGATEB::B(A)+R(E),XQ(c)
      • Q(c);S_CUTP(f),S_CUTP(f),S_CUTS(h)::B(A)+R(E)
      • B(g);OGATE::QAB(H),XB(i)
      • P(b);OGATEB::R(E),XP(b)
      • B(i);SBLOCK::QAB1(H)
      • B(i);N_GUARD::QAB(H),XB(i)
      • S(h);N_GUARD::QAR1(H),XS(h)
      • S(h);N_GUARD::QAR1(H)
      • P(f);SBLOCK::S(I)
HTML5 logo

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