MESON Chess Problem Database
Problem Display
PID: 267744 (b1N1K3/PrprP3/P1k3B1/1pPp4/1P3b2/2R2Np1/2n3P1/7R w - - 0 1)
Ventura, Jose
El Diluvio, 1933
#2
12 + 10
SOLUTION
- SOUND
- Sets
- 1...Rb6
- 2.cxb6#
- 1...Rxa7
- 2.Sxa7#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sxb4
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Rb6
- Tries
- 1.Bxc2?
- threat
- 2.Sd4#
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...d4!
- threat
- 1.Bd3?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Be4?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...dxe4!
- 1...Rxe7+
- 1.Bf5?
- threat
- 2.Bxd7#
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rd6
- 2.cxd6#
- 1...d4!
- threat
- 1.Bh5?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Bf7?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Bh7?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Ra1?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxa1
- 2.Sd4#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rb1?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rc1?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Bxc1
- 2.Se5#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rd1?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Re1?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxe1
- 2.Sd4#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rf1?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rg1?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rh3?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rh4?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rh5?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rh7?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rh8?
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Sxb4
- 2.Sd4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Bh6
- 2.Se5#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...d4!
- 1...Rxe7+
- 1.Rxc2?
- threat
- 2.Sd4#
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...d4!
- threat
- 1.Bxc2?
- Keys
- 1.Rh6!
- 1...Rxe7+
- 2.Sxe7#
- 1...Rd8+
- 2.exd8S#
- 1...Rxa7
- 2.Sxa7#
- 1...Bxh6
- 2.Se5#
- 1...Sxb4
- 2.Sd4#
- 1...d4
- 2.Be4#
- 1...Rb6
- 2.cxb6#
- 1...Rb8
- 2.axb8S#
- 1...Rd6
- 2.cxd6#
- 1...Bc1
- 2.Se5#
- 1...Bd2
- 2.Se5#
- 1...Be3
- 2.Se5#
- 1...Be5
- 2.Sxe5#
- 1...Bg5
- 2.Se5#
- 1...Bd6
- 2.cxd6#
- 1...Sa1
- 2.Sd4#
- 1...Se1
- 2.Sd4#
- 1...Sa3
- 2.Sd4#
- 1...Se3
- 2.Sd4#
- 1...Sd4
- 2.Sxd4#
- 1...Rxe7+
- 1.Rh6!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 1
- REMOVED MATES = 0
- Sets
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);XP(I)::S(K),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD,XP(E)::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Tries
- Try
- B(H);XS(a)
- Threat
- S(D)
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- Refutation
- P(e);
- Try
- B(H);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- B(H);P_PINP(e)
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);N_SPINP(e),XB(H)
- Try
- B(H);
- Threat
- B(H),XR(i)
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- Refutation
- P(e);
- Try
- B(H);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- B(H);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- B(H);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XR(A)::S(D)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- B(c);N_GUARD,XR(A)::S(D)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XR(A)::S(D)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- S(a);N_GUARD,XP(E)::S(D)
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
- Refutation
- P(e);
- Try
- R(C);XS(a)
- Threat
- S(D)
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- Refutation
- P(e);
- Try
- Actual
- R(A);
- Vars
- R(i);CHECK,XP(J)::S(K),XR(i)
- R(i);CHECK,OGATE::PXR(i)=S
- R(g);XP(I)::S(K),XR(g)
- B(c);N_GUARD,XR(A)::S(D)
- S(a);N_GUARD,XP(E)::S(D)
- P(e);::R(A)+B(H),DCHECK
- R(g);OGATE::R(C)+P(F),XR(g)
- R(g);OGATE,P_PINS(K)::PXR(g)=S
- R(i);OGATE::R(C)+P(F),XR(i)
- B(c);N_GUARD::S(D)
- B(c);N_GUARD::S(D),XB(c)
- B(c);OGATE::R(C)+P(F),XB(c)
- S(a);N_GUARD::S(D)
- S(a);N_GUARD::S(D),XS(a)
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).