MESON Chess Problem Database
Problem Display
PID: 78403 (8/2q3B1/1R5p/1BpkP1nP/R1N3Q1/p5N1/P2p2n1/1K6 w - - 0 1)
Andrade, Barry Jack da Costa
The Field, 1950
(First published on Sat Nov 4 1950)
#2
11 + 8
| 1189 | The Tablet | 1959 |
| 3713 | Snap | 2024 |
SOLUTION
- SOUND
- Sets
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qb7
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sf4
- 2.Se3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...d1Q+
- 2.Qxd1#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- Tries
- 1.Ka1?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qb7
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qxe5+!
- 1...d1Q+
- 1.Kc2?
- 1...Se3+
- 2.Sxe3#
- 1...d1Q+
- 2.Qxd1#
- 1...d1B+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1R
- 2.Qxd1#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qb7
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Se1+!
- 1...Se3+
- 1.Bd7?
- 1...Qxb6+
- 2.Sxb6#
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxd7
- 2.Qxd7#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 2.Rd6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Be6#
- 2.Qe4#
- 1...Sh3
- 2.Be6#
- 2.Qe4#
- 1...Se6
- 2.Bxe6#
- 2.Qe4#
- 1...Sf7
- 2.Be6#
- 2.Qe4#
- 1...Sh7
- 2.Be6#
- 2.Qe4#
- 1...Qb7!
- 1...Qxb6+
- 1.Be8?
- 1...Qxb6+
- 2.Sxb6#
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qb7!
- 1...Qxb6+
- 1.Bf6?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qg7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qh7+!
- 1...d1Q+
- 1.Bh8?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qg7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qh7+!
- 1...d1Q+
- 1.Rxa3?
- threat
- 2.Rd3#
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Se1
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf4!
- threat
- 1.Rb4?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...cxb4!
- 1...d1Q+
- 1.Ra5?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Sf4!
- 1...d1Q+
- 1.Raa6?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Sf4!
- 1...d1Q+
- 1.Ra7?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxa7
- 2.Bc6#
- 2.Rd6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qd7
- 2.Rxd7#
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Sf4!
- 1...d1Q+
- 1.Ra8?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxb6
- 2.Sxb6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qd6
- 2.Rxd6#
- 1...Qb8
- 2.Bc6#
- 1...Qd8
- 2.Bc6#
- 2.Rxd8#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Qxd7#
- 1...Qe7
- 2.Bc6#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Sf4!
- 1...d1Q+
- 1.Rba6?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Bc6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb7
- 2.Rd6#
- 1...Qa5
- 2.Bc6#
- 2.Rd6#
- 2.Qd7#
- 1...Qb6
- 2.Sxb6#
- 1...Qd6
- 2.Rxd6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qd7
- 2.Sb6#
- 2.Qxd7#
- 1...Qe7
- 2.Sb6#
- 2.Bc6#
- 1...Qf7
- 2.Sb6#
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Sb6#
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qb8!
- 1...d1Q+
- 1.Rg6?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Sb6#
- 2.Bc6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qa5
- 2.Bc6#
- 2.Rd6#
- 2.Qd7#
- 1...Qb6
- 2.Sxb6#
- 1...Qd6
- 2.Rxd6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qb7
- 2.Rd6#
- 1...Qd7
- 2.Sb6#
- 2.Qxd7#
- 1...Qe7
- 2.Sb6#
- 2.Bc6#
- 1...Qf7
- 2.Sb6#
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Sb6#
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qb8!
- 1...d1Q+
- 1.Rxh6?
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxe5
- 2.Sb6#
- 2.Bc6#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sf4
- 2.Se3#
- 1...Se4
- 2.Qxe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qa5
- 2.Bc6#
- 2.Rd6#
- 2.Qd7#
- 1...Qb6
- 2.Sxb6#
- 1...Qd6
- 2.Rxd6#
- 1...Qd8
- 2.Bc6#
- 1...Qc6
- 2.Bxc6#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 1...Qb7
- 2.Rd6#
- 1...Qd7
- 2.Sb6#
- 2.Qxd7#
- 1...Qe7
- 2.Sb6#
- 2.Bc6#
- 1...Qf7
- 2.Sb6#
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Sb6#
- 2.Rd6#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qe4#
- 1...Sh3
- 2.Qe4#
- 1...Se6
- 2.Qe4#
- 1...Sf7
- 2.Qe4#
- 1...Sh7
- 2.Qe4#
- 1...Qb8!
- 1...d1Q+
- 1.Qf3+?
- 1...Kd4
- 2.Se2#
- 2.Sf5#
- 1...Se4
- 2.Qxe4#
- 2.Qd3#
- 1...Sxf3!
- 1...Kd4
- 1.Qd7+?
- 1...Qd6
- 2.Rxd6#
- 2.Qxd6#
- 1...Qxd7!
- 1...Qd6
- 1.Ka1?
- Keys
- 1.e6!
- 1...d1Q+
- 2.Qxd1#
- 1...d1R+
- 2.Qxd1#
- 1...Qxg3
- 2.Bc6#
- 1...Qxb6
- 2.Qf5#
- 1...Qxg7
- 2.Bc6#
- 2.Rd6#
- 1...Sxe6
- 2.Qf3#
- 2.Qxe6#
- 2.Qe4#
- 1...d1S
- 2.Qxd1#
- 1...d1B
- 2.Qxd1#
- 1...Qb8
- 2.Bc6#
- 1...Qf4
- 2.Bc6#
- 1...Qe5
- 2.Bc6#
- 1...Qd6
- 2.Rxd6#
- 1...Qd8
- 2.Bc6#
- 2.Qf5#
- 1...Qc6
- 2.Bxc6#
- 2.Qf5#
- 1...Qa7
- 2.Bc6#
- 2.Rd6#
- 2.Qf5#
- 1...Qb7
- 2.Rd6#
- 2.Qf5#
- 1...Qd7
- 2.Qf5#
- 1...Qe7
- 2.Bc6#
- 2.Qf5#
- 1...Qf7
- 2.Bc6#
- 2.Rd6#
- 1...Qc8
- 2.Rd6#
- 2.Qf5#
- 1...Se1
- 2.Se3#
- 1...Se3
- 2.Sxe3#
- 1...Sf4
- 2.Se3#
- 1...Sh4
- 2.Se3#
- 1...Sf3
- 2.Qxf3#
- 2.Qe4#
- 1...Sh3
- 2.Qf3#
- 2.Qe4#
- 1...Se4
- 2.Qxe4#
- 1...Sf7
- 2.Qf3#
- 2.Qe4#
- 1...Sh7
- 2.Qf3#
- 2.Qe4#
- 1...d1Q+
- 1.e6!
Anticipated by 274647(1940)
There are these versions: 132090
FEATURES
- Static
- TYPE = MUTATE
- CHANGED MATES = 2
- ADDED MATES = 2
- REMOVED MATES = 10
- Sets
- Q(h);N_GUARD,XP(H)::B(G)
- Q(h);P_PINB(G),XR(J)::S(E),XQ(h)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::R1(J)
- Q(h);N_GUARD::QAR2(F),XQ(h)
- S(b);N_GUARD::S(E)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Tries
- Try
- K(A);P-FLIGHT
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);XR(J)::S(E),XQ(h)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::R1(J)
- Q(h);N_GUARD::QAR2(F),XQ(h)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- Q(h);CHECK,XP(H)
- Try
- K(A);S_FLIGHT
- Vars
- S(b);CHECK,N_GUARD::S(E),XS(b)
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD,XP(H)::B(G)
- Q(h);XR(J)::S(E),XQ(h)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::R1(J)
- Q(h);N_GUARD::QAR2(F),XQ(h)
- S(f);N_GUARD::QAB1(F)
- Refutation
- S(b);CHECK
- Try
- B(G);
- Vars
- Q(h);CHECK,XR(J)::S(E),XQ(h)
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- Q(h);OGATE,XB(G)::QAR2(F),XQ(h)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD,P_PINR(J)::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::R1(J)
- S(b);N_GUARD::S(E),XS(b)
- Refutation
- Q(h);P_PINR(J)
- Try
- B(G);
- Vars
- Q(h);CHECK,XR(J)::S(E),XQ(h)
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD,P_PINR(J)::B(G)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::QAR2(F),XQ(h)
- Q(h);N_GUARD::R1(J)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- Q(h);P_PINR(J)
- Try
- B(K);
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- Q(h);P_PINB(G),XR(J)::S(E),XQ(h)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::R1(J)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::QAR2(F),XQ(h)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- Q(h);CHECK
- Try
- B(K);
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- Q(h);P_PINB(G),XR(J)::S(E),XQ(h)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::R1(J)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::QAR2(F),XQ(h)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- Q(h);CHECK
- Try
- R(D);XP(c)
- Threat
- R(D)
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F)
- Refutation
- S(b);
- Try
- R(D);
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- Q(h);XR(J)::S(E),XQ(h)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::R1(J)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::QAR2(F),XQ(h)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- P(d);XR(D)
- Try
- R(D);
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- Q(h);P_PINB(G),XR(J)::S(E),XQ(h)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::R1(J)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::QAR2(F),XQ(h)
- S(b);N_GUARD::S(E)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- S(b);
- Try
- R(D);
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- Q(h);P_PINB(G),XR(J)::S(E),XQ(h)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::R1(J)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::QAR2(F),XQ(h)
- S(b);N_GUARD::S(E)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- S(b);
- Try
- R(D);
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- Q(h);P_PINB(G),XR(J)::S(E),XQ(h)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::R1(J)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- S(b);N_GUARD::S(E)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- S(b);
- Try
- R(D);
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- Q(h);P_PINB(G),XR(J)::S(E),XQ(h)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::R1(J)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD::QAR2(F),XQ(h)
- S(b);N_GUARD::S(E)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- S(b);
- Try
- R(J);
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XP(H)::B(G)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD,P_PINB(G)::R1(J)
- Q(h);N_GUARD,P_PINB(G)::S(E),XQ(h)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- Q(h);P_PINB(G)
- Try
- R(J);
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD,P_PINB(G)::S(E),XQ(h)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD,P_PINB(G)::R1(J)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- Q(h);P_PINB(G)
- Try
- R(J);XP(g)
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- S(b);N_GUARD::S(E)
- S(f);N_GUARD::QAB1(F),XS(f)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD,P_PINB(G)::S(E),XQ(h)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::B(G),XQ(h)
- Q(h);N_GUARD,P_PINB(G)::R1(J)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F)
- Refutation
- Q(h);P_PINB(G)
- Try
- Q(F);CHECK
- Refutation
- S(f);XQ(F)
- Try
- Q(F);CHECK
- Refutation
- Q(h);XQ(F)
- Try
- Actual
- P(H);
- Vars
- P(a);CHECK,OGATEB::QAR(F),XQ(a)
- P(a);CHECK,OGATEB::QAR(F),XR(a)
- Q(h);N_GUARD,XS(C)::B(G)
- Q(h);N_GUARD,P_PINB(G),XR(J)::QAR2(F)
- P(a);OGATEB::QAR(F),XS(a)
- P(a);OGATEB::QAR(F),XB(a)
- Q(h);N_GUARD::B(G)
- Q(h);N_GUARD::R1(J),XQ(h)
- Q(h);N_GUARD::QAR2(F)
- S(b);N_GUARD::S(E)
- S(b);N_GUARD::S(E),XS(b)
- S(f);N_GUARD::QAB1(F),XS(f)
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).