MESON Chess Problem Database
Problem Display
PID: 80006 (4K3/2PP2p1/R3N1N1/4q3/1nP1k1P1/Rp2B3/3QB3/3n4 w - - 0 1)
Savournin, Jacques
1st HM., Segal MT, 1962
#2
12 + 6
SOLUTION
- SOUND
- Sets
- 1...Qa1
- 2.Sc5#
- 2.Sg5#
- 1...Qb2
- 2.Sc5#
- 2.Sg5#
- 1...Qh2
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qc3
- 2.Sc5#
- 2.Sg5#
- 1...Qg3
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qd4
- 2.Sg5#
- 2.Qxd4#
- 1...Qf4
- 2.Sc5#
- 2.Qd4#
- 1...Qd6
- 2.Sg5#
- 1...Qf6
- 2.Sc5#
- 1...Qxc7
- 2.Sg5#
- 2.Qd4#
- 1...Qa5
- 2.Qd4#
- 1...Qb5
- 2.Qd4#
- 1...Qc5
- 2.Sxc5#
- 1...Qf5
- 2.Qd4#
- 1...Qg5
- 2.Sxg5#
- 2.Qd4#
- 1...Qh5
- 2.Qd4#
- 1...Qxe6+
- 2.Rxe6#
- 1...Sa2
- 2.Qd3#
- 1...Sc2
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sxa6
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...Qa1
- Tries
- 1.Bg1?
- 1...Qxe6+
- 2.Rxe6#
- 1...Qxc7
- 2.Sg5#
- 2.Qd4#
- 1...Sxa6
- 2.Qd3#
- 1...Qa1
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qb2
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qh2
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qc3
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qg3
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qd4
- 2.Sg5#
- 2.Qf4#
- 2.Qxd4#
- 1...Qf4
- 2.Sc5#
- 2.Qxf4#
- 2.Qd4#
- 1...Qd6
- 2.Sg5#
- 1...Qf6
- 2.Sc5#
- 1...Qa5
- 2.Qf4#
- 2.Qd4#
- 1...Qb5
- 2.Qf4#
- 2.Qd4#
- 1...Qc5
- 2.Sxc5#
- 2.Qf4#
- 1...Qd5
- 2.Qf4#
- 1...Qf5
- 2.Qd4#
- 1...Qg5
- 2.Sxg5#
- 2.Qd4#
- 1...Qh5
- 2.Qf4#
- 2.Qd4#
- 1...Sb2
- 2.Qe3#
- 1...Sc3
- 2.Qe3#
- 1...Se3
- 2.Qxe3#
- 1...Sa2
- 2.Qd3#
- 1...Sc2
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...b2
- 2.Bf3#
- 1...Sf2!
- 1...Qxe6+
- 1.Bf2?
- 1...Qxe6+
- 2.Rxe6#
- 1...Qxc7
- 2.Sg5#
- 2.Qd4#
- 1...Sxa6
- 2.Qd3#
- 1...Qa1
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qb2
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qh2
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qc3
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qg3
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qd4
- 2.Sg5#
- 2.Qf4#
- 2.Qxd4#
- 1...Qf4
- 2.Sc5#
- 2.Qxf4#
- 2.Qd4#
- 1...Qd6
- 2.Sg5#
- 1...Qf6
- 2.Sc5#
- 1...Qa5
- 2.Qf4#
- 2.Qd4#
- 1...Qb5
- 2.Qf4#
- 2.Qd4#
- 1...Qc5
- 2.Sxc5#
- 2.Qf4#
- 1...Qd5
- 2.Qf4#
- 1...Qf5
- 2.Qd4#
- 1...Qg5
- 2.Sxg5#
- 2.Qd4#
- 1...Qh5
- 2.Qf4#
- 2.Qd4#
- 1...Sb2
- 2.Qe3#
- 1...Sc3
- 2.Qe3#
- 1...Se3
- 2.Qxe3#
- 1...Sa2
- 2.Qd3#
- 1...Sc2
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...b2
- 2.Bf3#
- 1...Sxf2!
- 1...Qxe6+
- 1.Bd4?
- 1...Qxe6+
- 2.Rxe6#
- 1...Qxd4
- 2.Sg5#
- 2.Qf4#
- 2.Qxd4#
- 1...Qxc7
- 2.Sg5#
- 1...Sxa6
- 2.Qd3#
- 1...Qh2
- 2.Sc5#
- 2.Sg5#
- 1...Qg3
- 2.Sc5#
- 2.Sg5#
- 1...Qf4
- 2.Sc5#
- 2.Qxf4#
- 1...Qd6
- 2.Sg5#
- 1...Qf6
- 2.Sc5#
- 1...Qa5
- 2.Qf4#
- 1...Qb5
- 2.Qf4#
- 1...Qc5
- 2.Sxc5#
- 2.Qf4#
- 1...Qd5
- 2.Qf4#
- 1...Qg5
- 2.Sxg5#
- 1...Qh5
- 2.Qf4#
- 1...Sb2
- 2.Qe3#
- 1...Sf2
- 2.Qe3#
- 1...Sc3
- 2.Qe3#
- 1...Se3
- 2.Qxe3#
- 1...Sa2
- 2.Qd3#
- 1...Sc2
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...b2
- 2.Bf3#
- 1...Qf5!
- 1...Qxe6+
- 1.Bf4?
- 1...Qxe6+
- 2.Rxe6#
- 1...Qxf4
- 2.Sc5#
- 2.Qxf4#
- 2.Qd4#
- 1...Qxc7
- 2.Sg5#
- 2.Qd4#
- 1...Sxa6
- 2.Qd3#
- 1...Qa1
- 2.Sc5#
- 2.Sg5#
- 1...Qb2
- 2.Sc5#
- 2.Sg5#
- 1...Qc3
- 2.Sc5#
- 2.Sg5#
- 1...Qd4
- 2.Sg5#
- 2.Qxd4#
- 1...Qd6
- 2.Sg5#
- 1...Qf6
- 2.Sc5#
- 1...Qa5
- 2.Qd4#
- 1...Qb5
- 2.Qd4#
- 1...Qc5
- 2.Sxc5#
- 1...Qf5
- 2.Qd4#
- 1...Qg5
- 2.Sxg5#
- 2.Qd4#
- 1...Qh5
- 2.Qd4#
- 1...Sb2
- 2.Qe3#
- 1...Sf2
- 2.Qe3#
- 1...Sc3
- 2.Qe3#
- 1...Se3
- 2.Qxe3#
- 1...Sa2
- 2.Qd3#
- 1...Sc2
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...b2
- 2.Bf3#
- 1...Qd5!
- 1...Qxe6+
- 1.Bc5?
- 1...Qxe6+
- 2.Rxe6#
- 1...Qxc7
- 2.Sg5#
- 2.Qd4#
- 1...Qxc5
- 2.Sxc5#
- 2.Qf4#
- 1...Sxa6
- 2.Qd3#
- 1...Qd5
- 2.Qf4#
- 1...Qa1
- 2.Sg5#
- 2.Qf4#
- 1...Qb2
- 2.Sg5#
- 2.Qf4#
- 1...Qh2
- 2.Sg5#
- 2.Qd4#
- 1...Qc3
- 2.Sg5#
- 2.Qf4#
- 1...Qg3
- 2.Sg5#
- 2.Qd4#
- 1...Qd4
- 2.Sg5#
- 2.Qf4#
- 2.Qxd4#
- 1...Qf4
- 2.Qxf4#
- 2.Qd4#
- 1...Qd6
- 2.Sg5#
- 1...Qf5
- 2.Qd4#
- 1...Qg5
- 2.Sxg5#
- 2.Qd4#
- 1...Qh5
- 2.Qf4#
- 2.Qd4#
- 1...Sb2
- 2.Qe3#
- 1...Sf2
- 2.Qe3#
- 1...Sc3
- 2.Qe3#
- 1...Se3
- 2.Qxe3#
- 1...Sa2
- 2.Qd3#
- 1...Sc2
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...b2
- 2.Bf3#
- 1...Qf6!
- 1...Qxe6+
- 1.Bg5?
- 1...Qxe6+
- 2.Rxe6#
- 1...Qxc7
- 2.Qd4#
- 1...Qxg5
- 2.Sxg5#
- 2.Qd4#
- 1...Sxa6
- 2.Qd3#
- 1...Qd5
- 2.Qf4#
- 1...Qa1
- 2.Sc5#
- 2.Qf4#
- 1...Qb2
- 2.Sc5#
- 2.Qf4#
- 1...Qh2
- 2.Sc5#
- 2.Qd4#
- 1...Qc3
- 2.Sc5#
- 2.Qf4#
- 1...Qg3
- 2.Sc5#
- 2.Qd4#
- 1...Qd4
- 2.Qf4#
- 2.Qxd4#
- 1...Qf4
- 2.Sc5#
- 2.Qxf4#
- 2.Qd4#
- 1...Qf6
- 2.Sc5#
- 1...Qa5
- 2.Qf4#
- 2.Qd4#
- 1...Qb5
- 2.Qf4#
- 2.Qd4#
- 1...Qc5
- 2.Sxc5#
- 2.Qf4#
- 1...Qf5
- 2.Qd4#
- 1...Sb2
- 2.Qe3#
- 1...Sf2
- 2.Qe3#
- 1...Sc3
- 2.Qe3#
- 1...Se3
- 2.Qxe3#
- 1...Sa2
- 2.Qd3#
- 1...Sc2
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...b2
- 2.Bf3#
- 1...Qd6!
- 1...Qxe6+
- 1.Bb6?
- 1...Qxc7
- 2.Sg5#
- 2.Qd4#
- 1...Sxa6
- 2.Qd3#
- 1...Qd5
- 2.Qf4#
- 1...Qa1
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qb2
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qh2
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qc3
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qg3
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qd4
- 2.Sg5#
- 2.Qf4#
- 2.Qxd4#
- 1...Qf4
- 2.Sc5#
- 2.Qxf4#
- 2.Qd4#
- 1...Qd6
- 2.Sg5#
- 1...Qf6
- 2.Sc5#
- 1...Qa5
- 2.Qf4#
- 2.Qd4#
- 1...Qb5
- 2.Qf4#
- 2.Qd4#
- 1...Qc5
- 2.Sxc5#
- 2.Qf4#
- 1...Qf5
- 2.Qd4#
- 1...Qg5
- 2.Sxg5#
- 2.Qd4#
- 1...Qh5
- 2.Qf4#
- 2.Qd4#
- 1...Sb2
- 2.Qe3#
- 1...Sf2
- 2.Qe3#
- 1...Sc3
- 2.Qe3#
- 1...Se3
- 2.Qxe3#
- 1...Sa2
- 2.Qd3#
- 1...Sc2
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...b2
- 2.Bf3#
- 1...Qxe6+!
- 1...Qxc7
- 1.Bh6?
- 1...Qxe6+
- 2.Rxe6#
- 1...Qxc7
- 2.Sg5#
- 2.Qd4#
- 1...Sxa6
- 2.Qd3#
- 1...Qd5
- 2.Qf4#
- 1...Qa1
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qb2
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qh2
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qc3
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qg3
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qd4
- 2.Sg5#
- 2.Qf4#
- 2.Qxd4#
- 1...Qf4
- 2.Sc5#
- 2.Qxf4#
- 2.Qd4#
- 1...Qd6
- 2.Sg5#
- 1...Qf6
- 2.Sc5#
- 1...Qa5
- 2.Qf4#
- 2.Qd4#
- 1...Qb5
- 2.Qf4#
- 2.Qd4#
- 1...Qc5
- 2.Sxc5#
- 2.Qf4#
- 1...Qf5
- 2.Qd4#
- 1...Qg5
- 2.Sxg5#
- 2.Qd4#
- 1...Qh5
- 2.Qf4#
- 2.Qd4#
- 1...Sb2
- 2.Qe3#
- 1...Sf2
- 2.Qe3#
- 1...Sc3
- 2.Qe3#
- 1...Se3
- 2.Qxe3#
- 1...Sa2
- 2.Qd3#
- 1...Sc2
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...b2
- 2.Bf3#
- 1...gxh6!
- 1...Qxe6+
- 1.R3a5?
- threat
- 2.Rxe5#
- 1...Qxe6+
- 2.Rxe6#
- 1...Qxc7
- 2.Sg5#
- 2.Qd4#
- 1...Qxa5
- 2.Qd4#
- 1...Qa1
- 2.Sc5#
- 2.Sg5#
- 1...Qb2
- 2.Sc5#
- 2.Sg5#
- 1...Qh2
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qc3
- 2.Sc5#
- 2.Sg5#
- 1...Qg3
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qd4
- 2.Sg5#
- 2.Qxd4#
- 1...Qf4
- 2.Sc5#
- 2.Qd4#
- 1...Qd6
- 2.Sg5#
- 1...Qf6
- 2.Sc5#
- 1...Qb5
- 2.Qd4#
- 1...Qc5
- 2.Sxc5#
- 1...Qf5
- 2.Qd4#
- 1...Qg5
- 2.Sxg5#
- 2.Qd4#
- 1...Qh5
- 2.Qd4#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...Qd5!
- threat
- 1.Bg1?
- Keys
- 1.Ba7!
- 1...Qxe6+
- 2.Rxe6#
- 1...Qxc7
- 2.Sg5#
- 2.Qd4#
- 1...Sxa6
- 2.Qd3#
- 1...Qd5
- 2.Qf4#
- 1...Qa1
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qb2
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qh2
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qc3
- 2.Sc5#
- 2.Sg5#
- 2.Qf4#
- 1...Qg3
- 2.Sc5#
- 2.Sg5#
- 2.Qd4#
- 1...Qd4
- 2.Sg5#
- 2.Qf4#
- 2.Qxd4#
- 1...Qf4
- 2.Sc5#
- 2.Qxf4#
- 2.Qd4#
- 1...Qd6
- 2.Sg5#
- 1...Qf6
- 2.Sc5#
- 1...Qa5
- 2.Qf4#
- 2.Qd4#
- 1...Qb5
- 2.Qf4#
- 2.Qd4#
- 1...Qc5
- 2.Sxc5#
- 2.Qf4#
- 1...Qf5
- 2.Qd4#
- 1...Qg5
- 2.Sxg5#
- 2.Qd4#
- 1...Qh5
- 2.Qf4#
- 2.Qd4#
- 1...Sb2
- 2.Qe3#
- 1...Sf2
- 2.Qe3#
- 1...Sc3
- 2.Qe3#
- 1...Se3
- 2.Qxe3#
- 1...Sa2
- 2.Qd3#
- 1...Sc2
- 2.Qd3#
- 1...Sd3
- 2.Qxd3#
- 1...Sd5
- 2.Qd3#
- 1...Sc6
- 2.Qd3#
- 1...b2
- 2.Bf3#
- 1...Qxe6+
- 1.Ba7!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 6
- REMOVED MATES = 4
- Sets
- Q(e);N_PINS(H)::S(H)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- Q(e);N_GUARD,N_PINS(H),P_PINP(K)::QAR1(A)
- Q(e);N_PINS(H)::S(H),XQ(e)
- Q(e);N_GUARD,N_PINS(H),P_PINS(I)::QAR1(A)
- Q(e);CHECK,OGATE,XS(H)::R(G),XQ(e)
- S(c);N_GUARD::QAB1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- S(c);N_GUARD,XR(G)::QAB1(A)
- Tries
- Try
- B(D);
- Vars
- Q(e);CHECK,OGATE,XS(H)::R(G),XQ(e)
- S(c);N_GUARD,XR(G)::QAB1(A)
- Q(e);N_PINS(H)::S(H)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- S(a);N_GUARD::QAR1(A)
- S(a);N_GUARD::QAR1(A),XS(a)
- S(c);N_GUARD::QAB1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- P(b);::B(B)
- Refutation
- S(a);
- Try
- B(D);
- Vars
- Q(e);CHECK,OGATE,XS(H)::R(G),XQ(e)
- S(c);N_GUARD,XR(G)::QAB1(A)
- Q(e);N_PINS(H)::S(H)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- S(a);N_GUARD::QAR1(A)
- S(a);N_GUARD::QAR1(A),XS(a)
- S(c);N_GUARD::QAB1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- P(b);::B(B)
- Refutation
- S(a);XB(D)
- Try
- B(D);
- Vars
- Q(e);CHECK,OGATE,XS(H)::R(G),XQ(e)
- Q(e);N_PINS(H),XP(J)::S(H)
- S(c);N_GUARD,XR(G)::QAB1(A)
- Q(e);N_PINS(H)::S(H)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- Q(e);N_GUARD,N_PINS(H),P_PINP(K)::QAR1(A)
- Q(e);N_PINS(H)::S(H),XQ(e)
- Q(e);N_GUARD,N_PINS(H),P_PINS(I)::QAR1(A)
- S(a);N_GUARD::QAR1(A)
- S(a);N_GUARD::QAR1(A),XS(a)
- S(c);N_GUARD::QAB1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- P(b);::B(B)
- Refutation
- Q(e);N_PINS(H)
- Try
- B(D);
- Vars
- Q(e);CHECK,OGATE,XS(H)::R(G),XQ(e)
- S(c);N_GUARD,XR(G)::QAB1(A)
- Q(e);N_PINS(H)::S(H)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- Q(e);N_GUARD,N_PINS(H),P_PINP(K)::QAR1(A)
- Q(e);N_PINS(H)::S(H),XQ(e)
- Q(e);N_GUARD,N_PINS(H),P_PINS(I)::QAR1(A)
- S(a);N_GUARD::QAR1(A)
- S(a);N_GUARD::QAR1(A),XS(a)
- S(c);N_GUARD::QAB1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- P(b);::B(B)
- Refutation
- Q(e);N_PINS(H)
- Try
- B(D);
- Vars
- Q(e);CHECK,OGATE,XS(H)::R(G),XQ(e)
- S(c);N_GUARD,XR(G)::QAB1(A)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- Q(e);N_PINS(H)::S(H)
- S(a);N_GUARD::QAR1(A)
- S(a);N_GUARD::QAR1(A),XS(a)
- S(c);N_GUARD::QAB1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- P(b);::B(B)
- Refutation
- Q(e);N_PINS(H)
- Try
- B(D);
- Vars
- Q(e);CHECK,OGATE,XS(H)::R(G),XQ(e)
- Q(e);N_GUARD,N_PINS(H),XP(J)::QAR1(A)
- S(c);N_GUARD,XR(G)::QAB1(A)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- Q(e);N_PINS(H)::S(H)
- S(a);N_GUARD::QAR1(A)
- S(a);N_GUARD::QAR1(A),XS(a)
- S(c);N_GUARD::QAB1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- P(b);::B(B)
- Refutation
- Q(e);N_PINS(H)
- Try
- B(D);
- Vars
- S(c);N_GUARD,XR(G)::QAB1(A)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- Q(e);N_PINS(H)::S(H)
- S(a);N_GUARD::QAR1(A)
- S(a);N_GUARD::QAR1(A),XS(a)
- S(c);N_GUARD::QAB1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- P(b);::B(B)
- Refutation
- Q(e);CHECK,XS(H)
- Try
- B(D);
- Vars
- Q(e);CHECK,OGATE,XS(H)::R(G),XQ(e)
- S(c);N_GUARD,XR(G)::QAB1(A)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- Q(e);N_PINS(H)::S(H)
- S(a);N_GUARD::QAR1(A)
- S(a);N_GUARD::QAR1(A),XS(a)
- S(c);N_GUARD::QAB1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- P(b);::B(B)
- Refutation
- P(f);XB(D)
- Try
- R(C);
- Threat
- R1(C),XQ(e)
- Vars
- Q(e);CHECK,OGATE,XS(H)::R(G),XQ(e)
- Q(e);N_GUARD,N_PINS(H),XR(C)::QAR1(A)
- Q(e);N_PINS(H)::S(H)
- Q(e);N_GUARD,N_PINS(H),P_PINP(K)::QAR1(A)
- Q(e);N_PINS(H)::S(H),XQ(e)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- Q(e);N_GUARD,N_PINS(H),P_PINS(I)::QAR1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- S(c);N_GUARD::QAB1(A)
- Refutation
- Q(e);N_PINS(H)
- Try
- Actual
- B(D);
- Vars
- Q(e);CHECK,OGATE,XS(H)::R(G),XQ(e)
- S(c);N_GUARD,XR(G)::QAB1(A)
- Q(e);N_GUARD,N_PINS(H)::QAR1(A)
- Q(e);N_PINS(H)::S(H)
- S(a);N_GUARD::QAR1(A)
- S(a);N_GUARD::QAR1(A),XS(a)
- S(c);N_GUARD::QAB1(A)
- S(c);N_GUARD::QAB1(A),XS(c)
- P(b);::B(B)
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).