Page 1 of 1

False bug in WinBoard

PostPosted: 29 Aug 2008, 19:58
by Gábor Szots
These were played with the newest version (4.3.14k):

[Event "thinker"]
[Site "LUCIFER"]
[Date "2008.08.29"]
[Round "1.6"]
[White "Pro Deo 1.6"]
[Black "Thinker 5.2I 64-bit 2CPU"]
[Result "1-0"]
[TimeControl "40/60"]
[Annotator "11. +0.30"]
[Number "12"]

1. e4 c5 2. Nf3 Nc6 3. d4 cxd4 4. Nxd4 Nf6 5. Nc3 d6 6. Bc4 Bd7 7. O-O e6
8. Be3 a6 9. f4 Na5 10. Bd3 Qc7 11. Qe2 {+0.30/10 1} Be7 12.
Bf2 {+0.31/10 1} Nc6 13. Rae1 {+0.28/10 1} O-O 14. e5 {+0.73/10 1} Ne8 15.
Qh5 {+0.69/9 1} h6 16. Rd1 {+0.84/9 1} Nxd4 17. Bxd4 {+0.94/5 0} f5 18.
Kh1 {+0.92/9 1} d5 19. Qg6 {+1.05/9 0} Qc6 20. g4 {+0.58/10 4} Nc7 21.
gxf5 {+0.66/9 1} exf5 22. Qg2 {+0.71/10 1} Be6 23. Ne2 {+0.91/9 1} Rf7 24.
Rg1 {+1.05/11 3} Bd7 25. Bf2 {+1.10/10 0} Bc5 26. Bxc5 {+0.82/9 0} Qxc5 27.
Qg6 {+1.03/10 1} Re8 28. b4 {+1.05/9 0} Qxb4 29. Qxh6 {+0.76/8 0} Bc6 30.
Qh5 {+2.55/1 0} d4+ 31. Rg2 {-1.19/10 1} Bxg2+ 32. Kxg2 {-0.66/5 0} Nd5 33.
Rg1 {-0.47/9 0} Ne3+ 34. Kh3 {-1.58/9 2} Qc5 35. Rg5 {+0.11/1 0} Re6 36.
c3 {+0.23/1 0} dxc3 37. Bxf5 {+0.23/1 0} Nxf5 38. Rxf5 {-9.50/9 1} Rh6 39.
Qxh6 {-10.87/11 2} gxh6 40. Rh5 {-5.62/1 0} Qe3+ 41. Ng3 {-17.99/9 0} c2
42. Rh4 {-19.09/9 1} c1=Q 43. Rg4+ {-327.49/9 0} Rg7 44.
Rxg7+ {-327.51/6 0} Kxg7 45. Kg4 {-327.59/6 0} Qxf4+ 46. Kh3 {-19.88/3 0}
Qd1 47. e6 {-327.59/3 0} Qdf3 48. e7 {-327.67/2 0} Q4g4#
{False win claim: 'Black wins'} 1-0

[Event "thinker"]
[Site "LUCIFER"]
[Date "2008.08.29"]
[Round "1.7"]
[White "Thinker 5.2I 64-bit 2CPU"]
[Black "SlowChess Blitz WV2.1"]
[Result "1-0"]
[TimeControl "40/60"]
[Annotator "11... +0.24"]
[Number "14"]

1. e4 c5 2. Nf3 Nc6 3. d4 cxd4 4. Nxd4 Nf6 5. Nc3 d6 6. Bc4 Bd7 7. O-O e6
8. Be3 a6 9. f4 Na5 10. Bd3 Qc7 11. Qf3 Be7 {+0.24/9 1} 12. Nb3
Nxb3 {+0.12/10 1} 13. axb3 O-O {+0.12/10 1} 14. f5 exf5 {-0.08/10 1} 15.
exf5 Rfe8 {-0.04/9 1} 16. Qg3 Rac8 {+0.00/10 1} 17. Bh6 Bf8 {-0.08/9 1} 18.
Bg5 Be7 {-0.07/10 2} 19. Be3 d5 {-0.28/11 1} 20. Qxc7 Rxc7 {-0.28/11 1} 21.
Rfe1 Bc6 {-0.20/10 1} 22. Bd4 Rcc8 {-0.08/10 2} 23. Kf1 Ng4 {-0.24/9 1} 24.
Be2 Nxh2+ {-1.12/8 0} 25. Kf2 Bd7 {+0.08/10 5} 26. f6 gxf6 {-0.32/9 2} 27.
Kg1 Ng4 {-0.32/10 1} 28. Bxg4 Bxg4 {-0.44/10 0} 29. Nxd5 Kf8 {-0.36/9 0}
30. c4 f5 {-0.40/11 1} 31. Rxe7 Rxe7 {-0.36/12 1} 32. Nxe7
Kxe7 {-0.36/11 0} 33. Kf2 Rc6 {-0.40/10 0} 34. Ra4 Kd7 {-0.52/11 1} 35. Rb4
Kc7 {-0.48/12 1} 36. c5 Re6 {-0.45/11 0} 37. Be3 Bd1 {-0.47/11 1} 38. g3
h5 {-0.44/11 1} 39. Rf4 Bg4 {-0.40/11 1} 40. Rd4 Re4 {-0.32/11 1} 41. b4
Kc8 {-0.45/12 1} 42. b3 Re6 {-0.52/11 0} 43. Rd3 Kc7 {-0.56/12 1} 44. Bf4+
Kc8 {-0.49/12 1} 45. Be3 Re4 {-0.45/12 0} 46. Rd4 Rxd4 {-0.44/12 0} 47.
Bxd4 Bd1 {-0.47/13 1} 48. Ke3 Kd7 {-0.45/13 1} 49. b5 axb5 {-1.47/12 1} 50.
b4 Kc6 {-1.47/13 1} 51. Kf4 Kd5 {-1.44/13 0} 52. Bc3 Bg4 {-1.42/14 1} 53.
Be1 f6 {-1.50/15 1} 54. Bd2 Kd4 {-1.50/15 1} 55. Be1 Kd3 {-1.50/15 0} 56.
Bf2 Kc3 {-1.48/15 1} 57. Be1+ Kd4 {-1.48/15 0} 58. Bf2+ Kd3 {-1.48/16 0}
59. Be1 Kc4 {-1.48/15 0} 60. Bd2 Kd5 {-1.42/15 0} 61. Bc3 Bh3 {-1.42/14 1}
62. Bd2 Kd4 {-1.42/15 1} 63. Be1 Kd3 {-1.42/15 1} 64. Kf3 Kc4 {-1.42/16 1}
65. Kf4 Kd4 {-1.42/16 1} 66. Bf2+ Kd5 {-1.42/17 1} 67. Be3 Kc4 {-1.42/16 1}
68. Bd2 Bg4 {-1.42/16 0} 69. Be1 Kb3 {-1.37/15 0} 70. Bd2 Kc2 {-1.37/15 1}
71. Be1 Kb2 {-1.37/15 1} 72. Bd2 Bh3 {-1.37/15 1} 73. Be1 Kc2 {-1.37/15 0}
74. Bf2 Kd2 {-1.37/15 1} 75. Bd4 Kd3 {-1.37/15 1} 76. Bf2 Kc2 {-1.37/16 1}
77. Be1 Kb2 {-1.37/15 1} 78. Bd2 Bg4 {-1.37/15 1} 79. Be1 Kb1 {-1.37/15 0}
80. Bc3 Ka2 {-0.63/15 1} 81. Be1 Ka3 {-1.37/16 1} 82. Bd2 Kb3 {-1.37/15 1}
83. Be1 Kc4 {-1.08/16 3} 84. Bd2 Kd5 {-1.08/15 0} 85. Bc3 Ke6 {-1.42/15 0}
86. Bd4 Be2 {-1.42/14 0} 87. Bc3 Bc4 {-1.42/14 1} 88. Bd2 Bd5 {-1.42/14 1}
89. Bc3 Bc6 {-1.42/15 0} 90. Bd4 Be4 {-1.42/15 0} 91. Bc3 Bd5 {-1.42/15 0}
92. Bd4 Bc6 {-1.42/16 1} 93. Bc3 Be4 {-1.42/15 0} 94. Bd4 Bd3 {-1.42/15 1}
95. Bc3 Bf1 {-1.42/15 0} 96. Be1 Bg2 {-1.42/15 1} 97. Bc3 Bh3 {-1.42/15 0}
98. Bb2 Bf1 {-1.42/15 0} 99. Bd4 Bc4 {-1.42/14 0} 100. Bc3 Bd5 {-1.08/14 0}
101. Bd4 Bc4 {-0.82/14 1} 102. Bc3 Bd3 {-0.26/13 1} 103. Ke3
f4+ {-0.39/11 0} 104. Kxd3 fxg3 {-0.20/11 0} 105. Ke4 h4 {-0.11/11 0} 106.
Kf3 Kf5 {+0.36/13 1} 107. Be1 Ke5 {+0.23/13 1} 108. Kg4 f5+ {+0.20/12 0}
109. Kxh4 f4 {+0.20/14 1} 110. Kh3 Ke4 {+0.20/14 0} 111. Bc3
Ke3 {-0.05/13 1} 112. Be5 f3 {+0.15/13 1} 113. Bxg3 Ke2 {-6.61/19 1} 114.
Kg4 f2 {-7.27/18 0} 115. Bxf2 Kxf2 {-10.93/20 0} 116. Kf4 Ke2 {-13.58/23 1}
117. Ke4 Kd2 {-13.58/24 0} 118. Kd4 Kc2 {-13.78/23 0} 119. Kd5
Kc3 {-13.78/22 0} 120. c6 bxc6+ {-14.12/21 1} 121. Kc5 Kb3 {-14.12/22 0}
122. Kxc6 Kxb4 {-99.73/23 1} 123. Kb6 Kc4 {-99.75/21 1} 124. Kc7
b4 {-99.77/19 1} 125. Kd6 Kd4 {-99.79/17 0} 126. Ke7 b3 {-99.81/15 0} 127.
Kd6 b2 {-99.83/13 0} 128. Ke6 b1=Q {-99.85/11 0} 129. Kf6 Kd5 {-99.87/9 0}
130. Kf7 Qf5+ {-99.89/7 0} 131. Kg7 Ke5 {-99.91/6 0} 132. Kh6
Qg4 {-99.93/4 0} 133. Kh7 Kf6 {-99.95/3 0} 134. Kh6 Qh4# {-99.97/1 0}
{False win claim: 'Black Mates'} 1-0

Re: False bug in WinBoard

PostPosted: 06 Sep 2008, 17:52
by H.G.Muller
You are probably using "verify claims" while mate "detect mates" is off. This combination of settings does not work in 4.3.14. I should really have the ticking of verify claims also set detect mates, and cearing of detect mates also clear veify claims. I never gave this much thought, though, as I did not consider it a useful combination of options anyway.

It seems that more people are interested to use this setting than I thought, though. So I implemented it to work in version 4.3.15. This is not officially released yet, but the most recent alpha version is always on my website as 'alpha.tst' (currently 4.3.15e).

Re: False bug in WinBoard

PostPosted: 15 Sep 2008, 12:03
by Gábor Szots
H.G.Muller wrote:I should really have the ticking of verify claims also set detect mates, and cearing of detect mates also clear veify claims.


I like this solution.

Re: False bug in WinBoard

PostPosted: 15 Sep 2008, 18:23
by H.G.Muller
Well, it no longer needed, since I now have made it such that the mate test is always done, and the result remembered, even when detect mates is off, and that it just ignores the result if detect mates is off. Verify claims can then make use of the result. So in the current alpha.tst it is no longer an issue, and people can use any combination of detect mates and verify claims they want.