Problem Display
PID: 103583 (6b1/5q1n/3B1k1P/p3pP2/B3P3/5PQR/8/7K w - - 0 1)

Ivanic, Petar

To Mat, 1953

6b1/5q1n/3B1k1P/p3pP2/B3P3/5PQR/8/7K

#2

9 + 6


6490 yacpdb 2009

SOLUTION


  • SOUND
  • Sets
    • 1...Qa2
      • 2.Qg6#
      • 2.Qg7#
    • 1...Qb3
      • 2.Qg6#
      • 2.Qg7#
    • 1...Qc4
      • 2.Qg6#
      • 2.Qg7#
    • 1...Qd5
      • 2.Qg6#
      • 2.Qg7#
    • 1...Qh5
      • 2.Qg7#
    • 1...Qe6
      • 2.Qg6#
      • 2.Qg7#
    • 1...Qg6
      • 2.Qxg6#
    • 1...Qe8
      • 2.Qg7#
    • 1...Qa7
      • 2.Qg6#
    • 1...Qb7
      • 2.Qg6#
    • 1...Qc7
      • 2.Qg6#
    • 1...Qd7
      • 2.Qg6#
    • 1...Qe7
      • 2.Qg6#
    • 1...Qg7
      • 2.Qxg7#
    • 1...Qf8
      • 2.Qg6#
    • 1...Sg5
      • 2.Qxe5#
    • 1...Sf8
      • 2.Qh4#
  • Tries
    • 1.Kg1?
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#
      • 1...Qa7+!
    • 1.Kg2?
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#
      • 1...Qa2+!
    • 1.Kh2?
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#
      • 1...Qa2+!
    • 1.Bd1?
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#
      • 1...a4!
    • 1.Bc2?
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#
      • 1...a4!
    • 1.Bb3?
      • 1...Qxb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#
      • 1...a4!
    • 1.Bb5?
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#
      • 1...a4!
    • 1.Bc6?
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#
      • 1...a4!
    • 1.Bd7?
      • 1...Qxd7
        • 2.Qg6#
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#
      • 1...a4!
    • 1.Be8?
      • 1...Qxe8
        • 2.Qg7#
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#
      • 1...a4!
    • 1.Ba3?
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sf8
        • 2.Qh4#
      • 1...Sg5!
    • 1.Bc5?
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sf8
        • 2.Qh4#
      • 1...Sg5!
    • 1.Be7+?
      • 1...Qxe7
        • 2.Qg6#
      • 1...Kxe7!
    • 1.Rh4?
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8!
    • 1.Rh5?
      • threat
        • 2.Qxe5#
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Qxh5+!
    • 1.Qg4?
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sf8
        • 2.Qh4#
      • 1...Sg5!
    • 1.f4?
      • threat
        • 2.fxe5#
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...exf4!
  • Keys
    • 1.Rh2!
      • 1...Qa2
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qb3
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qc4
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qd5
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qh5
        • 2.Qg7#
      • 1...Qe6
        • 2.Qg6#
        • 2.Qg7#
      • 1...Qg6
        • 2.Qxg6#
      • 1...Qe8
        • 2.Qg7#
      • 1...Qa7
        • 2.Qg6#
      • 1...Qb7
        • 2.Qg6#
      • 1...Qc7
        • 2.Qg6#
      • 1...Qd7
        • 2.Qg6#
      • 1...Qe7
        • 2.Qg6#
      • 1...Qg7
        • 2.Qxg7#
      • 1...Qf8
        • 2.Qg6#
      • 1...Sg5
        • 2.Qxe5#
      • 1...Sf8
        • 2.Qh4#

FEATURES


  • Static
    • TYPE = WAITER
    • CHANGED MATES = 0
    • ADDED MATES = 0
    • REMOVED MATES = 0
  • Sets
    • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
    • Q(d);N_GUARD::QAR1(C),XQ(d)
    • Q(d);N_GUARD::QAB1(C)
    • Q(d);N_GUARD::QAR1(C)
    • Q(d);N_GUARD::QAB1(C),XQ(d)
    • S(e);SBLOCK::QAB1(C),XP(b)
    • S(e);N_GUARD::QAB(C)
  • Tries
    • Try
      • K(A);P-FLIGHT
      • Vars
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD,P_PINQ(C)::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD,P_PINQ(C)::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • Q(d);CHECK
    • Try
      • K(A);S_FLIGHT
      • Vars
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD,P_PINQ(C)::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD,P_PINQ(C)::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • Q(d);CHECK
    • Try
      • K(A);P-FLIGHT
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • Q(d);CHECK
    • Try
      • B(E);
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • P(a);
    • Try
      • B(E);
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • P(a);
    • Try
      • B(E);
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • P(a);
    • Try
      • B(E);
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • P(a);
    • Try
      • B(E);
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • P(a);
    • Try
      • B(E);
      • Vars
        • Q(d);N_GUARD,XB(E)::QAR1(C)
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • P(a);
    • Try
      • B(E);
      • Vars
        • Q(d);N_GUARD,XB(E)::QAB1(C)
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • P(a);
    • Try
      • B(H);
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • S(e);
    • Try
      • B(H);
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • S(e);
    • Try
      • B(H);CHECK
      • Vars
        • Q(d);SBLOCK,XB(H)::QAR1(C)
      • Refutation
        • K(c);S_FLIGHT,XB(H)
    • Try
      • R(D);
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);SBLOCK::QAB1(C),XP(b)
      • Refutation
        • S(e);
    • Try
      • R(D);
      • Threat
        • QAB1(C),XP(b)
      • Vars
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
      • Refutation
        • Q(d);CHECK,XR(D)
    • Try
      • Q(C);
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
        • S(e);N_GUARD::QAB(C)
      • Refutation
        • S(e);
    • Try
      • P(B);
      • Threat
        • P(B),XP(b)
      • Vars
        • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
        • Q(d);N_GUARD::QAR1(C),XQ(d)
        • Q(d);N_GUARD::QAB1(C)
        • Q(d);N_GUARD::QAR1(C)
        • Q(d);N_GUARD,P_PINP(F)::QAR1(C)
        • Q(d);N_GUARD::QAB1(C),XQ(d)
      • Refutation
        • P(b);XP(B)
  • Actual
    • R(D);
    • Vars
      • Q(d);N_GUARD,P_PINR(D)::QAB1(C)
      • Q(d);N_GUARD::QAR1(C),XQ(d)
      • Q(d);N_GUARD::QAB1(C)
      • Q(d);N_GUARD::QAR1(C)
      • Q(d);N_GUARD::QAB1(C),XQ(d)
      • S(e);SBLOCK::QAB1(C),XP(b)
      • S(e);N_GUARD::QAB(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).