MESON Chess Problem Database
Problem Display
PID: 247029 (2r5/N6P/PQ1P4/5nK1/N1k1PBP1/R1Pp1B2/8/1r6 w - - 0 1)
Lincoln, Robert A
Uralski Problemist, 2010
#2
13 + 5
SOLUTION
- SOUND
- Sets
- 1...Ra1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rc1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rd1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Re1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rf1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rg1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rh1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rb2
- 2.Sxb2#
- 1...Rb3
- 2.Qxb3#
- 1...Rb4
- 2.Qxb4#
- 1...Rb5
- 2.Qxb5#
- 1...Rc5
- 2.Qxc5#
- 1...Rc6
- 2.Qxc6#
- 1...Rc7
- 2.Qxc7#
- 1...Ra8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rb8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rd8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Re8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rf8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...Rh8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Se3
- 2.Qd4#
- 1...Sg3
- 2.Qd4#
- 1...Sd4
- 2.Qxd4#
- 1...Sh4
- 2.Qd4#
- 1...Sxd6
- 2.Qd4#
- 1...Sh6
- 2.Qd4#
- 1...Se7
- 2.Qd4#
- 1...Sg7
- 2.Qd4#
- 1...d2
- 2.Be2#
- 1...Ra1
- Tries
- 1.Bd1?
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...Rxd1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Sxd6
- 2.Qd4#
- 1...d2
- 2.Be2#
- 1...Rb5
- 2.Qxb5#
- 1...Ra1
- 2.Sb2#
- 2.Bb3#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rc1
- 2.Sb2#
- 2.Bb3#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rb2
- 2.Sxb2#
- 1...Rb3
- 2.Bxb3#
- 2.Qxb3#
- 1...Rb4
- 2.Qxb4#
- 1...Rc5
- 2.Qxc5#
- 1...Rc6
- 2.Qxc6#
- 1...Rc7
- 2.Qxc7#
- 1...Ra8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rb8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rd8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Re8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rf8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rh8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Se3
- 2.Qd4#
- 1...Sg3
- 2.Qd4#
- 1...Sd4
- 2.Qxd4#
- 1...Sh4
- 2.Qd4#
- 1...Sh6
- 2.Qd4#
- 1...Se7
- 2.Qd4#
- 1...Sg7
- 2.Qd4#
- 1...Rxb6!
- 1...Rg8+
- 1.Bc1?
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...Rxc1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Sxd6
- 2.Qd4#
- 1...d2
- 2.Be2#
- 1...Rb5
- 2.Qxb5#
- 1...Ra1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rb2
- 2.Sxb2#
- 1...Rb3
- 2.Qxb3#
- 1...Rb4
- 2.Qxb4#
- 1...Rc5
- 2.Qxc5#
- 1...Rc6
- 2.Qxc6#
- 1...Rc7
- 2.Qxc7#
- 1...Ra8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rb8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rd8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Re8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rf8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rh8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Se3
- 2.Qd4#
- 1...Sg3
- 2.Qd4#
- 1...Sd4
- 2.Qxd4#
- 1...Sh4
- 2.Qd4#
- 1...Sh6
- 2.Qd4#
- 1...Se7
- 2.Qd4#
- 1...Sg7
- 2.Qd4#
- 1...Rxb6!
- 1...Rg8+
- 1.Bd2?
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...Sxd6
- 2.Qd4#
- 1...Rb5
- 2.Qxb5#
- 1...Ra1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rc1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rd1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Re1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rf1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rg1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rh1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rb2
- 2.Sxb2#
- 1...Rb3
- 2.Qxb3#
- 1...Rb4
- 2.Qxb4#
- 1...Rc5
- 2.Qxc5#
- 1...Rc6
- 2.Qxc6#
- 1...Rc7
- 2.Qxc7#
- 1...Ra8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rb8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rd8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Re8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rf8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rh8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Se3
- 2.Qd4#
- 1...Sg3
- 2.Qd4#
- 1...Sd4
- 2.Qxd4#
- 1...Sh4
- 2.Qd4#
- 1...Sh6
- 2.Qd4#
- 1...Se7
- 2.Qd4#
- 1...Sg7
- 2.Qd4#
- 1...Rxb6!
- 1...Rg8+
- 1.Bh2?
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...Sxd6
- 2.Qd4#
- 1...d2
- 2.Be2#
- 1...Rb5
- 2.Qxb5#
- 1...Ra1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rc1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rd1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Re1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rf1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rg1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rh1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rb2
- 2.Sxb2#
- 1...Rb3
- 2.Qxb3#
- 1...Rb4
- 2.Qxb4#
- 1...Rc5
- 2.Qxc5#
- 1...Rc6
- 2.Qxc6#
- 1...Rc7
- 2.Qxc7#
- 1...Ra8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rb8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rd8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Re8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rf8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rh8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Se3
- 2.Qd4#
- 1...Sg3
- 2.Qd4#
- 1...Sd4
- 2.Qxd4#
- 1...Sh4
- 2.Qd4#
- 1...Sh6
- 2.Qd4#
- 1...Se7
- 2.Qd4#
- 1...Sg7
- 2.Qd4#
- 1...Rxb6!
- 1...Rg8+
- 1.Bg3?
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...Sxg3
- 2.Qd4#
- 1...Sxd6
- 2.Qd4#
- 1...d2
- 2.Be2#
- 1...Rb5
- 2.Qxb5#
- 1...Ra1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rc1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rd1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Re1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rf1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rg1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rh1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rb2
- 2.Sxb2#
- 1...Rb3
- 2.Qxb3#
- 1...Rb4
- 2.Qxb4#
- 1...Rc5
- 2.Qxc5#
- 1...Rc6
- 2.Qxc6#
- 1...Rc7
- 2.Qxc7#
- 1...Ra8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rb8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rd8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Re8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rf8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rh8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Se3
- 2.Qd4#
- 1...Sd4
- 2.Qxd4#
- 1...Sh4
- 2.Qd4#
- 1...Sh6
- 2.Qd4#
- 1...Se7
- 2.Qd4#
- 1...Sg7
- 2.Qd4#
- 1...Rxb6!
- 1...Rg8+
- 1.Be5?
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...Sxd6
- 2.Qd4#
- 1...d2
- 2.Be2#
- 1...Rb5
- 2.Qxb5#
- 1...Ra1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rc1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rd1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Re1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rf1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rg1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rh1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rb2
- 2.Sxb2#
- 1...Rb3
- 2.Qxb3#
- 1...Rb4
- 2.Qxb4#
- 1...Rc5
- 2.Qxc5#
- 1...Rc6
- 2.Qxc6#
- 1...Rc7
- 2.Qxc7#
- 1...Ra8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rb8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rd8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Re8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rf8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rh8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Se3
- 2.Qd4#
- 1...Sg3
- 2.Qd4#
- 1...Sd4
- 2.Qxd4#
- 1...Sh4
- 2.Qd4#
- 1...Sh6
- 2.Qd4#
- 1...Se7
- 2.Qd4#
- 1...Sg7
- 2.Qd4#
- 1...Rxb6!
- 1...Rg8+
- 1.Qxb1?
- threat
- 2.Qa2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...Sxd6
- 2.Qa2#
- 2.Qb3#
- 2.Qb4#
- 1...Rc5
- 2.Sb2#
- 2.Sb6#
- 2.Qa2#
- 2.Qb3#
- 2.Qb4#
- 1...Sd4
- 2.Qb4#
- 1...d2
- 2.Be2#
- 2.Qf1#
- 2.Qb5#
- 1...Rb8!
- threat
- 1.exf5?
- threat
- 2.Qd4#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...Rc5
- 2.Qxc5#
- 1...Rxb6!
- threat
- 1.d7?
- threat
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...d2
- 2.Be2#
- 1...Rb5
- 2.Qxb5#
- 1...Ra1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rc1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rd1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Re1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rf1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rg1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rh1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rb2
- 2.Sxb2#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rb3
- 2.Qxb3#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rb4
- 2.Qxb4#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rc5
- 2.Qxc5#
- 1...Rc6
- 2.Qxc6#
- 1...Rc7
- 2.Qxc7#
- 2.Qe6#
- 1...Ra8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 2.Qe6#
- 1...Rb8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 2.Qe6#
- 1...Rd8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 2.Qe6#
- 1...Re8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rf8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 2.Qe6#
- 1...Rh8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 2.Qe6#
- 1...Se3
- 2.Qd4#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Sg3
- 2.Qd4#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Sd4
- 2.Qxd4#
- 1...Sh4
- 2.Qd4#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Sd6
- 2.Qd4#
- 1...Sh6
- 2.Qd4#
- 2.Qe6#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Se7
- 2.Qd4#
- 1...Sg7
- 2.Qd4#
- 2.dxc8Q#
- 2.dxc8R#
- 1...Rxb6!
- threat
- 1.h8Q?
- threat
- 2.Qxc8#
- 1...Rg8+
- 2.Qxg8#
- 1...Rxh8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Sxd6
- 2.Qbd4#
- 2.Qhd4#
- 1...d2
- 2.Be2#
- 1...Rb5
- 2.Qxb5#
- 1...Rc5
- 2.Qxc5#
- 1...Rc6
- 2.Qxc6#
- 2.Qg8#
- 1...Rc7
- 2.Qxc7#
- 1...Ra8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rb8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rd8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Re8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rf8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Sd4
- 2.Qbxd4#
- 2.Qhxd4#
- 1...Se7
- 2.Qbd4#
- 2.Qhd4#
- 1...Rxb6!
- threat
- 1.Bd1?
- Keys
- 1.Be3!
- 1...Rg8+
- 2.hxg8Q#
- 2.hxg8B#
- 1...Rxb6
- 2.Sxb6#
- 1...Sxe3
- 2.Qd4#
- 1...Sxd6
- 2.Qd4#
- 1...d2
- 2.Be2#
- 1...Rb5
- 2.Qxb5#
- 1...Ra1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rc1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rd1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Re1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rf1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rg1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rh1
- 2.Sb2#
- 2.Qb3#
- 2.Qb4#
- 2.Qb5#
- 1...Rb2
- 2.Sxb2#
- 1...Rb3
- 2.Qxb3#
- 1...Rb4
- 2.Qxb4#
- 1...Rc5
- 2.Qxc5#
- 1...Rc6
- 2.Qxc6#
- 1...Rc7
- 2.Qxc7#
- 1...Ra8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rb8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rd8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Re8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rf8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Rh8
- 2.Qc5#
- 2.Qc7#
- 2.Qc6#
- 1...Sg3
- 2.Qd4#
- 1...Sd4
- 2.Qxd4#
- 1...Sh4
- 2.Qd4#
- 1...Sh6
- 2.Qd4#
- 1...Se7
- 2.Qd4#
- 1...Sg7
- 2.Qd4#
- 1...Rg8+
- 1.Be3!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- R(a);N_GUARD::S(D),XR(a)
- R(a);N_GUARD::QAB1(J),XR(a)
- R(a);N_GUARD::QAR1(J),XR(a)
- R(e);N_GUARD::QAR1(J),XR(e)
- R(e);N_GUARD::QAR2(J),XR(e)
- R(e);N_GUARD::QAR(J),XR(e)
- R(e);CHECK,OGATE::PXR(e)=Q
- S(d);N_GUARD::QAR1(J)
- S(d);N_GUARD::QAR1(J),XS(d)
- S(d);N_GUARD,XP(K)::QAR1(J)
- P(b);OGATEB::B(C)
- Tries
- Try
- B(C);
- Vars
- R(e);CHECK,OGATE::PXR(e)=Q
- S(d);N_GUARD,XP(K)::QAR1(J)
- P(b);OGATEB::B(C)
- R(a);N_GUARD::QAB1(J),XR(a)
- R(a);N_GUARD::S(D),XR(a)
- R(a);N_GUARD::QAR1(J),XR(a)
- R(e);N_GUARD::QAR1(J),XR(e)
- R(e);N_GUARD::QAR2(J),XR(e)
- R(e);N_GUARD::QAR(J),XR(e)
- S(d);N_GUARD::QAR1(J)
- S(d);N_GUARD::QAR1(J),XS(d)
- Refutation
- R(a);XQ(J)
- Try
- B(F);
- Vars
- R(e);CHECK,OGATE::PXR(e)=Q
- S(d);N_GUARD,XP(K)::QAR1(J)
- P(b);OGATEB::B(C)
- R(a);N_GUARD::QAB1(J),XR(a)
- R(a);N_GUARD::S(D),XR(a)
- R(a);N_GUARD::QAR1(J),XR(a)
- R(e);N_GUARD::QAR1(J),XR(e)
- R(e);N_GUARD::QAR2(J),XR(e)
- R(e);N_GUARD::QAR(J),XR(e)
- S(d);N_GUARD::QAR1(J)
- S(d);N_GUARD::QAR1(J),XS(d)
- Refutation
- R(a);XQ(J)
- Try
- B(F);
- Vars
- R(e);CHECK,OGATE::PXR(e)=Q
- S(d);N_GUARD,XP(K)::QAR1(J)
- R(a);N_GUARD::QAB1(J),XR(a)
- R(a);N_GUARD::S(D),XR(a)
- R(a);N_GUARD::QAR1(J),XR(a)
- R(e);N_GUARD::QAR1(J),XR(e)
- R(e);N_GUARD::QAR2(J),XR(e)
- R(e);N_GUARD::QAR(J),XR(e)
- S(d);N_GUARD::QAR1(J)
- S(d);N_GUARD::QAR1(J),XS(d)
- Refutation
- R(a);XQ(J)
- Try
- B(F);
- Vars
- R(e);CHECK,OGATE::PXR(e)=Q
- S(d);N_GUARD,XP(K)::QAR1(J)
- P(b);OGATEB::B(C)
- R(a);N_GUARD::QAB1(J),XR(a)
- R(a);N_GUARD::S(D),XR(a)
- R(a);N_GUARD::QAR1(J),XR(a)
- R(e);N_GUARD::QAR1(J),XR(e)
- R(e);N_GUARD::QAR2(J),XR(e)
- R(e);N_GUARD::QAR(J),XR(e)
- S(d);N_GUARD::QAR1(J)
- S(d);N_GUARD::QAR1(J),XS(d)
- Refutation
- R(a);XQ(J)
- Try
- B(F);
- Vars
- R(e);CHECK,OGATE::PXR(e)=Q
- S(d);N_GUARD,XB(F)::QAR1(J)
- S(d);N_GUARD,XP(K)::QAR1(J)
- P(b);OGATEB::B(C)
- R(a);N_GUARD::QAB1(J),XR(a)
- R(a);N_GUARD::S(D),XR(a)
- R(a);N_GUARD::QAR1(J),XR(a)
- R(e);N_GUARD::QAR1(J),XR(e)
- R(e);N_GUARD::QAR2(J),XR(e)
- R(e);N_GUARD::QAR(J),XR(e)
- S(d);N_GUARD::QAR1(J)
- S(d);N_GUARD::QAR1(J),XS(d)
- Refutation
- R(a);XQ(J)
- Try
- B(F);
- Vars
- R(e);CHECK,OGATE::PXR(e)=Q
- S(d);N_GUARD,XP(K)::QAR1(J)
- P(b);OGATEB::B(C)
- R(a);N_GUARD::QAB1(J),XR(a)
- R(a);N_GUARD::S(D),XR(a)
- R(a);N_GUARD::QAR1(J),XR(a)
- R(e);N_GUARD::QAR1(J),XR(e)
- R(e);N_GUARD::QAR2(J),XR(e)
- R(e);N_GUARD::QAR(J),XR(e)
- S(d);N_GUARD::QAR1(J)
- S(d);N_GUARD::QAR1(J),XS(d)
- Refutation
- R(a);XQ(J)
- Try
- Q(J);XR(a)
- Threat
- DUALS(4)
- Vars
- R(e);CHECK,OGATE::PXR(e)=Q
- S(d);::QAR1(J)
- Refutation
- R(e);
- Try
- P(E);XS(d)
- Threat
- QAR1(J)
- Vars
- R(e);CHECK,OGATE::PXR(e)=Q
- R(e);N_GUARD,P_PINP(E)::QAR1(J),XR(e)
- Refutation
- R(a);XQ(J)
- Try
- P(K);
- Threat
- DUALS(3)
- Vars
- R(e);CHECK,OGATE::PXR(e)=Q
- P(b);OGATEB::B(C)
- R(a);N_GUARD::QAB1(J),XR(a)
- R(e);N_GUARD::QAR1(J),XR(e)
- R(e);N_GUARD::QAR2(J),XR(e)
- S(d);N_GUARD::QAR1(J),XS(d)
- S(d);N_GUARD::QAR1(J)
- Refutation
- R(a);XQ(J)
- Try
- P(M);
- Threat
- QAR(M),XR(e)
- Vars
- R(e);CHECK,N_GUARD::QAB(M),XR(e)
- P(b);OGATEB::B(C)
- R(a);N_GUARD::QAB1(J),XR(a)
- R(e);N_GUARD::QAR1(J),XR(e)
- R(e);N_GUARD::QAR(J),XR(e)
- Refutation
- R(a);XQ(J)
- Try
- Actual
- B(F);
- Vars
- R(e);CHECK,OGATE::PXR(e)=Q
- R(a);XQ(J)::S(D),XR(a)
- S(d);N_GUARD,XB(F)::QAR1(J)
- S(d);N_GUARD,XP(K)::QAR1(J)
- P(b);OGATEB::B(C)
- R(a);N_GUARD::QAB1(J),XR(a)
- R(a);N_GUARD::S(D),XR(a)
- R(a);N_GUARD::QAR1(J),XR(a)
- R(e);N_GUARD::QAR1(J),XR(e)
- R(e);N_GUARD::QAR2(J),XR(e)
- R(e);N_GUARD::QAR(J),XR(e)
- S(d);N_GUARD::QAR1(J)
- S(d);N_GUARD::QAR1(J),XS(d)
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).