MESON Chess Problem Database
Problem Display
PID: 226832 (3r4/pQ6/1p1P1N2/P1k5/1RN1q1Rr/B1nB3p/3Pn3/K7 w - - 0 1)
Burger, Robert Eugene
US Problem Bulletin, 1982
#2
11 + 9
SOLUTION
- SOUND
- Sets
- 1...Qh1+
- 2.Rb1#
- 1...Qg2
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Qxd3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qf3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Qd5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Qf5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qc6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Qg6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qxb7
- 2.Rxb6#
- 1...Qh7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Qe3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qxc4
- 2.Qc7#
- 1...Qd4
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qe5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qe6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qe7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Qe8
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Sd4
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...a6
- 2.Qxb6#
- 1...Qh1+
- Tries
- 1.Sb2?
- threat
- 2.Rbxe4#
- 1...Kxd6
- 2.Rbxe4#
- 1...Qxd3
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qxb7
- 2.Rxb6#
- 1...Qxb4
- 2.Bxb4#
- 2.Qc7#
- 1...Qxg4
- 2.Re4#
- 2.Rf4#
- 2.Rxg4#
- 2.Qc7#
- 1...Qg2
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qf3
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qd5
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qf5
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qc6
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qg6
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qh7
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qe3
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qc4
- 2.Qc7#
- 1...Qd4
- 2.Rbxd4#
- 2.Rb5#
- 2.Qc7#
- 1...Qf4
- 2.Re4#
- 2.Rbxf4#
- 2.Qc7#
- 1...Qe5
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qe6
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qe7
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qe8
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Sd4
- 2.Rb3#
- 2.Ra4#
- 2.Rb5#
- 2.Rxb6#
- 1...Sb1
- 2.Sxe4#
- 1...Sa2
- 2.Sxe4#
- 1...Sb5
- 2.Sxe4#
- 2.Rc4#
- 1...Sd5
- 2.Sxe4#
- 1...b5
- 2.Rc4#
- 1...Qh1+!
- threat
- 1.Se5?
- threat
- 2.Rbxe4#
- 1...Qh1+
- 2.Rb1#
- 1...Qxd3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc6#
- 2.Qc7#
- 1...Qxb7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qxb4
- 2.Bxb4#
- 2.Qc6#
- 2.Qc7#
- 1...Qxg4
- 2.Re4#
- 2.Rf4#
- 2.Rxg4#
- 2.Qc6#
- 2.Qc7#
- 1...Qxe5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qg2
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qf3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qd5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qf5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc6#
- 2.Qc7#
- 1...Qc6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qxc6#
- 1...Qg6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc6#
- 2.Qc7#
- 1...Qh7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc6#
- 1...Qe3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc6#
- 2.Qc7#
- 1...Qc4
- 2.Qc6#
- 2.Qc7#
- 1...Qd4
- 2.Rbxd4#
- 2.Rb5#
- 2.Qc6#
- 2.Qc7#
- 1...Qf4
- 2.Re4#
- 2.Rbxf4#
- 2.Qc6#
- 2.Qc7#
- 1...Sd4
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rb5#
- 2.Rxb6#
- 1...Sb1
- 2.Sxe4#
- 1...Sa2
- 2.Sxe4#
- 1...Sb5
- 2.Sxe4#
- 2.Rc4#
- 1...Sd5
- 2.Sxe4#
- 2.Qc6#
- 1...b5
- 2.Rc4#
- 1...Kxd6!
- threat
- 1.Sxb6?
- threat
- 2.Rbxe4#
- 1...Qh1+
- 2.Rb1#
- 1...Kxd6
- 2.Rbxe4#
- 1...Qxd3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Qc7#
- 1...Qxb4
- 2.Bxb4#
- 2.Qc7#
- 1...Qxg4
- 2.Re4#
- 2.Rf4#
- 2.Rxg4#
- 2.Qc7#
- 1...Qg2
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 1...Qf3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 1...Qd5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 1...Qf5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Qc7#
- 1...Qc6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 1...Qg6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Qc7#
- 1...Qh7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 1...Qe3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Qc7#
- 1...Qc4
- 2.Qc7#
- 1...Qd4
- 2.Rbxd4#
- 2.Rb5#
- 2.Qc7#
- 1...Qf4
- 2.Re4#
- 2.Rbxf4#
- 2.Qc7#
- 1...Qe5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Qc7#
- 1...Qe6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Qc7#
- 1...Qe7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 1...Qe8
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 1...Sd4
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rb5#
- 1...Sb1
- 2.Sxe4#
- 1...Sa2
- 2.Sxe4#
- 1...Sb5
- 2.Sxe4#
- 2.Rc4#
- 1...Sd5
- 2.Sxe4#
- 1...Qxb7!
- threat
- 1.Sd7+?
- 1...Kd4
- 2.Sb2#
- 2.Sce5#
- 1...Rxd7!
- 1...Kd4
- 1.Rxe4?
- threat
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Rxd6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Sxe4
- 2.Qd5#
- 1...bxa5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rb5#
- 2.Rb6#
- 2.Qc7#
- 1...Rh7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Rd7
- 2.Sxd7#
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Rc8
- 2.Sd7#
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qxc8#
- 1...Sd4
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Sb1
- 2.Rxb1#
- 2.Qd5#
- 2.Qc7#
- 1...Sa2
- 2.Qd5#
- 2.Qc7#
- 1...Sb5
- 2.Qd5#
- 1...Sd5
- 2.Qxd5#
- 1...b5
- 2.Rxb5#
- 2.Qc7#
- 1...Rxe4!
- threat
- 1.Qd5+?
- 1...Qxd5
- 2.Rxb6#
- 1...Sxd5!
- 1...Qxd5
- 1.Qc7+?
- 1...Qc6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Kd4!
- 1...Qc6
- 1.dxc3?
- threat
- 2.Sxe4#
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Qh1+
- 2.Rb1#
- 1...Qxd3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qxb7
- 2.Rxb6#
- 1...Qxc4
- 2.Qc7#
- 1...Qxg4
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qd5#
- 2.Qc7#
- 1...Rxg4
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...bxa5
- 2.Sxe4#
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rb5#
- 2.Rb6#
- 2.Qb5#
- 1...Qg2
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Qf3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Qd5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qxd5#
- 1...Qf5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qc6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Qg6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qd5#
- 2.Qc7#
- 1...Qh7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qd5#
- 1...Qe3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qd5#
- 2.Qc7#
- 1...Qd4
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qf4
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qd5#
- 2.Qc7#
- 1...Qe5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qe6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qe7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qd5#
- 1...Qe8
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qd5#
- 1...Re8
- 2.Sd7#
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...Sg3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 1...b5
- 2.Sxe4#
- 2.Rxb5#
- 2.Qxb5#
- 1...Sxc3!
- threat
- 1.Sb2?
- Keys
- 1.Se3!
- threat
- 2.Rbxe4#
- 1...Qh1+
- 2.Rb1#
- 1...Kxd6
- 2.Rbxe4#
- 1...Qxd3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Rxb6#
- 2.Qc7#
- 1...Qxb7
- 2.Rxb6#
- 1...Qxe3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qxb4
- 2.Bxb4#
- 2.Qc7#
- 1...Qxg4
- 2.Re4#
- 2.Rf4#
- 2.Rxg4#
- 2.Qc7#
- 1...Qg2
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qf3
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qd5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qf5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qc6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qg6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qh7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qc4
- 2.Qc7#
- 1...Qd4
- 2.Rbxd4#
- 2.Rb5#
- 2.Qc7#
- 1...Qf4
- 2.Re4#
- 2.Rbxf4#
- 2.Qc7#
- 1...Qe5
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qe6
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 2.Qc7#
- 1...Qe7
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Qe8
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rbd4#
- 2.Rbe4#
- 2.Rbf4#
- 2.Rb5#
- 2.Rxb6#
- 1...Sd4
- 2.Rb1#
- 2.Rb2#
- 2.Rb3#
- 2.Ra4#
- 2.Rb5#
- 2.Rxb6#
- 1...Sb1
- 2.Sxe4#
- 1...Sa2
- 2.Sxe4#
- 1...Sb5
- 2.Sxe4#
- 2.Rc4#
- 1...Sd5
- 2.Sxe4#
- 1...b5
- 2.Rc4#
- threat
- 1.Se3!
FEATURES
- Static
- TYPE = THREAT
- CHANGED MATES = 0
- ADDED MATES = 5
- REMOVED MATES = 1
- Sets
- Q(d);CHECK::B(C)+R(E)
- Q(d);XQ(K)::B(C)+R(E),XP(g)
- Q(d);N_GUARD,XS(F)::QAR2(K)
- P(h);N_GUARD::QAB1(K),XP(g)
- Tries
- Try
- S(F);
- Threat
- B(C)+R(E),XQ(d)
- Vars
- K(f);S_FLIGHT,XP(I)::B(C)+R(E),XQ(d)
- Q(d);N_GUARD,XQ(K)::B(C)+R(E),XP(g)
- Q(d);N_GUARD::QAR2(K)
- S(b);N_GUARD::S(J),XQ(d)
- P(g);::B(C)+R(E),DCHECK
- Refutation
- Q(d);CHECK
- Try
- S(F);
- Threat
- B(C)+R(E),XQ(d)
- Vars
- Q(d);CHECK,N_GUARD::B(C)+R(E)
- S(b);N_GUARD::S(J),XQ(d)
- P(g);::B(C)+R(E),DCHECK
- Refutation
- K(f);S_FLIGHT,XP(I)
- Try
- S(F);XP(g)
- Threat
- B(C)+R(E),XQ(d)
- Vars
- Q(d);CHECK,N_GUARD::B(C)+R(E)
- K(f);S_FLIGHT,XP(I)::B(C)+R(E),XQ(d)
- Q(d);N_GUARD::QAR2(K)
- S(b);N_GUARD::S(J),XQ(d)
- Refutation
- Q(d);XQ(K)
- Try
- S(J);CHECK
- Refutation
- R(i);XS(J)
- Try
- R(G);XQ(d)
- Threat
- DUALS(5)
- Vars
- S(b);N_GUARD,XR(G)::QAR1(K)
- S(b);N_GUARD::QAR1(K)
- S(b);N_GUARD::QAR1(K),XS(b)
- Refutation
- R(e);XR(G)
- Try
- Q(K);CHECK
- Vars
- Q(d);XQ(K)::B(C)+R(E),XP(g)
- Refutation
- S(b);XQ(K)
- Try
- Q(K);CHECK
- Refutation
- K(f);P_SPINQ(d),S_FLIGHT
- Try
- P(B);XS(b)
- Threat
- DUALS(5)
- Vars
- Q(d);CHECK::B(C)+R(E)
- Q(d);XQ(K)::B(C)+R(E),XP(g)
- Q(d);N_GUARD,XS(F)::QAR2(K)
- Refutation
- S(a);XP(B)
- Try
- Actual
- S(F);
- Threat
- B(C)+R(E),XQ(d)
- Vars
- Q(d);CHECK,N_GUARD::B(C)+R(E)
- K(f);S_FLIGHT,XP(I)::B(C)+R(E),XQ(d)
- Q(d);N_GUARD,XQ(K)::B(C)+R(E),XP(g)
- Q(d);N_GUARD::QAR2(K)
- S(b);N_GUARD::S(J),XQ(d)
- P(g);::B(C)+R(E),DCHECK
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).