BWTC.0031 revisited

Discussion of chess software programming and technical issues.

Moderators: hgm, Dann Corbit, Harvey Williamson

User avatar
sje
Posts: 4675
Joined: Mon Mar 13, 2006 7:43 pm

BWTC.0031 revisited

Post by sje »

BWTC.0031 revisited

BWTC.0031 is position #31 from Reinfeld's 1,001 Brilliant Ways to Checkmate and it appeared over the board in a game played (and won) by Alexander Alekhine (in the early 1930s, I believe). It's a mate-in-10 and it has appeared multiple times in the early computer chess literature.
[d]2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1[/d]
Here's what happens when BWTC.0031 meets Symbolic and a first generation Raspberry Pi:

Code: Select all

[] sf 2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1
  ::bQbRbR::bN::
::  ::bB::bKbP  
  ::bPwBbPbN  bP
::bP::  wPwP::  
bP::  wP  ::  ::
::wBwP  ::  ::  
wP::  ::wQ::wPwP
::  ::  wRwRwK  
[w - - 0 1] Available move count: forty-four
[] sbo tras trfv trpv trsi
[] s 10000
SI: Iteration 0: begin
PV: [-1.290/1/0.084/126] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
SI: Iteration 0: end
SI: Iteration 1: begin
PV: [-1.290/2/0.118/698] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
SI: Iteration 1: end
SI: Iteration 2: begin
PV: [-0.015/3/0.174/4,573] 1. exf6 Nxf6 2. fxe6+ Bxe6
SI: Iteration 2: end
SI: Iteration 3: begin
PV: [+0.118/4/0.322/14,301] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Qh5+ g6 4. Bxe6+ Rxe6
SI: Iteration 3: end
SI: Iteration 4: begin
PV: [-0.029/5/0.671/67,149] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Bxe6+ Rxe6 4. Be5
SI: Iteration 4: end
SI: Iteration 5: begin
PV: [-0.041/6/2.368/337,603] 1. exf6 Nxf6 2. Bxe6+ Bxe6 3. fxe6+ Rxe6 4. Be5 Rde8 5. Rb1
PV: [Even/6/7.880/1,275,933] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
SI: Iteration 5: end
SI: Iteration 6: begin
PV: [Even/7/13.284/2,288,436] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
SI: Iteration 6: end
SI: Iteration 7: begin
PV: [MateIn10/8/2:34.621/27,315,920] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
SI: Iteration 7: end
SI: Iteration 8: begin
PV: [MateIn10/9/16:18.789/174,506,822] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
SI: Iteration 8: end
FV: [MateIn10/9/16:18.789/174,506,822] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
AS: Count: 369,658,427   Pt: 34:50.746   Wt: 34:44.575   U: 1.00296   177.33 KHz   5.63919 us
[MateIn10/9/16:18.789/174,506,822] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
[] exit
About eight seconds to find the move, and about two and a half minutes to prove it's a mate.
Top
zullil
Posts: 6442
Joined: Tue Jan 09, 2007 12:31 am
Location: PA USA
Full name: Louis Zulli

Re: BWTC.0031 revisited

Post by zullil »

sje wrote:BWTC.0031 revisited

BWTC.0031 is position #31 from Reinfeld's 1,001 Brilliant Ways to Checkmate and it appeared over the board in a game played (and won) by Alexander Alekhine (in the early 1930s, I believe). It's a mate-in-10 and it has appeared multiple times in the early computer chess literature.
[d]2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1[/d]
Here's what happens when BWTC.0031 meets Symbolic and a first generation Raspberry Pi:

Code: Select all

[] sf 2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1
  ::bQbRbR::bN::
::  ::bB::bKbP  
  ::bPwBbPbN  bP
::bP::  wPwP::  
bP::  wP  ::  ::
::wBwP  ::  ::  
wP::  ::wQ::wPwP
::  ::  wRwRwK  
[w - - 0 1] Available move count: forty-four
[] sbo tras trfv trpv trsi
[] s 10000
SI: Iteration 0: begin
PV: [-1.290/1/0.084/126] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
SI: Iteration 0: end
SI: Iteration 1: begin
PV: [-1.290/2/0.118/698] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
SI: Iteration 1: end
SI: Iteration 2: begin
PV: [-0.015/3/0.174/4,573] 1. exf6 Nxf6 2. fxe6+ Bxe6
SI: Iteration 2: end
SI: Iteration 3: begin
PV: [+0.118/4/0.322/14,301] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Qh5+ g6 4. Bxe6+ Rxe6
SI: Iteration 3: end
SI: Iteration 4: begin
PV: [-0.029/5/0.671/67,149] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Bxe6+ Rxe6 4. Be5
SI: Iteration 4: end
SI: Iteration 5: begin
PV: [-0.041/6/2.368/337,603] 1. exf6 Nxf6 2. Bxe6+ Bxe6 3. fxe6+ Rxe6 4. Be5 Rde8 5. Rb1
PV: [Even/6/7.880/1,275,933] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
SI: Iteration 5: end
SI: Iteration 6: begin
PV: [Even/7/13.284/2,288,436] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
SI: Iteration 6: end
SI: Iteration 7: begin
PV: [MateIn10/8/2:34.621/27,315,920] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
SI: Iteration 7: end
SI: Iteration 8: begin
PV: [MateIn10/9/16:18.789/174,506,822] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
SI: Iteration 8: end
FV: [MateIn10/9/16:18.789/174,506,822] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
AS: Count: 369,658,427   Pt: 34:50.746   Wt: 34:44.575   U: 1.00296   177.33 KHz   5.63919 us
[MateIn10/9/16:18.789/174,506,822] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
[] exit
About eight seconds to find the move, and about two and a half minutes to prove it's a mate.
Here's what happens with Stockfish, on a 20-core, dual Xeon workstation that eats Raspberry Pi's for breakfast :wink:

Code: Select all

info depth 24 seldepth 41 multipv 1 score mate 10 nodes 18229411 nps 7046544 hashfull 32 tbhits 0 time 2587 pv e2h5 f6h5 f5e6 f7g6 b3c2 g6g5 f1f5 g5g6 f5f6 g6g5 f6g6 g5h4 e1e4 h5f4 e4f4 h4h5 g6g3 d7e6 c2g6
Top
User avatar
sje
Posts: 4675
Joined: Mon Mar 13, 2006 7:43 pm

Cut-and-paste error

Post by sje »

Cut-and-paste error

The first post had the cut-n-paste not from a Raspberry Pi, but from the same search running on an 1.6 GHz Intel Atom with 2 GiB RAM. The correct paste for the 1st generation Raspberry Pi (single core ARM7 with 512 MiB RAM) is:

Code: Select all

[] sf 2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1
  ::bQbRbR::bN::
::  ::bB::bKbP  
  ::bPwBbPbN  bP
::bP::  wPwP::  
bP::  wP  ::  ::
::wBwP  ::  ::  
wP::  ::wQ::wPwP
::  ::  wRwRwK  
[w - - 0 1] Available move count: forty-four
[] sbo tras trfv trpv trsi
[] s 10000
SI: Iteration 0: begin
PV: [-1.290/1/0.210/126] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
SI: Iteration 0: end
SI: Iteration 1: begin
PV: [-1.290/2/0.297/698] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
SI: Iteration 1: end
SI: Iteration 2: begin
PV: [-0.015/3/0.449/4,573] 1. exf6 Nxf6 2. fxe6+ Bxe6
SI: Iteration 2: end
SI: Iteration 3: begin
PV: [+0.118/4/0.840/14,301] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Qh5+ g6 4. Bxe6+ Rxe6
SI: Iteration 3: end
SI: Iteration 4: begin
PV: [-0.029/5/1.785/67,145] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Bxe6+ Rxe6 4. Be5
SI: Iteration 4: end
SI: Iteration 5: begin
PV: [-0.041/6/6.365/342,078] 1. exf6 Nxf6 2. Bxe6+ Bxe6 3. fxe6+ Rxe6 4. Be5 Rde8 5. Rb1
PV: [Even/6/35.680/2,104,361] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
SI: Iteration 5: end
SI: Iteration 6: begin
PV: [Even/7/51.417/3,172,731] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
SI: Iteration 6: end
SI: Iteration 7: begin
PV: [MateIn10/8/10:16.998/38,991,808] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
SI: Iteration 7: end
SI: Iteration 8: begin
PV: [MateIn10/9/51:29.405/202,897,570] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
Top
User avatar
sje
Posts: 4675
Joined: Mon Mar 13, 2006 7:43 pm

On a 2.6 GHz Core i5-4278U

Post by sje »

On a 2.6 GHz Core i5-4278U:

Code: Select all

PV: [-1.290/1/0.010/126] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
PV: [-1.290/2/0.013/698] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
PV: [-0.015/3/0.019/4,573] 1. exf6 Nxf6 2. fxe6+ Bxe6
PV: [+0.118/4/0.036/14,301] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Qh5+ g6 4. Bxe6+ Rxe6
PV: [-0.029/5/0.073/67,063] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Bxe6+ Rxe6 4. Be5
PV: [-0.041/6/0.259/348,796] 1. exf6 Nxf6 2. Bxe6+ Bxe6 3. fxe6+ Rxe6 4. Be5 Rde8 5. Rb1
PV: [Even/6/0.841/1,285,886] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
PV: [Even/7/1.394/2,286,725] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
PV: [MateIn10/8/14.372/24,097,341] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
PV: [MateIn10/9/1:24.758/141,845,419] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
FV: [MateIn10/9/1:24.758/141,845,419] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
AS: Count: 286,053,994   Pt: 2:52.636   Wt: 2:52.598   U: 1.00022   1.65734 MHz   603.378 ns
[MateIn10/9/1:24.758/141,845,419] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
Top
jdart
Posts: 4361
Joined: Fri Mar 10, 2006 5:23 am
Location: http://www.arasanchess.org

Re: BWTC.0031 revisited

Post by jdart »

You might try this one (Alekhine-Sterk, Budapest 1921):

[D] r4rk1/p4ppp/qp2p3/b5B1/n1R5/5N2/PP2QPPP/1R4K1 w - -

--Jon
Top
Dann Corbit
Posts: 12482
Joined: Wed Mar 08, 2006 8:57 pm
Location: Redmond, WA USA

Re: BWTC.0031 revisited

Post by Dann Corbit »

zullil wrote:
sje wrote:BWTC.0031 revisited

BWTC.0031 is position #31 from Reinfeld's 1,001 Brilliant Ways to Checkmate and it appeared over the board in a game played (and won) by Alexander Alekhine (in the early 1930s, I believe). It's a mate-in-10 and it has appeared multiple times in the early computer chess literature.
[d]2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1[/d]
Here's what happens when BWTC.0031 meets Symbolic and a first generation Raspberry Pi:

Code: Select all

[] sf 2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1
  ::bQbRbR::bN::
::  ::bB::bKbP  
  ::bPwBbPbN  bP
::bP::  wPwP::  
bP::  wP  ::  ::
::wBwP  ::  ::  
wP::  ::wQ::wPwP
::  ::  wRwRwK  
[w - - 0 1] Available move count: forty-four
[] sbo tras trfv trpv trsi
[] s 10000
SI: Iteration 0: begin
PV: [-1.290/1/0.084/126] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
SI: Iteration 0: end
SI: Iteration 1: begin
PV: [-1.290/2/0.118/698] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
SI: Iteration 1: end
SI: Iteration 2: begin
PV: [-0.015/3/0.174/4,573] 1. exf6 Nxf6 2. fxe6+ Bxe6
SI: Iteration 2: end
SI: Iteration 3: begin
PV: [+0.118/4/0.322/14,301] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Qh5+ g6 4. Bxe6+ Rxe6
SI: Iteration 3: end
SI: Iteration 4: begin
PV: [-0.029/5/0.671/67,149] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Bxe6+ Rxe6 4. Be5
SI: Iteration 4: end
SI: Iteration 5: begin
PV: [-0.041/6/2.368/337,603] 1. exf6 Nxf6 2. Bxe6+ Bxe6 3. fxe6+ Rxe6 4. Be5 Rde8 5. Rb1
PV: [Even/6/7.880/1,275,933] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
SI: Iteration 5: end
SI: Iteration 6: begin
PV: [Even/7/13.284/2,288,436] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
SI: Iteration 6: end
SI: Iteration 7: begin
PV: [MateIn10/8/2:34.621/27,315,920] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
SI: Iteration 7: end
SI: Iteration 8: begin
PV: [MateIn10/9/16:18.789/174,506,822] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
SI: Iteration 8: end
FV: [MateIn10/9/16:18.789/174,506,822] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
AS: Count: 369,658,427   Pt: 34:50.746   Wt: 34:44.575   U: 1.00296   177.33 KHz   5.63919 us
[MateIn10/9/16:18.789/174,506,822] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
[] exit
About eight seconds to find the move, and about two and a half minutes to prove it's a mate.
Here's what happens with Stockfish, on a 20-core, dual Xeon workstation that eats Raspberry Pi's for breakfast :wink:

Code: Select all

info depth 24 seldepth 41 multipv 1 score mate 10 nodes 18229411 nps 7046544 hashfull 32 tbhits 0 time 2587 pv e2h5 f6h5 f5e6 f7g6 b3c2 g6g5 f1f5 g5g6 f5f6 g6g5 f6g6 g5h4 e1e4 h5f4 e4f4 h4h5 g6g3 d7e6 c2g6
Here it is on a garden variety, wimpy machine:

Code: Select all

Searching: 2qrr1n1/3b1kp1/2pBpn1p/1p2PP2/p2P4/1BP5/P3Q1PP/4RRK1 w - - 0 1
infinite: 0 ponder: 0 time: 0 increment: 0 moves to go: 0

 1   +3.76   00:00     117  fxe6+ Bxe6
 2   +4.58   00:00     352  exf6 Nxf6 fxe6+ Bxe6
 3   +4.58   00:00     473  exf6 Nxf6 fxe6+ Bxe6
 4   +2.58   00:00    1361  exf6 Nxf6 fxe6+ Bxe6 Bxe6+ Qxe6
 5   +2.33   00:00    3439  fxe6+ Bxe6 Bc2 g6 g3 Kg7
 6   +1.07   00:00    9425  d5 axb3 dxe6+ Bxe6 exf6 Nxf6 fxe6+ Kg8
 7   +0.99   00:00   13130  exf6 Nxf6 fxe6+ Bxe6 Rxf6+ gxf6 Bxe6+ Rxe6 Qh5+ Kg7 Qg4+ Kf7
 8   +2.36   00:00   36992  Bxe6+ Bxe6 fxe6+ Rxe6 Ba3 g6 Qd3 Kg7 exf6+ Nxf6 Qf3
 9   +1.32   00:00   83366  Bxe6+ Bxe6 fxe6+ Rxe6 Ba3 g6 Qd3 Rde8 Rf3 h5 Qb1 Kg7 Ref1 Nd7
10   +1.91   00:00  107977  fxe6+ Bxe6 Bxe6+ Rxe6 Ba3 Rde8 Qd3 g6 Rf3 Kg7 exf6+ Nxf6 Ref1 Nd7
11   +2.54   00:00  355736  fxe6+ Bxe6 Qh5+ g6 Rxf6+ Nxf6 Qf3 axb3 Qxf6+ Kg8 Qxg6+ Kh8 Qxh6+ Kg8 Qg6+ Kh8 axb3 Bxb3
12   +1.76   00:00  481177  fxe6+ Bxe6 exf6 Nxf6 Qh5+ Kg8 Rxf6 Bxb3 Rxe8+ Rxe8 axb3 gxf6 Qg6+ Kh8 Qxh6+ Kg8 Qg6+ Kh8 Qxf6+ Kh7 bxa4
13   +1.93   00:00  553817  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Rxe8+ Rxe8 axb3 gxf6 Qg6+ Kh8 Qxh6+ Kg8 Qg6+ Kh8 Qxf6+ Kh7 Qf7+ Kh8 Qh5+ Kg7 Be5+ Kf8
14   +1.88   00:00  645844  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Rxe8+ Rxe8 axb3 gxf6 Qg6+ Kh8 Qxh6+ Kg8 Qg6+ Kh8 Qxf6+ Kh7 Qf7+ Kh8 Qh5+ Kg7 Be5+ Kf8 Qh6+ Ke7
15   +2.81   00:00  888743  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Re7 Rxe7 Bxe7 Bc2 Qf7+ Kh7 Bxd8 Qxd8 Rxc6 Qg5 Re6 Bg6
16   +4.16   00:00   1303K  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Be7 Rf8 axb3 Rxf6 Bxf6 Rf8 Re7 Rxf6 Re8+ Qxe8 Qxe8+ Kh7 Qe4+ Kg8 bxa4
17   +5.01   00:00   1617K  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Be7 Rd6 Rxd6 Bf7 Qe5 Qc7 a3 h5 Re3 Bb3 h3 Bc4 Re1 Bf7 Re3 Bb3
18   +5.00   00:00   2209K  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Be7 Rd6 Rxd6 Bf7 Qe5 Qc7 d5 cxd5 Re3 Qa7 Kh1 Kh7 h4 a3 Kh2
19   +5.59   00:00   2698K  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Be7 Rd6 Rxd6 Bf7 Qe5 Qc7 a3 Bc4 Re3 Bb3 Re4 Bc4 d5 Bxd5 Rxd5 Qxe7 Qxe7 Rxe7 Rxe7 cxd5 Re5
20   +5.46   00:00   3498K  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Be7 Rd6 Rxd6 Bf7 Qe5 Qg4 Rxc6 Qd7 Rd6 Qc7 d5 Qc5+ Kh1 Qa3 Rg6 Bxg6 Bxa3 Rxe5 Rxe5 Bb1 d6 Bxa2 d7
21   +5.67   00:01   5110K  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Be7 Rd6 Rxd6 Bf7 Qe5 Qg4 Rxc6 Qd7 Rd6 Qc7 d5 Qc5+ Kh1 b4 cxb4 Qxb4 Rd8 Qb5 Rxe8+ Qxe8 Rd1 Bg6 Kg1 Kh7 Re1 Qd7 d6
22   +5.92   00:01   6777K  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Be7 Rd6 Rxd6 Bf7 Qe5 Qc7 a3 Bc4 Re3 Bb3 Re4 Bc4 d5 Bxd5 Rxd5 Qxe7 Qxe7 Rxe7 Rxe7 cxd5 Rd7 Kf8 Rxd5
23   +6.13   00:02  12342K  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Be7 Rd6 Rxd6 Bf7 Qe5 Kh7 a3 Bg6 Re3 Qf5 Qxf5 Bxf5 Rxc6 Rb8 Rc5 Bg4 Ree5 Rc8 Rxc8 Bxc8 Rxb5 Kg6 Kf2 Kf7 Bb4 Kg6
24   +6.19   00:02  13806K  exf6 Nxf6 fxe6+ Bxe6 Qh5+ Kg8 Rxf6 Bxb3 Be7 Rd6 Rxd6 Bf7 Qe5 Kh7 a3 Bg6 Re3 Qf5 Qxf5 Bxf5 Rxc6 Rb8 Rc5 Bg4 Ree5 Rc8 Rxc8 Bxc8 Rxb5 Bd7 Rb7 Bf5 Ra7
25     #10   00:03  19286K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
26     #10   00:03  19649K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
27     #10   00:03  19792K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
28     #10   00:03  20105K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
29     #10   00:03  20403K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
30     #10   00:03  20845K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
31     #10   00:03  21301K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
32     #10   00:03  21951K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
33     #10   00:04  22915K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
34     #10   00:04  23788K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
35     #10   00:04  24906K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
36     #10   00:04  26092K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
37     #10   00:04  27761K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
38     #10   00:05  30193K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
39     #10   00:05  32705K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
40     #10   00:05  35907K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
41     #10   00:06  39908K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
42     #10   00:07  43476K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
43     #10   00:07  48051K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
44     #10   00:08  53376K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
45     #10   00:09  60766K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
46     #10   00:10  68132K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
47     #10   00:11  77230K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
48     #10   00:12  85495K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
49     #10   00:14  97144K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
50     #10   00:16 111525K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
51     #10   00:18 123887K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
52     #10   00:20 140808K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
53     #10   00:23 160291K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
54     #10   00:26 182472K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
55     #10   00:29 203412K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
56     #10   00:33 232389K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
57     #10   00:37 267461K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
58     #10   00:42 298724K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
59     #10   00:47 338971K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
60     #10   00:54 385549K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
61     #10   01:01 435984K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
62     #10   01:10 497293K  Qh5+ Nxh5 fxe6+ Kg6 Bc2+ Kg5 Rf5+ Kg6 Rf6+ Kg5 Rg6+ Kh4 Re4+ Nf4 Rxf4+ Kh5 g3 Rxe6 Rh4+
Top
User avatar
sje
Posts: 4675
Joined: Mon Mar 13, 2006 7:43 pm

Re: BWTC.0031 revisited

Post by sje »

One claim to fame of BWTC.0031 is its appearance in the report on the chess program Paradise written by David Wilkins back around 1980. Paradise was able to find the mate-in-ten PV with a search using less than 100 nodes, although the search took the better part of an hour using the hardware of the day: https://en.wikipedia.org/wiki/PDP-10
Top
User avatar
sje
Posts: 4675
Joined: Mon Mar 13, 2006 7:43 pm

On an octocore i7-5960X CPU @ 3.00GHz

Post by sje »

On an octocore i7-5960X CPU @ 3.00GHz (single thread):

Code: Select all

SI: Iteration 0: begin
PV: [-1.290/1/0.010/126] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
SI: Iteration 0: end
SI: Iteration 1: begin
PV: [-1.290/2/0.014/698] 1. exf6 axb3 2. fxg7 Kxg7 3. axb3 exf5
SI: Iteration 1: end
SI: Iteration 2: begin
PV: [-0.015/3/0.021/4,573] 1. exf6 Nxf6 2. fxe6+ Bxe6
SI: Iteration 2: end
SI: Iteration 3: begin
PV: [+0.118/4/0.038/14,301] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Qh5+ g6 4. Bxe6+ Rxe6
SI: Iteration 3: end
SI: Iteration 4: begin
PV: [-0.029/5/0.079/67,063] 1. exf6 Nxf6 2. fxe6+ Bxe6 3. Bxe6+ Rxe6 4. Be5
SI: Iteration 4: end
SI: Iteration 5: begin
PV: [-0.041/6/0.242/348,651] 1. exf6 Nxf6 2. Bxe6+ Bxe6 3. fxe6+ Rxe6 4. Be5 Rde8 5. Rb1
PV: [Even/6/0.748/1,285,665] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
SI: Iteration 5: end
SI: Iteration 6: begin
PV: [Even/7/1.234/2,285,461] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf3+ Kg5 6. Rf5+
SI: Iteration 6: end
SI: Iteration 7: begin
PV: [MateIn10/8/12.354/23,845,159] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
SI: Iteration 7: end
SI: Iteration 8: begin
PV: [MateIn10/9/29.850/58,344,230] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
SI: Iteration 8: end
FV: [MateIn10/9/29.850/58,344,230] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
AS: Count: 150,817,755   Pt: 1:18.544   Wt: 1:18.460   U: 1.00108   1.92221 MHz   520.234 ns
[MateIn10/9/29.850/58,344,230] 1. Qh5+ Nxh5 2. fxe6+ Kg6 3. Bc2+ Kg5 4. Rf5+ Kg6 5. Rf6+ Kg5 6. Rg6+ Kh4 7. Re4+ Nf4 8. Rxf4+ Kh5 9. Rg3 Bxe6 10. Bg6#
748 ms to find the move; 12.354 seconds to prove it's mate.
Top

Return to “Computer Chess Club: Programming and Technical Discussions”