MESON Chess Problem Database
Problem Display
PID: 72886 (8/3R3B/2R4K/8/bQ6/P1PN4/2kp1P2/2N5 w - - 0 1)
Drese, Gerardus Hendrikus
Tijdschrift vd KNSB, 1936
#2
10 + 3
SOLUTION
- SOUND
- Sets
- 1...Kd1
- 2.Qxa4#
- 1...Bb3
- 2.Qxb3#
- 1...Bb5
- 2.Qb3#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1S
- 2.Se1#
- 1...dxc1B+
- 2.Sf4#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Kd1
- Tries
- 1.Kg5?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Kg7?
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1Q
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...dxc1S
- 2.Se1#
- 1...dxc1B
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...Kd1
- 1.Se1+?
- 1...Kxc1
- 2.Qb1#
- 1...Kd1!
- 1...Kxc1
- 1.Sf4+?
- 1...Kxc1
- 2.Qb1#
- 1...Kd1!
- 1...Kxc1
- 1.Sc5+?
- 1...Kxc1
- 2.Qb1#
- 1...Kd1!
- 1...Kxc1
- 1.Se5+?
- 1...Kxc1
- 2.Qb1#
- 1...Kd1!
- 1...Kxc1
- 1.Be4?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Bf5?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Bg6?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rc4?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxd7
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...Bc6
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rc5?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxd7
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...Bc6
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Ra6?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxd7
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...Bc6
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rb6?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxd7
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...Bc6
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rcd6?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxd7
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...Bc6
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rf6?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxd7
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...Bc6
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rcc7?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxd7
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...Bc6
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rc8?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxd7
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...Bc6
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rd4?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rd5?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rdd6?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Rd8?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.f3?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.f4?
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1Q
- 2.Se1#
- 2.Sb2#
- 2.Sf2#
- 2.Sc5#
- 2.Se5#
- 1...dxc1S
- 2.Se1#
- 1...dxc1B
- 2.Se1#
- 2.Sb2#
- 2.Sf2#
- 2.Sc5#
- 2.Se5#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf2#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...Kd1
- 1.c4?
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxc6
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...d1S!
- 1...dxc1Q+
- 1.Kg5?
- Keys
- 1.Re6!
- 1...dxc1Q+
- 2.Sf4#
- 1...dxc1B+
- 2.Sf4#
- 1...Kd1
- 2.Qxa4#
- 1...Bxd7
- 2.Qb3#
- 1...dxc1S
- 2.Se1#
- 1...dxc1R
- 2.Se1#
- 2.Sb2#
- 2.Sf4#
- 2.Sc5#
- 2.Se5#
- 1...Bb3
- 2.Qxb3#
- 1...d1Q
- 2.Qb2#
- 1...d1S
- 2.Re2#
- 1...d1B
- 2.Qb2#
- 1...d1R
- 2.Qb2#
- 1...Bb5
- 2.Qb3#
- 1...Bc6
- 2.Qb3#
- 1...dxc1Q+
- 1.Re6!
FEATURES
- Static
- TYPE = INCOMPLETE_BLOCK
- CHANGED MATES = 0
- ADDED MATES = 2
- REMOVED MATES = 0
- Sets
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD::QAB1(F),XB(c)
- B(c);N_GUARD::QAB1(F)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- P(b);SBLOCK::QAR1(F)
- Tries
- Try
- K(H);S_FLIGHT
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- K(H);S_FLIGHT
- Vars
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- S(E);CHECK
- Vars
- K(a);P-FLIGHT,XS(A)::QAR1(F)
- Refutation
- K(a);P_SPINP(b),S_FLIGHT
- Try
- S(E);CHECK
- Vars
- K(a);P-FLIGHT,XS(A)::QAR1(F)
- Refutation
- K(a);P_SPINP(b),S_FLIGHT
- Try
- S(E);CHECK
- Vars
- K(a);P-FLIGHT,XS(A)::QAR1(F)
- Refutation
- K(a);P_SPINP(b),S_FLIGHT
- Try
- S(E);CHECK
- Vars
- K(a);P-FLIGHT,XS(A)::QAR1(F)
- Refutation
- K(a);P_SPINP(b),S_FLIGHT
- Try
- B(J);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- B(J);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- B(J);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(G);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(I)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(G);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(I)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(G);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(I)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(G);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(I)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(G);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(I)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(G);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(I)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(G);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(I)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(G);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(I)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(I);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(I);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(I);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- R(I);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- P(B);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- P(B);
- Vars
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- P(D);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(G)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- B(c);N_GUARD::QAB1(F)
- Refutation
- P(b);
- Try
- Actual
- R(G);
- Vars
- P(b);CHECK,SBLOCK,XS(A)::B(J)+S(E)
- K(a);S_FLIGHT::QAB(F),XB(c)
- B(c);N_GUARD,XR(I)::QAB1(F)
- P(b);SBLOCK,XS(A)::B(J)+S(E),DCHECK
- B(c);N_GUARD::QAB1(F),XB(c)
- P(b);SBLOCK::QAR1(F)
- P(b);OGATEB,SBLOCK::R(G)
- B(c);N_GUARD::QAB1(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).