MESON Chess Problem Database
Problem Display
PID: 62160 (3R3K/8/6Q1/2Pp4/RBN1n3/3kP2p/7q/3B1N1n w - - 0 1)
Andrade, Barry Jack da Costa
Chess, 1944
#2
10 + 6
SOLUTION
- SOUND
- Sets
- 1...Kxc4
- 2.Qa6#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5+
- 2.Sxe5#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qb2+
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Kxc4
- Tries
- 1.Kg7?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Kxc4
- 2.Qa6#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Qc7+!
- 1...Qe5+
- 1.Kh7?
- 1...Kxc4
- 2.Qa6#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sxe5#
- 1...Qd6
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Qc7+!
- 1...Kxc4
- 1.Scd2?
- threat
- 2.Ra3#
- 2.Rxd5#
- 2.Qxe4#
- 2.Qa6#
- 1...Qxd2
- 2.Qa6#
- 1...Qf4
- 2.Ra3#
- 2.Rxd5#
- 2.Qa6#
- 1...Qd6
- 2.Ra3#
- 1...Qb8
- 2.Ra3#
- 2.Qxe4#
- 1...Qg2
- 2.Ra3#
- 2.Rxd5#
- 2.Qa6#
- 1...Sf2
- 2.Ra3#
- 2.Rxd5#
- 2.Qa6#
- 1...Sg3
- 2.Ra3#
- 2.Rxd5#
- 2.Qa6#
- 1...d4
- 2.Ra3#
- 2.Rxd4#
- 2.Qxe4#
- 2.Qa6#
- 1...Qe5+!
- threat
- 1.Ba5?
- threat
- 2.Rxd5#
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Qd6
- 2.Sb2#
- 1...d4
- 2.Rxd4#
- 1...Qb8!
- threat
- 1.Ra1?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Qb8
- 2.Sb2#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Kxc4!
- 1...Qe5+
- 1.Ra2?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Qxa2
- 2.Se5#
- 1...Qb8
- 2.Sb2#
- 2.Be2#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 2.Be2#
- 1...Qg3
- 2.Sb2#
- 2.Be2#
- 1...Qf4
- 2.Sb2#
- 2.Be2#
- 1...Qd6
- 2.Sb2#
- 2.Be2#
- 1...Qc7
- 2.Sb2#
- 2.Be2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 2.Bxe2#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 2.Be2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Kxc4!
- 1...Qe5+
- 1.Ra5?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Qb8
- 2.Sb2#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Kxc4!
- 1...Qe5+
- 1.Ra6?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Qb8
- 2.Sb2#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Kxc4!
- 1...Qe5+
- 1.Ra7?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Qb8
- 2.Sb2#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Kxc4!
- 1...Qe5+
- 1.Raa8?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Qb8
- 2.Sb2#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Kxc4!
- 1...Qe5+
- 1.Rd6?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Qxd6
- 2.Sb2#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Kxc4!
- 1...Qe5+
- 1.Rd7?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Kxc4
- 2.Qa6#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Qb8+!
- 1...Qe5+
- 1.Re8?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Kxc4
- 2.Qa6#
- 1...dxc4
- 2.Qxe4#
- 1...Qb8
- 2.Sb2#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4!
- 1...Qe5+
- 1.Qf5?
- threat
- 2.Qxd5#
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...d4
- 2.Rxd4#
- 1...Qd6
- 2.Sb2#
- 1...Kxc4!
- threat
- 1.Qh7?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...d4
- 2.Rxd4#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...Kxc4!
- 1...Qe5+
- 1.Qg4?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...Sxc5
- 2.Rxd5#
- 2.Qd4#
- 1...d4
- 2.Rxd4#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 2.Qe2#
- 1...Qg3
- 2.Sb2#
- 2.Qe2#
- 1...Qf4
- 2.Sb2#
- 2.Qe2#
- 1...Qd6
- 2.Sb2#
- 2.Qe2#
- 1...Qc7
- 2.Sb2#
- 2.Qe2#
- 1...Qb8
- 2.Sb2#
- 2.Qe2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 2.Qxe2#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Shf2
- 2.Sb2#
- 2.Qe2#
- 1...Shg3
- 2.Se5#
- 1...Sd2
- 2.Sb2#
- 2.Rxd5#
- 2.Qd4#
- 1...Sef2
- 2.Sb2#
- 2.Ra3#
- 2.Rxd5#
- 2.Qd4#
- 1...Sc3
- 2.Qd4#
- 1...Seg3
- 2.Se5#
- 2.Ra3#
- 2.Rxd5#
- 2.Qd4#
- 1...Sg5
- 2.Ra3#
- 2.Rxd5#
- 2.Qd4#
- 1...Sd6
- 2.Ra3#
- 2.Qd4#
- 1...Sf6
- 2.Ra3#
- 2.Qd4#
- 1...Kxc4!
- 1...Qe5+
- 1.Qf6?
- threat
- 2.Qd4#
- 1...Kxc4
- 2.Qa6#
- 1...d4
- 2.Rxd4#
- 2.Qxd4#
- 1...Qe5
- 2.Sxe5#
- 1...Qb2
- 2.Sxb2#
- 1...Sxf6!
- threat
- 1.c6?
- 1...Qe5+
- 2.Sxe5#
- 1...Qb2+
- 2.Sxb2#
- 1...d4
- 2.Rxd4#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...Kxc4!
- 1...Qe5+
- 1.Kg7?
- Keys
- 1.Kg8!
- 1...Kxc4
- 2.Qa6#
- 1...Qg1
- 2.Sb2#
- 2.Se5#
- 1...Qg3
- 2.Sb2#
- 1...Qf4
- 2.Sb2#
- 1...Qe5
- 2.Sxe5#
- 1...Qd6
- 2.Sb2#
- 1...Qc7
- 2.Sb2#
- 1...Qb8
- 2.Sb2#
- 1...Qa2
- 2.Se5#
- 1...Qb2
- 2.Sxb2#
- 1...Qc2
- 2.Se5#
- 1...Qd2
- 2.Se5#
- 1...Qe2
- 2.Se5#
- 1...Qf2
- 2.Se5#
- 1...Qg2
- 2.Se5#
- 1...Sf2
- 2.Sb2#
- 1...Sg3
- 2.Se5#
- 1...d4
- 2.Rxd4#
- 1...Kxc4
- 1.Kg8!
FEATURES
- Static
- TYPE = WAITER
- CHANGED MATES = 0
- ADDED MATES = 0
- REMOVED MATES = 0
- Sets
- K(c);N_SPINP(f),N_SPINS(e),OGATEB,S_FLIGHT,XS(F)::QAB(H)
- Q(b);N_GUARD::S(F)
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- Q(b);N_GUARD,P_PINR(I)::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Tries
- Try
- K(J);S_FLIGHT
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- K(c);N_SPINP(f),N_SPINS(e),OGATEB,S_FLIGHT,XS(F)::QAB(H)
- Q(b);N_GUARD,P_PINQ(H)::S(F)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- Q(b);CHECK
- Try
- K(J);P-FLIGHT
- Vars
- K(c);N_SPINP(f),N_SPINS(e),OGATEB,S_FLIGHT,XS(F)::QAB(H)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- Q(b);CHECK
- Try
- S(F);
- Threat
- DUALS(4)
- Vars
- Q(b);XS(F)::QAB(H)
- Q(b);N_SPINP(f)::R(D)
- Refutation
- Q(b);CHECK
- Try
- B(E);
- Threat
- R(I),XP(f)
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- Q(b);P_PINR(I)
- Try
- R(D);
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,P_PINR(I)::S(F)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- K(c);N_SPINP(f),N_SPINS(e),S_FLIGHT,XS(F)
- Try
- R(D);
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,XR(D)::S(F)
- Q(b);N_GUARD::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- K(c);N_SPINP(f),N_SPINS(e),S_FLIGHT,XS(F)
- Try
- R(D);
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,P_PINR(I)::S(F)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- K(c);N_SPINP(f),N_SPINS(e),S_FLIGHT,XS(F)
- Try
- R(D);
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,P_PINR(I)::S(F)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- K(c);N_SPINP(f),N_SPINS(e),S_FLIGHT,XS(F)
- Try
- R(D);
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,P_PINR(I)::S(F)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- K(c);N_SPINP(f),N_SPINS(e),S_FLIGHT,XS(F)
- Try
- R(D);
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,P_PINR(I)::S(F)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- K(c);N_SPINP(f),N_SPINS(e),S_FLIGHT,XS(F)
- Try
- R(I);
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,N_SPINP(f),XR(I)::S(F)
- Q(b);N_GUARD::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- K(c);N_SPINP(f),N_SPINS(e),S_FLIGHT,XS(F)
- Try
- R(I);
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- K(c);N_SPINP(f),N_SPINS(e),OGATEB,S_FLIGHT,XS(F)::QAB(H)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
- Refutation
- Q(b);CHECK
- Try
- R(I);N_PINP(f)
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- K(c);N_SPINS(e),OGATEB,S_FLIGHT,XS(F)::QAB(H)
- P(f);N_GUARD,XS(F)::QAB1(H),XS(e)
- Q(b);N_GUARD,P_PINR(I)::S(F)
- Q(b);N_GUARD::S(F)
- S(a);S_CUTQ(b)::S(F)
- Refutation
- P(f);
- Try
- Q(H);
- Threat
- QAR2(H),XP(f)
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- P(f);OGATE::R1(I),XP(f)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- Refutation
- K(c);N_SPINP(f),N_SPINS(e),S_FLIGHT,XS(F)
- Try
- Q(H);
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- P(f);OGATE::R1(I),XP(f)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- Q(b);N_GUARD,P_PINR(I)::S(F)
- S(a);S_CUTQ(b)::S(F)
- Refutation
- K(c);N_SPINP(f),N_SPINS(e),S_FLIGHT,XS(F)
- Try
- Q(H);N_PINS(e)
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- P(f);OGATE::R1(I),XP(f)
- Q(b);N_GUARD::S(F)
- S(a);S_CUTQ(b)::S(F)
- S(e);OGATE::QAR1(H)
- Refutation
- K(c);N_SPINP(f),P_SPINS(e),S_FLIGHT,XS(F)
- Try
- Q(H);N_PINS(e)
- Threat
- QAR1(H)
- Vars
- K(c);N_SPINP(f),OGATEB,S_FLIGHT,XS(F)::QAB(H)
- Q(b);N_GUARD,P_PINQ(H)::S(F),XQ(b)
- Refutation
- S(e);XQ(H)
- Try
- P(G);
- Vars
- Q(b);CHECK,N_GUARD::S(F),XQ(b)
- P(f);OGATE::R1(I),XP(f)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- Q(b);N_GUARD,P_PINR(I)::S(F)
- S(a);S_CUTQ(b)::S(F)
- Refutation
- K(c);N_SPINP(f),N_SPINS(e),S_FLIGHT,XS(F)
- Try
- Actual
- K(J);P-FLIGHT
- Vars
- K(c);N_SPINP(f),N_SPINS(e),OGATEB,S_FLIGHT,XS(F)::QAB(H)
- Q(b);N_GUARD,P_PINQ(H)::S(F)
- Q(b);N_GUARD::S(F)
- Q(b);N_GUARD::S(F),XQ(b)
- Q(b);N_GUARD,N_SPINP(f)::S(F)
- Q(b);N_GUARD,P_PINR(I)::S(F)
- S(a);S_CUTQ(b)::S(F)
- P(f);OGATE::R1(I),XP(f)
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).