MESON Chess Problem Database
Problem Display
PID: 107732 (7q/1R1n2N1/2Np1k2/3B4/5PQb/8/1K6/8 w - - 0 1)
Benoit, Marc
Montreal Gazette, 1972
#2
7 + 5
| 6490 | yacpdb | 2009 |
SOLUTION
- SOUND
- Sets
- 1...Qxg7
- 2.Qe6#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Bg5
- 2.Qxg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Qxg7
- Tries
- 1.Ka1?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Qa8+!
- 1...Qxg7
- 1.Kb1?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Qh7+!
- 1...Qxg7
- 1.Ka2?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Qa8+!
- 1...Qxg7
- 1.Kc2?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Qh7+!
- 1...Qxg7
- 1.Ka3?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Qa8+!
- 1...Qxg7
- 1.Kb3?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Sc5+!
- 1...Qxg7
- 1.Kc3?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Be1+!
- 1...Qxg7
- 1.Ba2?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...d5!
- 1...Qxg7
- 1.Bb3?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...d5!
- 1...Qxg7
- 1.Bc4?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...d5!
- 1...Qxg7
- 1.Be6?
- 1...Qxg7
- 2.Qf5#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...d5!
- 1...Qxg7
- 1.Bg8?
- threat
- 2.Se8#
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qxg8!
- threat
- 1.Ra7?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Qb8+!
- 1...Qxg7
- 1.Rc7?
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Qb8+!
- 1...Qxg7
- 1.Rxd7?
- threat
- 2.Rxd6#
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Qxg7
- 2.Rxd6#
- 2.Qe6#
- 1...Bg5
- 2.Qf5#
- 2.Qe6#
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 2.Rxd6#
- 2.Qe6#
- 1...Qh7
- 2.Se8#
- 2.Rxd6#
- 2.Rf7#
- 2.Qe6#
- 1...Qc8
- 2.Sh5#
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Qd8
- 2.Sh5#
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Qe8
- 2.Sxe8#
- 2.Qf5#
- 1...Qf8
- 2.Sh5#
- 2.Qf5#
- 2.Qe6#
- 1...Qg8
- 2.Sh5#
- 2.Qf5#
- 1...Qb8+!
- threat
- 1.Qxd7?
- threat
- 2.Qf5#
- 2.Qe6#
- 2.Qxd6#
- 2.Qf7#
- 1...Qxg7
- 2.Qe6#
- 1...Qh5
- 2.Qe6#
- 2.Qxd6#
- 1...Qh7
- 2.Qe6#
- 2.Qxd6#
- 2.Qf7#
- 1...Qb8
- 2.Qf5#
- 2.Qe6#
- 2.Qf7#
- 1...Qc8
- 2.Qf7#
- 1...Qd8
- 2.Qf5#
- 2.Qe6#
- 2.Qf7#
- 1...Qe8
- 2.Qf5#
- 1...Qf8
- 2.Qf5#
- 2.Qe6#
- 1...Qg8
- 2.Qf5#
- 1...Kg6!
- threat
- 1.Ka1?
- Keys
- 1.Kc1!
- 1...Qxg7
- 2.Qe6#
- 1...Bg5
- 2.Qxg5#
- 1...Qh5
- 2.Sxh5#
- 1...Qh6
- 2.Se8#
- 1...Qh7
- 2.Se8#
- 1...Qa8
- 2.Sh5#
- 1...Qb8
- 2.Sh5#
- 1...Qc8
- 2.Sh5#
- 1...Qd8
- 2.Sh5#
- 1...Qe8
- 2.Sxe8#
- 1...Qf8
- 2.Sh5#
- 1...Qg8
- 2.Sh5#
- 1...Be1
- 2.Qg5#
- 1...Bf2
- 2.Qg5#
- 1...Bg3
- 2.Qg5#
- 1...Sc5
- 2.Rf7#
- 2.Qf5#
- 1...Se5
- 2.Qf5#
- 2.Qe6#
- 1...Sb6
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sb8
- 2.Rf7#
- 2.Qf5#
- 2.Qe6#
- 1...Sf8
- 2.Se8#
- 2.Rf7#
- 2.Qf5#
- 1...Qxg7
- 1.Kc1!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- Q(e);SBLOCK,XS(G)::QAR1(C)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- Q(e);N_GUARD,P_PINR(F)::S(G)
- B(a);N_GUARD::QAB1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Tries
- Try
- K(A);S_FLIGHT
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- Q(e);CHECK
- Try
- K(A);P-FLIGHT
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- Q(e);N_GUARD,P_PINR(F)::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- Q(e);CHECK
- Try
- K(A);P-FLIGHT
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- Q(e);N_GUARD,P_PINB(D)::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- Q(e);CHECK
- Try
- K(A);P-FLIGHT
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- Q(e);N_GUARD,P_PINS(E)::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- Q(e);CHECK
- Try
- K(A);S_FLIGHT
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- Q(e);CHECK
- Try
- K(A);P-FLIGHT
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- Q(e);N_GUARD,P_PINR(F)::S(G)
- Q(e);N_GUARD,P_PINB(D)::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- S(d);CHECK
- Try
- K(A);S_FLIGHT
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- Q(e);N_GUARD,P_PINS(E)::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- B(a);CHECK
- Try
- B(D);
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- Q(e);N_GUARD,P_PINR(F)::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- P(b);
- Try
- B(D);
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- P(b);
- Try
- B(D);
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- Q(e);N_GUARD,P_PINR(F)::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- P(b);
- Try
- B(D);
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- Q(e);N_GUARD,P_PINR(F)::S(G)
- B(a);N_GUARD::QAB1(C)
- S(d);::QAR1(C)
- Refutation
- P(b);
- Try
- B(D);
- Threat
- S(G)
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Refutation
- Q(e);XB(D)
- Try
- R(F);
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- Q(e);CHECK
- Try
- R(F);
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD::S(G)
- B(a);N_GUARD::QAB1(C)
- Refutation
- Q(e);CHECK
- Try
- R(F);XS(d)
- Threat
- DUALS(4)
- Refutation
- Q(e);CHECK
- Try
- Q(C);XS(d)
- Threat
- DUALS(4)
- Vars
- Q(e);XS(G)::QAR1(C)
- Q(e);::QAR1(C)
- Refutation
- K(c);P-FLIGHT,P_PINS(G)
- Try
- Actual
- K(A);S_FLIGHT
- Vars
- Q(e);SBLOCK,XS(G)::QAR1(C)
- B(a);N_GUARD,P_PINP(B)::QAB1(C),XB(a)
- Q(e);N_GUARD::S(G),XQ(e)
- Q(e);N_GUARD,P_PINP(B)::S(G)
- Q(e);N_GUARD::S(G)
- Q(e);N_GUARD,P_PINS(E)::S(G)
- B(a);N_GUARD::QAB1(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).