MESON Chess Problem Database
Problem Display
PID: 16300 (2KR1Q2/NPp3pr/pr1pP1p1/B1p2pP1/n1Pk4/4N1P1/2BPR3/8 w - - 0 1)
Zgerski, Bronislav
Zgerski, Gennadi Bronislavovich
The Problemist, 2000
#2
14 + 11
SOLUTION
- SOUND
- Sets
- 1...Ke5
- 2.Sxf5#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rxb7
- 2.Sc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Ke5
- Tries
- 1.Kxc7?
- 1...Rc6+
- 2.Sxc6#
- 1...Ke5
- 2.Sxf5#
- 1...Rb1
- 2.Sc6#
- 2.Qxd6#
- 1...Rb2
- 2.Sc6#
- 2.Qxd6#
- 1...Rb3
- 2.Sc6#
- 2.Qxd6#
- 1...Rb4
- 2.Sc6#
- 2.Qxd6#
- 1...Rb5
- 2.Sc6#
- 2.Qxd6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...d5
- 2.Rxd5#
- 1...Rxb7+!
- 1...Rc6+
- 1.Kd7?
- 1...Ke5
- 2.Sxf5#
- 1...Rxb7
- 2.Sc6#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...c6
- 2.Qxd6#
- 1...d5!
- 1...Ke5
- 1.Kb8?
- 1...Ke5
- 2.Sxf5#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Rxb7+!
- 1...Ke5
- 1.Bb1?
- 1...Ke5
- 2.Sc2#
- 2.Sxf5#
- 1...Rxb7
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Rxb1!
- 1...Ke5
- 1.Bxf5?
- 1...Ke5
- 2.Sc2#
- 1...Rxb7
- 2.Sc6#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...gxf5!
- 1...Ke5
- 1.Bxb6?
- threat
- 2.Sc6#
- 1...Ke5
- 2.Sxf5#
- 1...c6
- 2.Sxc6#
- 2.Qxd6#
- 1...Sxb6+!
- threat
- 1.Rf2?
- 1...Rxb7
- 2.Sc6#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Ke5!
- 1...Rxb7
- 1.Rg2?
- 1...Rxb7
- 2.Sc6#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Ke5!
- 1...Rxb7
- 1.Rh2?
- 1...Rxb7
- 2.Sc6#
- 1...Rxh2
- 2.Qxg7#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Ke5!
- 1...Rxb7
- 1.Rd7?
- 1...Ke5
- 2.Sxf5#
- 1...Rxb7
- 2.Sc6#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Rh8!
- 1...Ke5
- 1.Re8?
- 1...Ke5
- 2.Sxf5#
- 1...Rxb7
- 2.Sc6#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...c6
- 2.Qxd6#
- 1...d5!
- 1...Ke5
- 1.Qxd6+?
- 1...Rxd6
- 2.Sc6#
- 1...cxd6!
- 1...Rxd6
- 1.Qe7?
- 1...Ke5
- 2.Sxf5#
- 1...Rxb7
- 2.Sc6#
- 1...d5
- 2.Rxd5#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...c6
- 2.Qxd6#
- 1...f4!
- 1...Ke5
- 1.Qxf5?
- threat
- 2.Qe4#
- 2.Qf4#
- 2.Qd5#
- 1...d5
- 2.Rxd5#
- 2.Qe4#
- 2.Qf4#
- 2.Qxd5#
- 1...Rh4
- 2.Qd5#
- 1...Sc3
- 2.Bxc3#
- 2.dxc3#
- 1...c6
- 2.Rxd6#
- 2.Qe4#
- 2.Qf4#
- 1...gxf5!
- threat
- 1.Qf7?
- 1...Ke5
- 2.Sxf5#
- 1...Rxb7
- 2.Sc6#
- 1...d5
- 2.Rxd5#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...c6!
- 1...Ke5
- 1.g4?
- 1...Rxb7
- 2.Sc6#
- 1...fxg4
- 2.Qf4#
- 1...f4
- 2.Qxf4#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Ke5!
- 1...Rxb7
- 1.e7?
- 1...Ke5
- 2.Sxf5#
- 1...Rxb7
- 2.Sc6#
- 1...f4
- 2.Qxf4#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...d5
- 2.Rxd5#
- 1...c6!
- 1...Ke5
- 1.b8Q?
- 1...Ke5
- 2.Sxf5#
- 1...f4
- 2.Qxf4#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rb7
- 2.Sc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qbxd6#
- 2.Qfxd6#
- 1...Rxb8+!
- 1...Ke5
- 1.b8S?
- 1...Ke5
- 2.Sxf5#
- 1...f4
- 2.Qxf4#
- 1...Rb1
- 2.Sac6#
- 2.Sbc6#
- 1...Rb2
- 2.Sac6#
- 2.Sbc6#
- 1...Rb3
- 2.Sac6#
- 2.Sbc6#
- 1...Rb4
- 2.Sac6#
- 2.Sbc6#
- 1...Rb5
- 2.Sac6#
- 2.Sbc6#
- 1...Rc6
- 2.Saxc6#
- 2.Sbxc6#
- 1...Rb7
- 2.Sac6#
- 2.Sbc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Rxb8+!
- 1...Ke5
- 1.b8B?
- 1...Ke5
- 2.Sxf5#
- 1...f4
- 2.Qxf4#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rb7
- 2.Sc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Rxb8+!
- 1...Ke5
- 1.b8R?
- 1...Ke5
- 2.Sxf5#
- 1...f4
- 2.Qxf4#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rb7
- 2.Sc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Rxb8+!
- 1...Ke5
- 1.Kxc7?
- Keys
- 1.Re1!
- 1...Ke5
- 2.Sxf5#
- 1...Rxb7
- 2.Sc6#
- 1...Rb1
- 2.Sc6#
- 1...Rb2
- 2.Sc6#
- 1...Rb3
- 2.Sc6#
- 1...Rb4
- 2.Sc6#
- 1...Rb5
- 2.Sc6#
- 1...Rc6
- 2.Sxc6#
- 1...Rh1
- 2.Qxg7#
- 1...Rh2
- 2.Qxg7#
- 1...Rh3
- 2.Qxg7#
- 1...Rh4
- 2.Qxg7#
- 1...Rh5
- 2.Qxg7#
- 1...Rh6
- 2.Qxg7#
- 1...Rh8
- 2.Qxg7#
- 1...Sb2
- 2.Bc3#
- 1...Sc3
- 2.Bxc3#
- 1...f4
- 2.Qxf4#
- 1...d5
- 2.Rxd5#
- 1...c6
- 2.Qxd6#
- 1...Ke5
- 1.Re1!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(f);N_GUARD,XP(K)::S(J)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Tries
- Try
- K(L);P-FLIGHT,XP(i)
- Vars
- R(f);CHECK,N_GUARD::S(J),XR(f)
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(g);OGATE::R1(M),XP(g)
- Refutation
- R(f);CHECK,XP(K)
- Try
- K(L);N_PINP(g),S_FLIGHT
- Vars
- K(b);S_FLIGHT::R(C)+S(D),XP(d)
- R(f);N_GUARD,XP(K)::S(J)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- P(g);
- Try
- K(L);P-FLIGHT,P_SPINP(K)
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD,N_PINP(K)::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- R(f);CHECK,XP(K)
- Try
- B(A);
- Vars
- R(f);N_GUARD,XP(K)::S(J)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- R(f);XB(A)
- Try
- B(A);XP(d)
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D)
- R(f);N_GUARD,XP(K)::S(J)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- P(h);XB(A)
- Try
- B(G);N_PINP(g),P_PINP(c),XR(f)
- Threat
- S(J)
- Vars
- K(b);N_SPINP(c),S_FLIGHT::R(C)+S(D),XP(d)
- Refutation
- S(a);CHECK,N_SPINP(c),P_SPINP(g),XB(G)
- Try
- R(C);
- Vars
- R(f);N_GUARD,XP(K)::S(J)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- K(b);N_SPINP(g),S_FLIGHT
- Try
- R(C);
- Vars
- R(f);N_GUARD,XP(K)::S(J)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- K(b);N_SPINP(g),S_FLIGHT
- Try
- R(C);
- Vars
- R(f);N_GUARD,XP(K)::S(J)
- R(k);N_GUARD,XR(C)::QAB(N),XP(j)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- K(b);N_SPINP(g),S_FLIGHT
- Try
- R(M);
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- R(f);N_GUARD,XP(K)::S(J)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- R(k);P_PINQ(N)
- Try
- R(M);N_PINP(g)
- Vars
- K(b);S_FLIGHT::R(C)+S(D),XP(d)
- R(f);N_GUARD,XP(K)::S(J)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- P(g);
- Try
- Q(N);CHECK,XP(g)
- Vars
- R(f);P_SPINR(f),XQ(N)::S(J)
- Refutation
- P(i);P_SPINP(i),XQ(N)
- Try
- Q(N);
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- R(f);N_GUARD,XP(K)::S(J)
- P(g);OGATE::R1(M),XP(g)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- R(k);N_GUARD,P_PINR(M)::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- P(d);
- Try
- Q(N);XP(d)
- Threat
- DUALS(3)
- Vars
- R(k);::QAR1(N)
- Refutation
- P(h);XQ(N)
- Try
- Q(N);
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- R(f);N_GUARD,XP(K)::S(J)
- P(g);OGATE::R1(M),XP(g)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- R(k);N_GUARD,P_PINR(M)::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- Refutation
- P(i);
- Try
- P(E);
- Vars
- R(f);N_GUARD,XP(K)::S(J)
- P(d);OGATE,XP(E)::QAR2(N)
- P(d);OGATE::QAR2(N),XP(d)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- K(b);N_SPINP(g),S_FLIGHT
- Try
- P(I);
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- R(f);N_GUARD,XP(K)::S(J)
- P(d);OGATE::QAR2(N),XP(d)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(g);OGATE::R1(M),XP(g)
- Refutation
- P(i);
- Try
- P(K);
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- P(d);OGATE::QAR2(N),XP(d)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(g);OGATE::R1(M),XP(g)
- Refutation
- R(f);CHECK,XQ(K)
- Try
- P(K);
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- P(d);OGATE::QAR2(N),XP(d)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- R(f);CHECK,XS(K)
- Try
- P(K);
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- P(d);OGATE::QAR2(N),XP(d)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- R(f);CHECK,XB(K)
- Try
- P(K);
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- P(d);OGATE::QAR2(N),XP(d)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
- Refutation
- R(f);CHECK,XR(K)
- Try
- Actual
- R(C);
- Vars
- K(b);N_SPINP(g),S_FLIGHT::R(C)+S(D),XP(d)
- R(f);N_GUARD,XP(K)::S(J)
- R(f);N_GUARD::S(J)
- R(f);N_GUARD::S(J),XR(f)
- R(k);N_GUARD::QAB(N),XP(j)
- S(a);N_GUARD::B(G)
- S(a);N_GUARD::B(G),XS(a)
- P(d);OGATE::QAR2(N),XP(d)
- P(g);OGATE::R1(M),XP(g)
- P(i);N_GUARD,S_CUTR(f)::QAR2(N),XP(g)
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).