MESON Chess Problem Database
Problem Display
PID: 74982 (4NKn1/r3P1Bk/8/1p3R1P/p3R1p1/1n1B1pqP/Q1pbPP2/2r5 w - - 0 1)
Tabidze, Otar
Source?, 0000
#2
12 + 12
| 6160 | A Chess Philosophy of Otar Tabidze | 1999 |
SOLUTION
- SOUND
- Sets
- 1...Sa1
- 2.Qxg8#
- 1...Sd4
- 2.Qxg8#
- 1...Sa5
- 2.Qxg8#
- 1...Sc5
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 1...Sh6
- 2.Sf6#
- 1...Sxe7
- 2.Sf6#
- 1...Sa1
- Tries
- 1.Bc4?
- threat
- 2.Bxg8#
- 1...Sxe7
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sh6
- 2.Sf6#
- 1...bxc4!
- threat
- 1.Re3?
- threat
- 2.Rfxf3#
- 2.Rf4#
- 2.Rxb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rfe5#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...Rxe7
- 2.Rfe5#
- 1...Sxe7
- 2.Sf6#
- 1...fxe2
- 2.Rff3#
- 2.Rf4#
- 2.Rxb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rfe5#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...gxh3
- 2.Rg5#
- 1...Qf4
- 2.Rxf4#
- 1...Qe5
- 2.Rfxe5#
- 1...Ra6
- 2.Rf6#
- 1...Rd7
- 2.Rd5#
- 1...Sd4
- 2.Qxg8#
- 1...Sc5
- 2.Rxc5#
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 2.Rxf6#
- 1...Sh6
- 2.Sf6#
- 1...b4
- 2.Rfxf3#
- 2.Rf4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rfe5#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...Qd6!
- threat
- 1.Rb4?
- threat
- 2.Rxf3#
- 2.Rff4#
- 2.Rfxb5#
- 2.Rc5#
- 2.Rd5#
- 2.Re5#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...Rxe7
- 2.Re5#
- 1...Sxe7
- 2.Sf6#
- 1...fxe2
- 2.Rf3#
- 1...gxh3
- 2.Rg5#
- 1...Qf4
- 2.Rfxf4#
- 1...Qe5
- 2.Rxe5#
- 1...Ra6
- 2.Rf6#
- 1...Rd7
- 2.Rd5#
- 1...Bf4
- 2.Rfxf4#
- 2.Rfxb5#
- 2.Rc5#
- 2.Rd5#
- 2.Re5#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...Bg5
- 2.Rxf3#
- 2.Rff4#
- 2.Rfxb5#
- 2.Rc5#
- 2.Rd5#
- 2.Re5#
- 2.Rxg5#
- 2.Rf6#
- 2.Rf7#
- 1...Sd4
- 2.Qxg8#
- 1...Sc5
- 2.Rxc5#
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 2.Rxf6#
- 1...Sh6
- 2.Sf6#
- 1...Qd6!
- threat
- 1.Ref4?
- threat
- 2.Rxb5#
- 2.Rc5#
- 2.Rd5#
- 2.Re5#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...Qxf4
- 2.Rxf4#
- 1...Rxe7
- 2.Re5#
- 1...Sxe7
- 2.Sf6#
- 1...gxh3
- 2.Rg5#
- 1...Ra6
- 2.Rf6#
- 1...Rd7
- 2.Rd5#
- 1...Sd4
- 2.Qxg8#
- 1...Sc5
- 2.Rxc5#
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 2.Rxf6#
- 1...Sh6
- 2.Sf6#
- 1...b4
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Re5#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...fxe2!
- threat
- 1.Ree5?
- threat
- 2.Rxf3#
- 2.Rf4#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...Qxe5
- 2.Rxe5#
- 1...Sxe7
- 2.Sf6#
- 1...fxe2
- 2.Rf3#
- 1...gxh3
- 2.Rg5#
- 1...Qf4
- 2.Rxf4#
- 1...Ra6
- 2.Rf6#
- 1...Bf4
- 2.Rxf4#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...Bg5
- 2.Rxf3#
- 2.Rf4#
- 2.Rxg5#
- 2.Rf6#
- 2.Rf7#
- 1...Sd4
- 2.Qxg8#
- 1...Sc5
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 2.Rxf6#
- 1...Sh6
- 2.Sf6#
- 1...Rd7!
- threat
- 1.Re6?
- threat
- 2.Rxf3#
- 2.Rf4#
- 2.Rxb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rfe5#
- 2.Rg5#
- 2.Rff6#
- 2.Rf7#
- 1...Sxe7
- 2.Sf6#
- 1...fxe2
- 2.Rf3#
- 1...gxh3
- 2.Rg5#
- 1...Qd6
- 2.Rd5#
- 1...Qf4
- 2.Rxf4#
- 1...Qe5
- 2.Rfxe5#
- 1...Rd7
- 2.Rd5#
- 1...Bf4
- 2.Rxf4#
- 2.Rxb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rfe5#
- 2.Rg5#
- 2.Rff6#
- 2.Rf7#
- 1...Bg5
- 2.Rxf3#
- 2.Rf4#
- 2.Rxb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rfe5#
- 2.Rxg5#
- 2.Rff6#
- 2.Rf7#
- 1...Sc5
- 2.Rxc5#
- 1...Sf6
- 2.Sxf6#
- 2.Rfxf6#
- 1...Sh6
- 2.Sf6#
- 1...b4
- 2.Rxf3#
- 2.Rf4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rd5#
- 2.Rfe5#
- 2.Rg5#
- 2.Rff6#
- 2.Rf7#
- 1...Sd4!
- threat
- 1.Rff4?
- threat
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Re5#
- 2.Re6#
- 1...Qxf4+
- 2.Rxf4#
- 1...Rxe7
- 2.Re5#
- 2.Re6#
- 2.Rxe7#
- 1...Sxe7
- 2.Sf6#
- 2.Rxe7#
- 1...fxe2
- 2.Re3#
- 1...Ra6
- 2.Re6#
- 1...Rd7
- 2.Rd4#
- 1...Be3
- 2.Rxe3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Re5#
- 2.Re6#
- 1...Bb4
- 2.Re3#
- 2.Rxb4#
- 2.Rc4#
- 2.Rd4#
- 2.Re5#
- 2.Re6#
- 1...Sd4
- 2.Rxd4#
- 2.Qxg8#
- 1...Sc5
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 1...Sh6
- 2.Sf6#
- 1...a3
- 2.Re3#
- 2.Ra4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Re5#
- 2.Re6#
- 1...b4
- 2.Re3#
- 2.Rxb4#
- 2.Rc4#
- 2.Rd4#
- 2.Re5#
- 2.Re6#
- 1...gxh3!
- threat
- 1.Rxb5?
- threat
- 2.Re3#
- 2.Rxa4#
- 2.Reb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Qf4+
- 2.Rxf4#
- 1...Rxe7
- 2.Ree5#
- 2.Re6#
- 2.Rxe7#
- 1...Sxe7
- 2.Sf6#
- 2.Rxe7#
- 1...fxe2
- 2.Re3#
- 1...gxh3
- 2.Rg4#
- 1...Qe5
- 2.Rexe5#
- 1...Ra6
- 2.Re6#
- 1...Rd7
- 2.Rd4#
- 1...Be3
- 2.Rxe3#
- 2.Rxa4#
- 2.Reb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Bb4
- 2.Re3#
- 2.Rexb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Bf4
- 2.Re3#
- 2.Rxa4#
- 2.Reb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rxf4#
- 2.Ree5#
- 2.Re6#
- 1...Sd4
- 2.Rxd4#
- 2.Qxg8#
- 1...Sc5
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 1...Sh6
- 2.Sf6#
- 1...a3
- 2.Re3#
- 2.Ra4#
- 2.Reb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Qd6!
- threat
- 1.Rc5?
- threat
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rec4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Qf4+
- 2.Rxf4#
- 1...Rxe7
- 2.Ree5#
- 2.Re6#
- 2.Rxe7#
- 1...Sxc5
- 2.Qxg8#
- 1...Sxe7
- 2.Sf6#
- 2.Rxe7#
- 1...fxe2
- 2.Re3#
- 1...gxh3
- 2.Rg4#
- 1...Qe5
- 2.Rexe5#
- 1...Ra6
- 2.Re6#
- 1...Rd7
- 2.Rd4#
- 1...Be3
- 2.Rxe3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rec4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Bb4
- 2.Re3#
- 2.Rxb4#
- 2.Rec4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Bf4
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rec4#
- 2.Rd4#
- 2.Rxf4#
- 2.Ree5#
- 2.Re6#
- 1...Sd4
- 2.Rxd4#
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 1...Sh6
- 2.Sf6#
- 1...a3
- 2.Re3#
- 2.Ra4#
- 2.Rb4#
- 2.Rec4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...b4
- 2.Re3#
- 2.Rxb4#
- 2.Rec4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Qd6!
- threat
- 1.Rd5?
- threat
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Red4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Qf4+
- 2.Rxf4#
- 1...Rxe7
- 2.Ree5#
- 2.Re6#
- 2.Rxe7#
- 1...Sxe7
- 2.Sf6#
- 2.Rxe7#
- 1...fxe2
- 2.Re3#
- 1...gxh3
- 2.Rg4#
- 1...Qd6
- 2.Re6#
- 1...Qe5
- 2.Rexe5#
- 1...Ra6
- 2.Re6#
- 1...Be3
- 2.Rxe3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Red4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Bb4
- 2.Re3#
- 2.Rxb4#
- 2.Rc4#
- 2.Red4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Bf4
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Red4#
- 2.Rxf4#
- 2.Ree5#
- 2.Re6#
- 1...Sd4
- 2.Rexd4#
- 1...Sf6
- 2.Sxf6#
- 1...Sh6
- 2.Sf6#
- 1...a3
- 2.Re3#
- 2.Ra4#
- 2.Rb4#
- 2.Rc4#
- 2.Red4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...b4
- 2.Re3#
- 2.Rxb4#
- 2.Rc4#
- 2.Red4#
- 2.Rf4#
- 2.Rxg4#
- 2.Ree5#
- 2.Re6#
- 1...Sc5!
- threat
- 1.Rfe5?
- threat
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 1...Qf4+
- 2.Rxf4#
- 1...Qxe5
- 2.Rxe5#
- 1...Sxe7
- 2.Sf6#
- 1...fxe2
- 2.Re3#
- 1...gxh3
- 2.Rg4#
- 1...Rd7
- 2.Rd4#
- 1...Be3
- 2.Rxe3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 1...Bb4
- 2.Re3#
- 2.Rxb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 1...Bf4
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rxf4#
- 1...Sd4
- 2.Rxd4#
- 2.Qxg8#
- 1...Sc5
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 1...Sh6
- 2.Sf6#
- 1...a3
- 2.Re3#
- 2.Ra4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 1...b4
- 2.Re3#
- 2.Rxb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rxg4#
- 1...Ra6!
- threat
- 1.Rg5?
- threat
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rexg4#
- 2.Ree5#
- 2.Re6#
- 1...Qf4+
- 2.Rxf4#
- 1...Rxe7
- 2.Ree5#
- 2.Re6#
- 2.Rxe7#
- 1...Sxe7
- 2.Sf6#
- 2.Rxe7#
- 1...fxe2
- 2.Re3#
- 1...gxh3
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Reg4#
- 2.Rh4#
- 2.Ree5#
- 2.Re6#
- 1...Qe5
- 2.Rexe5#
- 1...Ra6
- 2.Re6#
- 1...Rd7
- 2.Rd4#
- 1...Be3
- 2.Rxe3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rexg4#
- 2.Ree5#
- 2.Re6#
- 1...Bb4
- 2.Re3#
- 2.Rxb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rexg4#
- 2.Ree5#
- 2.Re6#
- 1...Bf4
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rxf4#
- 2.Ree5#
- 2.Re6#
- 1...Sd4
- 2.Rxd4#
- 2.Qxg8#
- 1...Sc5
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 1...Sh6
- 2.Sf6#
- 1...a3
- 2.Re3#
- 2.Ra4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rexg4#
- 2.Ree5#
- 2.Re6#
- 1...b4
- 2.Re3#
- 2.Rxb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rf4#
- 2.Rexg4#
- 2.Ree5#
- 2.Re6#
- 1...Qd6!
- threat
- 1.Rf6?
- threat
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Ref4#
- 2.Rxg4#
- 2.Re5#
- 2.Ree6#
- 1...Rxe7
- 2.Re5#
- 2.Ree6#
- 2.Rxe7#
- 1...Sxf6
- 2.Sxf6#
- 1...Sxe7
- 2.Rxe7#
- 1...fxe2
- 2.Re3#
- 1...gxh3
- 2.Rg4#
- 1...Qd6
- 2.Rd4#
- 1...Qf4
- 2.Rexf4#
- 1...Qe5
- 2.Rxe5#
- 1...Rd7
- 2.Rd4#
- 1...Be3
- 2.Rxe3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Ref4#
- 2.Rxg4#
- 2.Re5#
- 2.Ree6#
- 1...Bb4
- 2.Re3#
- 2.Rxb4#
- 2.Rc4#
- 2.Rd4#
- 2.Ref4#
- 2.Rxg4#
- 2.Re5#
- 2.Ree6#
- 1...Bf4
- 2.Re3#
- 2.Rxa4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Rexf4#
- 2.Re5#
- 2.Ree6#
- 1...Sd4
- 2.Rxd4#
- 2.Qxg8#
- 1...Sc5
- 2.Qxg8#
- 1...a3
- 2.Re3#
- 2.Ra4#
- 2.Rb4#
- 2.Rc4#
- 2.Rd4#
- 2.Ref4#
- 2.Rxg4#
- 2.Re5#
- 2.Ree6#
- 1...b4
- 2.Re3#
- 2.Rxb4#
- 2.Rc4#
- 2.Rd4#
- 2.Ref4#
- 2.Rxg4#
- 2.Re5#
- 2.Ree6#
- 1...Sh6!
- threat
- 1.Qxb3?
- threat
- 2.Qxg8#
- 1...Sxe7
- 2.Sf6#
- 1...Sf6
- 2.Sxf6#
- 1...Sh6
- 2.Sf6#
- 1...axb3!
- threat
- 1.Bc4?
- Keys
- 1.Rd4!
- threat
- 2.Rxf3#
- 2.Rff4#
- 2.Rxb5#
- 2.Rc5#
- 2.Rfd5#
- 2.Re5#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...Rxe7
- 2.Re5#
- 1...Sxd4
- 2.Qxg8#
- 1...Sxe7
- 2.Sf6#
- 1...fxe2
- 2.Rf3#
- 1...gxh3
- 2.Rg5#
- 1...Qd6
- 2.Rf6#
- 1...Qf4
- 2.Rfxf4#
- 1...Qe5
- 2.Rxe5#
- 1...Ra6
- 2.Rf6#
- 1...Bf4
- 2.Rfxf4#
- 2.Rxb5#
- 2.Rc5#
- 2.Rfd5#
- 2.Re5#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- 1...Bg5
- 2.Rxf3#
- 2.Rff4#
- 2.Rxb5#
- 2.Rc5#
- 2.Rfd5#
- 2.Re5#
- 2.Rxg5#
- 2.Rf6#
- 2.Rf7#
- 1...Sc5
- 2.Rxc5#
- 2.Qxg8#
- 1...Sf6
- 2.Sxf6#
- 2.Rxf6#
- 1...Sh6
- 2.Sf6#
- 1...b4
- 2.Rxf3#
- 2.Rff4#
- 2.Ra5#
- 2.Rb5#
- 2.Rc5#
- 2.Rfd5#
- 2.Re5#
- 2.Rg5#
- 2.Rf6#
- 2.Rf7#
- threat
- 1.Rd4!
FEATURES
- Static
- TYPE = THREAT
- CHANGED MATES = 0
- ADDED MATES = 7
- REMOVED MATES = 4
- Sets
- S(d);OGATE::QAB1(A),XS(l)
- S(l);N_GUARD::S(K),XS(l)
- S(l);N_GUARD::S(K)
- S(l);N_GUARD,XP(I)::S(K)
- Tries
- Try
- B(D);
- Threat
- B(D),XS(l)
- Vars
- S(l);N_GUARD,XP(I)::S(K)
- S(l);N_GUARD::S(K),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- P(i);XB(D)
- Try
- R(F);
- Threat
- DUALS(9)
- Vars
- R(j);XP(I)::B(D)+R(G)
- S(l);N_GUARD,XP(I)::S(K)
- P(h);XP(E)::B(D)+R(G)
- Q(f);P_PINR(G)::B(D)+R(G),XQ(f)
- Q(f);::B(D)+R(G),XQ(f)
- R(j);::B(D)+R(G)
- S(d);OGATE::QAB1(A),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- Q(f);P_PINP(I)
- Try
- R(F);
- Threat
- DUALS(9)
- Vars
- R(j);XP(I)::B(D)+R(G)
- S(l);N_GUARD,XP(I)::S(K)
- P(e);XP(B)::B(D)+R(G)
- P(h);XP(E)::B(D)+R(G)
- Q(f);P_PINR(G)::B(D)+R(G),XQ(f)
- Q(f);::B(D)+R(G),XQ(f)
- R(j);::B(D)+R(G)
- S(d);OGATE::QAB1(A),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- Q(f);P_PINP(I)
- Try
- R(F);
- Threat
- DUALS(7)
- Vars
- Q(f);OGATE,P_PINR(G),XR(F)::B(D)+R(G),XQ(f)
- R(j);XP(I)::B(D)+R(G)
- S(l);N_GUARD,XP(I)::S(K)
- P(h);XP(E)::B(D)+R(G)
- R(j);::B(D)+R(G)
- S(d);OGATE::QAB1(A),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- P(e);XP(B)
- Try
- R(F);
- Threat
- DUALS(5)
- Vars
- Q(f);OGATE,XR(F)::B(D)+R(G),XQ(f)
- S(l);N_GUARD,XP(I)::S(K)
- P(e);XP(B)::B(D)+R(G)
- P(h);XP(E)::B(D)+R(G)
- Q(f);P_PINR(G)::B(D)+R(G),XQ(f)
- R(j);::B(D)+R(G)
- S(d);OGATE::QAB1(A),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- R(j);
- Try
- R(F);
- Threat
- DUALS(9)
- Vars
- S(l);N_GUARD,XP(I)::S(K)
- P(e);XP(B)::B(D)+R(G)
- P(h);XP(E)::B(D)+R(G)
- Q(f);P_PINP(I)::B(D)+R(G)
- Q(f);P_PINR(G)::B(D)+R(G),XQ(f)
- Q(f);::B(D)+R(G),XQ(f)
- R(j);::B(D)+R(G)
- S(d);::B(D)+R(G),XS(d)
- S(l);N_GUARD::S(K)
- Refutation
- S(d);
- Try
- R(G);
- Threat
- DUALS(7)
- Vars
- Q(f);CHECK,OGATE,XR(G)::B(D)+R(F),XQ(f)
- P(e);XP(B)::B(D)+R(F)
- R(j);::B(D)+R(F)
- S(d);OGATE::QAB1(A),XS(l)
- S(l);N_GUARD::S(K),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- P(h);XP(E)
- Try
- R(G);XP(i)
- Threat
- DUALS(9)
- Vars
- Q(f);CHECK::B(D)+R(F),XQ(f)
- P(e);XP(B)::B(D)+R(F)
- P(h);XP(E)::B(D)+R(F)
- Q(f);::B(D)+R(F),XQ(f)
- R(j);::B(D)+R(F)
- S(d);OGATE::QAB1(A),XS(l)
- S(l);N_GUARD::S(K),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- Q(f);P_PINP(I)
- Try
- R(G);
- Threat
- DUALS(9)
- Vars
- Q(f);CHECK::B(D)+R(F),XQ(f)
- S(d);OGATE,XR(G)::QAB1(A),XS(l)
- P(e);XP(B)::B(D)+R(F)
- P(h);XP(E)::B(D)+R(F)
- Q(f);::B(D)+R(F),XQ(f)
- R(j);::B(D)+R(F)
- S(l);N_GUARD::S(K),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- Q(f);P_PINP(I)
- Try
- R(G);
- Threat
- DUALS(9)
- Vars
- Q(f);CHECK::B(D)+R(F),XQ(f)
- P(e);XP(B)::B(D)+R(F)
- P(h);XP(E)::B(D)+R(F)
- Q(f);P_PINP(I)::B(D)+R(F)
- Q(f);::B(D)+R(F),XQ(f)
- R(j);::B(D)+R(F)
- S(d);::B(D)+R(F),XS(d)
- S(l);N_GUARD::S(K),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- S(d);
- Try
- R(G);
- Threat
- DUALS(7)
- Vars
- Q(f);CHECK::B(D)+R(F),XQ(f)
- Q(f);OGATE,XR(G)::B(D)+R(F),XQ(f)
- S(l);N_GUARD,XP(I)::S(K)
- P(e);XP(B)::B(D)+R(F)
- P(h);XP(E)::B(D)+R(F)
- R(j);::B(D)+R(F)
- S(d);OGATE::QAB1(A),XS(l)
- S(l);N_GUARD::S(K),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- R(j);
- Try
- R(G);
- Threat
- DUALS(9)
- Vars
- Q(f);CHECK::B(D)+R(F),XQ(f)
- P(e);XP(B)::B(D)+R(F)
- Q(f);::B(D)+R(F),XQ(f)
- R(j);::B(D)+R(F)
- S(d);OGATE::QAB1(A),XS(l)
- S(l);N_GUARD::S(K),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- Q(f);P_PINP(I)
- Try
- R(G);
- Threat
- DUALS(9)
- Vars
- S(l);XR(G)::S(K),XS(l)
- S(l);OGATE,XP(I)::B(D)+R(F),XS(l)
- P(e);XP(B)::B(D)+R(F)
- P(h);XP(E)::B(D)+R(F)
- Q(f);P_PINP(I)::B(D)+R(F)
- Q(f);P_PINR(G)::B(D)+R(F),XQ(f)
- Q(f);::B(D)+R(F),XQ(f)
- R(j);::B(D)+R(F)
- S(d);OGATE::QAB1(A),XS(l)
- Refutation
- S(l);
- Try
- Q(A);XS(d)
- Threat
- QAB1(A),XS(l)
- Vars
- S(l);N_GUARD,XP(I)::S(K)
- S(l);N_GUARD::S(K),XS(l)
- S(l);N_GUARD::S(K)
- Refutation
- P(g);XQ(A)
- Try
- Actual
- R(F);
- Threat
- DUALS(9)
- Vars
- R(j);XP(I)::B(D)+R(G)
- S(d);OGATE,XR(F)::QAB1(A),XS(l)
- S(l);N_GUARD,XP(I)::S(K)
- P(e);XP(B)::B(D)+R(G)
- P(h);XP(E)::B(D)+R(G)
- Q(f);P_PINP(I)::B(D)+R(G)
- Q(f);P_PINR(G)::B(D)+R(G),XQ(f)
- Q(f);::B(D)+R(G),XQ(f)
- R(j);::B(D)+R(G)
- S(l);N_GUARD::S(K)
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).