Deep Sjeng 50-move rule bug

Discussion of anything and everything relating to chess playing software and machines.

Moderators: hgm, Rebel, chrisw

bob
Posts: 20943
Joined: Mon Feb 27, 2006 7:30 pm
Location: Birmingham, AL

Re: Deep Sjeng 50-move rule bug

Post by bob »

SzG wrote:In the game below the last relevant move (a pawn push) was black's 68. - g5. Nevertheless DS allows a mate on move 118.

[Event "40 Moves in 3 min"]
[Site "Deep Junior 11.1 64-bit 2CPU - Mar 12, LUCIFER"]
[Date "2010.03.12"]
[Round "3.4"]
[White "Deep Sjeng WC2008 64-bit 2CPU"]
[Black "Deep Junior 11.1 64-bit 2CPU"]
[Result "0-1"]

1. Nf3 {book 0s} Nf6 {book 0s} 2. c4 {book 0s} e6 {book 0s}
3. g3 {book 0s} d5 {book 0s} 4. d4 {book 0s} Bb4+ {book 0s}
5. Bd2 {book 0s} Be7 {book 0s} 6. Bg2 {book 0s} O-O {book
0s} 7. O-O {book 0s} c6 {book 0s} 8. Qc2 {book 0s} b6 {book
0s} 9. b3 {book 0s} Nbd7 {book 0s} 10. Rd1 {book 0s} Ba6
{book 0s} 11. Bf4 {+0.06/14 8s} Rc8 {+0.15/15 7s} 12. h3
{+0.05/11 1s (a3)} c5 {+0.10/15 6s (Nh5)} 13. Qb2 {-0.47/13
7s (dxc5)} dxc4 {-0.28/14 3s (cxd4)} 14. dxc5 {-0.48/13 4s
(bxc4)} Nd5 {-0.60/15 11s} 15. c6 {-0.47/11 3s} Bf6
{-0.55/14 4s (Rxc6)} 16. Qa3 {-0.83/14 8s (Nd4)} Rxc6
{-0.53/14 8s} 17. Nd4 {-0.91/14 3s} Bxd4 {-0.56/14 4s}
18. Rxd4 {-0.89/14 3s} Qc8 {-0.55/15 7s (cxb3)} 19. Bxd5
{-0.52/14 6s} exd5 {-0.57/14 2s} 20. Nc3 {-0.64/14 4s} Nf6
{-0.63/15 3s} 21. Be5 {-0.60/13 3s (Bg5)} Qxh3 {-0.93/14
10s (Bb7)} 22. Rh4 {-0.87/12 4s (Bxf6)} Qe6 {-0.91/15 3s
(Qf5)} 23. Bd4 {-0.65/14 6s} Bc8 {-0.74/15 11s} 24. Rd1
{-0.73/13 4s (Qxa7)} Re8 {-0.71/14 3s (Ng4)} 25. Bxf6
{-0.68/13 4s} Qxf6 {-0.69/13 2s} 26. bxc4 {-0.62/13 6s}
dxc4 {-0.51/14 6s} 27. Rf4 {-0.52/13 4s} Qg6 {-0.41/14 3s}
28. Qxa7 {-0.42/12 3s} h6 {-0.60/15 8s} 29. Nd5 {-0.25/13
4s (a4)} Rd6 {-0.48/14 5s (Qe6)} 30. Qc7 {-0.44/12 4s} b5
{-0.70/14 4s} 31. a4 {-0.30/13 5s} bxa4 {-0.54/14 5s}
32. Rfd4 {-0.80/13 10s (Rxc4)} Kh7 {-1.13/14 5s} 33. Qxc4
{-0.92/13 5s} a3 {-1.04/14 6s} 34. Qa4 {-0.78/14 8s} Rxe2
{-1.05/15 8s (Bd7)} 35. Nf4 {-0.65/15 7s} Bd7 {-1.04/16 3s
(Rxd4)} 36. Qxd7 {0.00/15 3s (Qb3)} Rxd7 {-0.76/18 5s}
37. Rxd7 {0.00/16 2s} Qc2 {-0.55/19 5s (Qa6)} 38. Nxe2
{0.00/19 10s} Qxe2 {-0.51/17 3s} 39. R7d2 {0.00/19 5s} Qc4
{-0.40/19 5s} 40. Ra1 {0.00/20 8s} f5 {-0.33/18 3s}
41. Rda2 {0.00/19 6s} f4 {-0.25/17 3s} 42. Rxa3 {0.00/18
3s} fxg3 {-0.24/18 10s} 43. fxg3 {0.00/18 3s} h5 {-0.24/17
4s (Qc5+)} 44. R1a2 {+0.28/13 3s (Ra8)} Kh6 {-0.24/16 3s
(Qe4)} 45. Ra8 {+0.26/14 5s} g6 {-0.24/16 4s (Qc5+)}
46. R8a4 {+0.26/17 4s (Rh8+)} Qd5 {-0.21/19 3s (Qe6)}
47. Kh2 {+0.26/18 6s} Qb3 {-0.19/18 3s} 48. Ra8 {+0.26/17
6s} Qe6 {-0.12/16 4s (Qf3)} 49. Rf2 {0.00/17 6s (Rh8+)} Qe5
{-0.13/16 3s} 50. Ra4 {0.00/17 3s} Qe3 {-0.12/19 15s (g5)}
51. Raf4 {+0.01/18 6s (Raa2)} Qe1 {-0.12/20 2s (Qe5)}
52. Rb2 {+0.26/18 3s (Rf6)} Qe7 {-0.12/18 3s (Qe5)}
53. Rfb4 {+0.26/19 3s (Rb6)} Qe3 {-0.12/17 2s} 54. Rc2
{+0.26/19 4s (Rb7)} Qe5 {-0.12/20 3s (Kg5)} 55. Ra4
{+0.26/17 2s (Rf2)} Qe6 {-0.12/17 2s (Kg5)} 56. Rh4
{+0.26/20 6s (Rb4)} Qe1 {-0.12/21 5s (Qe3)} 57. Rf4
{+0.26/18 3s (Ra4)} Qe7 {-0.11/16 3s (Qe5)} 58. Rfc4
{+0.26/18 6s (Ra4)} Qg5 {-0.11/18 3s (Qe6)} 59. Re2
{+0.26/18 4s (Ra4)} Qf6 {-0.10/19 3s (Qf5)} 60. Kg2
{+0.29/16 3s (Rce4)} Qa6 {-0.10/19 4s (Qd6)} 61. Rce4
{+0.29/19 5s} Qa8 {-0.08/19 12s} 62. R2e3 {+0.26/18 5s
(Kf2)} Qd5 {-0.09/18 6s (Qa2+)} 63. Kf2 {+0.26/17 3s} Qf7+
{-0.08/18 10s (Qa2+)} 64. Kg1 {+0.28/17 4s (Kg2)} Qf5
{-0.08/19 4s} 65. Re5 {+0.28/19 3s (Re2)} Qh3 {-0.08/20 4s
(Qb1+)} 66. Re7 {+0.28/20 5s (R5e4)} Qg4 {-0.08/19 2s
(Qf5)} 67. Kg2 {+0.28/18 2s (Kh2)} Qd4 {-0.07/20 11s (Qd1)}
68. R7e5 {+0.28/18 4s (Re2)} g5 {-0.08/14 1s (Qa4)}
69. R3e4 {+0.27/16 3s} Qa1 {-0.08/15 3s (Qc3)} 70. Re8
{+0.27/15 5s (Re6+)} Qa2+ {-0.07/14 3s} 71. Re2 {+0.26/15
6s (Kf1)} Qd5+ {-0.08/14 1s} 72. Kh2 {+0.25/14 3s (Kf2)}
Kg6 {0.00/14 2s (h4)} 73. R8e5 {+0.20/15 6s (R8e6+)} Qd4
{-0.07/15 3s} 74. R5e4 {+0.19/15 5s (Re6+)} Qd3 {-0.08/16
2s (Qd5)} 75. Re6+ {+0.20/15 2s (R4e3)} Kf7 {-0.08/15 2s
(Kf5)} 76. Re7+ {+0.20/14 2s} Kf6 {-0.08/17 4s (Kg6)}
77. R2e6+ {+0.09/15 5s (R7e6+)} Kf5 {-0.08/9 0s} 78. Re5+
{+0.07/15 5s} Kg4 {-0.08/19 3s (Kf6)} 79. Re3 {0.00/16 1s}
Qc2+ {-0.08/19 4s (Qd2+)} 80. Re2 {0.00/18 3s} Qc3
{-0.07/18 2s (Qd3)} 81. R7e3 {0.00/17 3s} Qc5 {-0.01/19 9s
(Qc7)} 82. Re1 {0.00/16 3s (Kg2)} Kf5 {-0.06/17 10s (Qd6)}
83. Kh3 {+0.02/15 5s (Rf1+)} Qd5 {-0.04/16 3s} 84. Re8
{+0.06/15 4s (g4+)} Kf6 {-0.04/16 3s (h4)} 85. Kh2
{+0.01/14 4s (R8e4)} Kf7 {-0.07/15 3s (Qd6)} 86. R8e4
{+0.06/15 7s (R8e5)} Qd6 {-0.06/17 7s (h4)} 87. Kh3
{+0.01/16 3s (Rf1+)} Qf6 {-0.05/18 7s (h4)} 88. R1e2
{+0.06/15 2s (Kg2)} Qc6 {-0.02/17 12s (Qd6)} 89. Kg2
{+0.02/16 4s (Re7+)} Qd5 {-0.04/18 30s (h4)} 90. Kg1
{+0.02/17 3s (g4)} Kg6 {-0.06/15 3s (h4)} 91. Re5 {+0.02/16
4s (g4)} Qc4 {-0.07/14 1s (Qd4+)} 92. Kg2 {+0.02/15 2s
(Re6+)} Qc6+ {-0.05/15 4s (h4)} 93. Kh2 {+0.02/15 5s (Kf2)}
Kf6 {0.00/15 4s (Qf3)} 94. Re8 {+0.01/15 3s (Ra5)} Qc4
{-0.05/15 2s (Qd5)} 95. R8e3 {+0.01/14 3s (Rf2+)} Qc7
{-0.03/16 8s (h4)} 96. Rf3+ {+0.01/15 6s (Re6+)} Kg6
{-0.03/17 2s (Kg7)} 97. Re6+ {+0.01/15 3s} Kg7 {-0.02/17
3s} 98. Rfe3 {+0.01/17 3s} Qc2+ {-0.03/16 4s (Kf7)} 99. Re2
{+0.02/15 6s} Qc3 {-0.01/16 2s} 100. Kh3 {+0.02/16 4s
(R6e3)} Qd4 {-0.01/15 2s (Qf3)} 101. R6e4 {+0.05/15 3s} Qd5
{-0.02/16 1s (Qd7+)} 102. R2e3 {+0.01/16 3s (g4)} Kg6
{-0.04/16 1s} 103. Re1 {+0.01/17 7s (Re2)} Qf5+ {-0.03/16
2s (Kf6)} 104. Kg2 {0.00/18 5s} Qd7 {-0.01/16 1s (Qd5)}
105. Re6+ {+0.01/15 2s (g4)} Kf7 {-0.04/17 3s (Kf5)}
106. R6e2 {+0.01/17 2s} Qc6+ {-0.03/17 9s (h4)} 107. Kg1
{+0.01/14 2s (Kf2)} Kg7 {-0.04/15 1s (Qd7)} 108. Re5
{+0.01/16 3s (Re7+)} Kf6 {-0.03/16 4s} 109. Re8 {0.00/16 3s
(Kf2)} Qd6 {-0.04/13 1s} 110. R8e3 {0.00/17 3s (Kg2)} Qd5
{-0.04/17 6s (Kf5)} 111. R1e2 {0.00/19 6s (Kf2)} Kf5
{-0.03/16 1s} 112. Re8 {0.00/19 2s} Qb3 {-0.01/14 1s
(Qd4+)} 113. R8e5+ {0.00/17 4s (Kf2)} Kg4 {-0.01/16 3s}
114. R2e3 {0.00/19 4s} Qa2 {-0.01/15 1s (Qb7)} 115. Re8
{0.00/18 3s (Re2)} Kh3 {-0.53/14 1s} 116. Re2 {0.00/19 6s}
Qb1+ {-0.54/16 2s (Qd5)} 117. Re1 {0.00/19 1s (Kf2)} Qb7
{-0.67/14 0s (Qb6+)} 118. R8e3 {0.00/24 5s (R8e4)} Qg2#
{-M1/27 0s} 0-1
Common bug. And a little tricky to fix. I did this in 23.2 a few weeks back, in fact...
metax
Posts: 344
Joined: Wed Sep 23, 2009 5:56 pm
Location: Germany

Re: Deep Sjeng 50-move rule bug

Post by metax »

I have found this bug in Twisted Logic 20100131x, Rybka 2.2n2 (don't know about Rybka 3), ProDeo 1.5, Spike 1.2, SOS 5.1 and AnMon 5.60 so far. :)
Gian-Carlo Pascutto
Posts: 1243
Joined: Sat Dec 13, 2008 7:00 pm

Re: Deep Sjeng 50-move rule bug

Post by Gian-Carlo Pascutto »

Thanks for the report. I already have the code to check for mate first but I seem to have done some premature and wrong optimization later on.
alpha123
Posts: 660
Joined: Sat Dec 05, 2009 5:13 am
Location: Colorado, USA

Re: Deep Sjeng 50-move rule bug

Post by alpha123 »

Gian-Carlo Pascutto wrote:Thanks for the report. I already have the code to check for mate first but I seem to have done some premature and wrong optimization later on.
Good luck :). Hopefully not too hard.....

Any idea on when Deep Sjeng 4 will be ready?

Peter