Ceibo syzygy problem

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

Moderator: Ras

User avatar
Gabor Szots
Posts: 1488
Joined: Sat Jul 21, 2018 7:43 am
Location: Budapest, Hungary
Full name: Gabor Szots

Ceibo syzygy problem

Post by Gabor Szots »

I have just witnessed the following game:

[pgn][Event "Ceibo 0.9 64-bit - Aug 11, Blitz 2.0min"]
[Site "Szentendre"]
[Date "2022.08.11"]
[Round "1.11"]
[White "Ceibo 0.9 64-bit"]
[Black "Jonny 4.00"]
[Result "1/2-1/2"]
[ECO "D40"]
[PlyCount "402"]
[EventDate "2022.08.11"]
[EventType "simul"]
[SourceTitle "Fritz Engine Tournament"]
[Source "Szots"]
[TimeControl "120+1"]

{Intel(R) Core(TM) i5-4690K CPU @ 3.50GHz 3492 MHz W=20.6 plies; 3 451kN/s;
2 118 469 739 TBAs; SuperGM_4mvs.ctg B=15.6 plies; 2 379kN/s; SuperGM_4mvs.ctg
} 1. Nf3 {[%eval 0,0] [%emt 0:00:00]} Nf6 {[%eval 0,0] [%emt 0:00:00]} 2. c4 {
[%eval 0,0] [%emt 0:00:00]} e6 {[%eval 0,0] [%emt 0:00:00]} 3. d4 {[%eval 0,0]
[%emt 0:00:00]} d5 {[%eval 0,0] [%emt 0:00:00]} 4. Nc3 {[%eval 0,0] [%emt 0:00:
00]} a6 {[%emt 0:00:13]} 5. e3 {[%eval 5,17] [%emt 0:00:03] (cxd5)} c5 {
[%emt 0:00:02]} 6. cxd5 {[%eval -8,17] [%emt 0:00:03] (a3)} exd5 {[%emt 0:00:
02]} 7. Bd3 {[%eval -8,17] [%emt 0:00:03] (a3)} c4 {[%emt 0:00:08] (Be6)} 8.
Bc2 {[%eval 4,17] [%emt 0:00:03]} Bb4 {[%emt 0:00:02]} 9. O-O {[%eval -8,19]
[%emt 0:00:03]} O-O {[%emt 0:00:03]} 10. Bd2 {[%eval 11,18] [%emt 0:00:03]
(Ne5)} Nc6 {[%emt 0:00:02]} 11. a3 {[%eval -19,17] [%emt 0:00:03] (Ne5)} Be7 {
[%emt 0:00:02] (Bd6)} 12. h3 {[%eval 11,16] [%emt 0:00:03] (Re1)} Re8 {[%emt 0:
00:04] (Qc7)} 13. Ne5 {[%eval 8,16] [%emt 0:00:03] (Re1)} Be6 {[%emt 0:00:03]
(Bf8)} 14. f4 {[%eval -1,16] [%emt 0:00:03] (Qf3)} Bd6 {[%emt 0:00:05] (Qb6)}
15. f5 {[%eval 30,19] [%emt 0:00:03] (g4)} Bc8 {[%emt 0:00:02]} 16. Ng4 {
[%eval 8,20] [%emt 0:00:03]} Be7 {[%emt 0:00:02]} 17. Qf3 {[%eval 29,22] [%emt
0:00:09]} Nxg4 {[%emt 0:00:03]} 18. hxg4 {[%eval 31,21] [%emt 0:00:03]} Bg5 {
[%emt 0:00:04]} 19. Rad1 {[%eval 44,20] [%emt 0:00:05]} Ne7 {[%emt 0:00:02]}
20. e4 {[%eval 78,20] [%emt 0:00:04] (b3)} dxe4 {[%emt 0:00:01]} 21. Nxe4 {
[%eval 84,20] [%emt 0:00:04]} Bxd2 {[%emt 0:00:04]} 22. Rxd2 {[%eval 108,19]
[%emt 0:00:04]} Nd5 {[%emt 0:00:03]} 23. g5 {[%eval 78,18] [%emt 0:00:04]
(Rdd1)} Qa5 {[%emt 0:00:05] (Kh8)} 24. g6 {[%eval 241,17] [%emt 0:00:05] (Rdd1)
} Nf6 {[%emt 0:00:05] (Rf8)} 25. Re2 {[%eval 200,19] [%emt 0:00:05]} Bd7 {
[%emt 0:00:01]} 26. gxf7+ {[%eval 195,19] [%emt 0:00:04]} Kxf7 {[%emt 0:00:01]}
27. Nd6+ {[%eval 196,20] [%emt 0:00:04]} Kg8 {[%emt 0:00:03]} 28. Nxe8 {
[%eval 201,21] [%emt 0:00:04]} Rxe8 {[%emt 0:00:01]} 29. Bd1 {[%eval 212,21]
[%emt 0:00:04]} Bc6 {[%emt 0:00:04] (Qb5)} 30. Rxe8+ {[%eval 211,21] [%emt 0:
00:04]} Bxe8 {[%emt 0:00:02]} 31. Be2 {[%eval 240,20] [%emt 0:00:03] (Qe3)} Qb5
{[%emt 0:00:01] (b5)} 32. Qc3 {[%eval 233,22] [%emt 0:00:03] (Rf2)} Bf7 {
[%emt 0:00:02]} 33. Rc1 {[%eval 233,22] [%emt 0:00:03]} Qxf5 {[%emt 0:00:04]}
34. Bxc4 {[%eval 238,21] [%emt 0:00:03]} h6 {[%emt 0:00:01]} 35. Bxf7+ {
[%eval 267,22] [%emt 0:00:03] (Qb3)} Kxf7 {[%emt 0:00:03]} 36. Qg3 {[%eval 297,
22] [%emt 0:00:03] (Qb3+)} g5 {[%emt 0:00:03]} 37. Rf1 {[%eval 267,24] [%emt 0:
00:03] (Qc7+)} Qe6 {[%emt 0:00:02]} 38. Qe5 {[%eval 273,23] [%emt 0:00:03]} a5
{[%emt 0:00:02] (Qe7)} 39. Kh2 {[%eval 270,21] [%emt 0:00:03] (b3)} b6 {
[%emt 0:00:03]} 40. a4 {[%eval 294,23] [%emt 0:00:03] (Rf3)} Qe7 {[%emt 0:00:
01]} 41. g4 {[%eval 343,25] [%emt 0:00:02] (Kg3)} Qe6 {[%emt 0:00:02] (Qd8)}
42. b3 {[%eval 313,25] [%emt 0:00:02] (Rf3)} Qe7 {[%emt 0:00:01]} 43. Rf5 {
[%eval 389,26] [%emt 0:00:02] (Kg3)} Qe6 {[%emt 0:00:01]} 44. Kg2 {[%eval 373,
26] [%emt 0:00:02]} Qe7 {[%emt 0:00:01]} 45. Kg3 {[%eval 357,25] [%emt 0:00:02]
} Qe6 {[%emt 0:00:05]} 46. Kh2 {[%eval 343,25] [%emt 0:00:03] (d5)} Qe7 {
[%emt 0:00:01]} 47. Kg2 {[%eval 343,26] [%emt 0:00:02] (Kh3)} Qe6 {[%emt 0:00:
01]} 48. Kf2 {[%eval 373,26] [%emt 0:00:02] (Kf1)} Qe7 {[%emt 0:00:01]} 49. Kf3
{[%eval 355,28] [%emt 0:00:02]} Qe6 {[%emt 0:00:04]} 50. d5 {[%eval 397,28]
[%emt 0:00:02]} Qe7 {[%emt 0:00:01]} 51. Kg3 {[%eval 464,27] [%emt 0:00:02]}
Qxe5+ {[%emt 0:00:03]} 52. Rxe5 {[%eval 443,27] [%emt 0:00:02]} Nd7 {[%emt 0:
00:04]} 53. Re6 {[%eval 496,24] [%emt 0:00:02]} Kf8 {[%emt 0:00:04]} 54. Rxh6 {
[%eval 580,25] [%emt 0:00:02]} Ke7 {[%emt 0:00:02]} 55. Rg6 {[%eval 599,24]
[%emt 0:00:02] (Re6+)} Nf6 {[%emt 0:00:01] (Kf7)} 56. Rxg5 {[%eval 754,25]
[%emt 0:00:03] (Kf3)} Ne4+ {[%emt 0:00:09]} 57. Kf4 {[%eval 826,25] [%emt 0:00:
02]} Nf2 {[%emt 0:00:03] (Nd2)} 58. Rg6 {[%eval 883,24] [%emt 0:00:02] (Kf3)}
Nd3+ {[%emt 0:00:01]} 59. Kf5 {[%eval 1078,25] [%emt 0:00:03] (Ke3)} Nb4 {
[%emt 0:00:02]} 60. Ke4 {[%eval 1238,25] [%emt 0:00:03] (Re6+)} Na6 {[%emt 0:
00:02] (Kd7)} 61. Rxb6 {[%eval 2046,27] [%emt 0:00:02]} Nc5+ {[%emt 0:00:01]}
62. Kf5 {[%eval 2252,26] [%emt 0:00:01]} Nd7 {[%emt 0:00:01] (Kd8)} 63. Rb7 {
[%eval 3199,25] [%emt 0:00:01] (Re6+)} Kd6 {[%emt 0:00:00]} 64. Rxd7+ {[%eval
2709,21] [%emt 0:00:01] (g5)} Kxd7 {[%emt 0:00:00]} 65. Kg5 {[%eval 3740,20]
[%emt 0:00:01] (g5)} Ke7 {[%emt 0:00:02] (Kc8)} 66. Kf4 {[%eval 2747,19] [%emt
0:00:01] (Kg6)} Kd6 {[%emt 0:00:01] (Kf8)} 67. Kg3 {[%eval 2769,19] [%emt 0:00:
01] (Ke4)} Kc5 {[%emt 0:00:02] (Kd7)} 68. Kf2 {[%eval 2777,20] [%emt 0:00:01]
(g5)} Kd6 {[%emt 0:00:00]} 69. Kg2 {[%eval 2777,19] [%emt 0:00:01] (g5)} Kc5 {
[%emt 0:00:01] (Kc7)} 70. Kh1 {[%eval 2777,19] [%emt 0:00:01] (Kf3)} Kd6 {
[%emt 0:00:06]} 71. Kh2 {[%eval 2777,20] [%emt 0:00:01]} Kc5 {[%emt 0:00:00]
(Kc7)} 72. Kg3 {[%eval 2749,21] [%emt 0:00:01] (Kg2)} Kd6 {[%emt 0:00:01]} 73.
Kf4 {[%eval 2777,20] [%emt 0:00:01] (g5)} Kd7 {[%emt 0:00:01]} 74. d6 {[%eval
2780,19] [%emt 0:00:01] (Ke4)} Ke6 {[%emt 0:00:01] (Ke8)} 75. Kf3 {[%eval 2780,
19] [%emt 0:00:01] (g5)} Kf6 {[%emt 0:00:00] (Kd7)} 76. Ke2 {[%eval 2780,17]
[%emt 0:00:01] (g5+)} Ke6 {[%emt 0:00:01]} 77. Kf2 {[%eval 2780,18] [%emt 0:00:
01] (Ke3)} Kd7 {[%emt 0:00:00] (Kf7)} 78. Kg3 {[%eval 2780,18] [%emt 0:00:01]
(g5)} Ke8 {[%emt 0:00:00] (Kc6)} 79. Kh4 {[%eval 2816,18] [%emt 0:00:01] (d7+)}
Kd7 {[%emt 0:00:01]} 80. Kh3 {[%eval 2781,18] [%emt 0:00:01]} Kxd6 {[%emt 0:00:
00] (Ke6)} 81. Kg3 {[%eval 2481,23] [%emt 0:00:01]} Kc5 {[%emt 0:00:00] (Kd7)}
82. Kh4 {[%eval 2595,23] [%emt 0:00:01] (Kf2)} Kd6 {[%emt 0:00:01] (Kd5)} 83.
Kh5 {[%eval 2595,22] [%emt 0:00:01] (g5)} Ke6 {[%emt 0:00:00] (Kd7)} 84. Kh6 {
[%eval 2565,23] [%emt 0:00:01] (g5)} Kd5 {[%emt 0:00:01] (Kd6)} 85. Kh7 {
[%eval 2627,22] [%emt 0:00:01] (g5)} Kc5 {[%emt 0:00:00] (Ke4)} 86. Kg8 {
[%eval 2648,21] [%emt 0:00:01] (g5)} Kb4 {[%emt 0:00:00] (Kc6)} 87. Kh8 {
[%eval 2683,23] [%emt 0:00:01] (g5)} Kc3 {[%emt 0:00:00]} 88. Kh7 {[%eval 2702,
24] [%emt 0:00:01] (g5)} Kb2 {[%emt 0:00:00] (Kxb3)} 89. Kg6 {[%eval 2200,21]
[%emt 0:00:01] (g5)} Kc3 {[%emt 0:00:00] (Kxb3)} 90. Kh6 {[%eval 2194,20]
[%emt 0:00:01] (g5)} Kc2 {[%emt 0:00:00] (Kxb3)} 91. Kg7 {[%eval 1257,23]
[%emt 0:00:01] (g5)} Kb2 {[%emt 0:00:00] (Kxb3)} 92. Kf7 {[%eval 2482,22]
[%emt 0:00:01] (g5)} Kc2 {[%emt 0:00:00] (Kxb3)} 93. Kg8 {[%eval 2364,21]
[%emt 0:00:01] (g5)} Kb2 {[%emt 0:00:00]} 94. Kf8 {[%eval 2516,25] [%emt 0:00:
01] (g5)} Ka2 {[%emt 0:00:00] (Kb1)} 95. b4 {[%eval 2560,23] [%emt 0:00:01]
(g5)} axb4 {[%emt 0:00:00]} 96. a5 {[%eval 2560,1] [%emt 0:00:00]} b3 {[%emt 0:
00:00] (Kb2)} 97. a6 {[%eval 151,1] [%emt 0:00:00]} b2 {[%emt 0:00:00]} 98. a7
{[%eval 160,1] [%emt 0:00:00]} b1=R {[%emt 0:00:00]} 99. a8=Q+ {[%eval 2506,21]
[%emt 0:00:02]} Kb3 {[%emt 0:00:00] (Kb2)} 100. Qd8 {[%eval 2560,15] [%emt 0:
00:01] (Qb8+)} Rf1+ {[%emt 0:00:00] (Kc4)} 101. Ke7 {[%eval 2575,17] [%emt 0:
00:02] (Kg7)} Re1+ {[%emt 0:00:00]} 102. Kf7 {[%eval 2614,16] [%emt 0:00:01]}
Rf1+ {[%emt 0:00:00] (Rd1)} 103. Kg8 {[%eval 2614,16] [%emt 0:00:01] (Kg7)} Kc2
{[%emt 0:00:00] (Ka4)} 104. Qa8 {[%eval 2624,16] [%emt 0:00:01] (g5)} Kd2 {
[%emt 0:00:00] (Kb2)} 105. Qa7 {[%eval 2624,17] [%emt 0:00:01] (g5)} Re1 {
[%emt 0:00:00] (Kc1)} 106. Qa4 {[%eval 2624,15] [%emt 0:00:01] (g5)} Re3 {
[%emt 0:00:00] (Kc1)} 107. Qa6 {[%eval 2624,15] [%emt 0:00:01] (g5)} Re8+ {
[%emt 0:00:00] (Re1)} 108. Kf7 {[%eval 2602,17] [%emt 0:00:01]} Re4 {[%emt 0:
00:00] (Kc2)} 109. g5 {[%eval 2624,14] [%emt 0:00:01]} Rf4+ {[%emt 0:00:00]
(Ke1)} 110. Qf6 {[%eval 2602,16] [%emt 0:00:01]} Rc4 {[%emt 0:00:00] (Rxf6+)}
111. Qh8 {[%eval 2594,14] [%emt 0:00:01] (Qd6+)} Rf4+ {[%emt 0:00:00] (Kc2)}
112. Ke8 {[%eval 2624,15] [%emt 0:00:01] (Kg8)} Re4+ {[%emt 0:00:00]} 113. Kd8
{[%eval 2594,15] [%emt 0:00:01] (Kf8)} Rb4 {[%emt 0:00:00] (Rf4)} 114. Qf8 {
[%eval 2624,14] [%emt 0:00:01] (Qh2+)} Rd4+ {[%emt 0:00:00] (Ke1)} 115. Ke7 {
[%eval 2624,15] [%emt 0:00:01]} Re4+ {[%emt 0:00:00]} 116. Kf6 {[%eval 2632,16]
[%emt 0:00:01] (Kf7)} Rf4+ {[%emt 0:00:00] (Ke2)} 117. Kg7 {[%eval 1234,26]
[%emt 0:00:01]} Rc4 {[%emt 0:00:00] (Rxf8)} 118. Kh8 {[%eval 2594,15] [%emt 0:
00:01] (g6)} Rh4+ {[%emt 0:00:00] (Kc2)} 119. Qh6 {[%eval 2594,16] [%emt 0:00:
01] (Kg8)} Rg4 {[%emt 0:00:00] (Rd4)} 120. g6+ {[%eval 2624,15] [%emt 0:00:01]}
Ke2 {[%emt 0:00:00] (Kc3)} 121. Qh1 {[%eval 2594,15] [%emt 0:00:01] (g7)} Kf2 {
[%emt 0:00:00] (Rxg6)} 122. Kh7 {[%eval 2624,14] [%emt 0:00:01] (g7)} Rf4 {
[%emt 0:00:00] (Rg3)} 123. Qa8 {[%eval 2594,13] [%emt 0:00:01] (g7)} Rh4+ {
[%emt 0:00:00] (Kg3)} 124. Kg7 {[%eval 2624,15] [%emt 0:00:01] (Kg8)} Ke3 {
[%emt 0:00:00] (Kg3)} 125. Qa5 {[%eval 2624,14] [%emt 0:00:01] (Qa3+)} Kf2 {
[%emt 0:00:00] (Kf4)} 126. Qa7+ {[%eval 2624,14] [%emt 0:00:01] (Qf5+)} Kf3 {
[%emt 0:00:00] (Kg3)} 127. Kf8 {[%eval 2594,15] [%emt 0:00:01] (Qf7+)} Rh8+ {
[%emt 0:00:00] (Rf4+)} 128. Kf7 {[%eval 2594,15] [%emt 0:00:01]} Rh4 {[%emt 0:
00:00]} 129. Qa5 {[%eval 2624,14] [%emt 0:00:01] (Qa3+)} Rf4+ {[%emt 0:00:00]}
130. Ke8 {[%eval 2624,16] [%emt 0:00:01] (Kg8)} Re4+ {[%emt 0:00:00]} 131. Kd8
{[%eval 2594,16] [%emt 0:00:01] (Kf8)} Rd4+ {[%emt 0:00:00]} 132. Kc8 {[%eval
2624,13] [%emt 0:00:01] (Ke7)} Rc4+ {[%emt 0:00:00] (Re4)} 133. Kd7 {[%eval
2624,13] [%emt 0:00:01]} Rd4+ {[%emt 0:00:00] (Re4)} 134. Ke6 {[%eval 2624,14]
[%emt 0:00:01] (Ke7)} Re4+ {[%emt 0:00:00]} 135. Kf5 {[%eval 2624,15] [%emt 0:
00:01] (Kf6)} Rf4+ {[%emt 0:00:00]} 136. Kg5 {[%eval 2594,15] [%emt 0:00:01]}
Rg4+ {[%emt 0:00:00] (Re4)} 137. Kh5 {[%eval 2594,15] [%emt 0:00:01] (Kf6)} Rg1
{[%emt 0:00:00] (Rf4)} 138. Kh6 {[%eval 2868,15] [%emt 0:00:01] (Qd5+)} Rh1+ {
[%emt 0:00:00]} 139. Kg7 {[%eval 2624,15] [%emt 0:00:01]} Kg4 {[%emt 0:00:00]
(Rg1)} 140. Qa8 {[%eval 2603,14] [%emt 0:00:01] (Qb4+)} Rg1 {[%emt 0:00:00]}
141. Qg8 {[%eval 2624,14] [%emt 0:00:01] (Qe4+)} Rg2 {[%emt 0:00:00] (Kh4)}
142. Qe6+ {[%eval 2594,15] [%emt 0:00:01] (Qd5)} Kh4 {[%emt 0:00:00] (Kg3)}
143. Qb3 {[%eval 2624,14] [%emt 0:00:01] (Qe1+)} Rg1 {[%emt 0:00:00] (Kg4)}
144. Qb5 {[%eval 2624,15] [%emt 0:00:01] (Kh6)} Rg4 {[%emt 0:00:00]} 145. Qb7 {
[%eval 2624,15] [%emt 0:00:01] (Kh6)} Kg5 {[%emt 0:00:00] (Kh3)} 146. Qa8 {
[%eval 2624,16] [%emt 0:00:01] (Qd5+)} Rd4 {[%emt 0:00:00] (Rf4)} 147. Qf8 {
[%eval 2624,15] [%emt 0:00:01] (Qg2+)} Rd7+ {[%emt 0:00:00] (Rf4)} 148. Kg8 {
[%eval 1167,16] [%emt 0:00:01]} Rd3 {[%emt 0:00:00] (Kxg6)} 149. Qa8 {[%eval
2624,13] [%emt 0:00:01] (g7)} Rg3 {[%emt 0:00:00] (Rd7)} 150. Qa6 {[%eval 2624,
14] [%emt 0:00:01] (g7)} Kf4 {[%emt 0:00:00] (Kh5)} 151. Qa7 {[%eval 2594,14]
[%emt 0:00:01] (Qf6+)} Rxg6+ {[%emt 0:00:00]} 152. Kf7 {[%eval 1231,17] [%emt
0:00:01]} Rg3 {[%emt 0:00:00] (Ke5)} 153. Qb6 {[%eval 1294,13] [%emt 0:00:01]
(Qc7+)} Rd3 {[%emt 0:00:00] (Kg4)} 154. Qc5 {[%eval 1294,13] [%emt 0:00:01]
(Qf2+)} Ke4 {[%emt 0:00:00] (Rf3)} 155. Qb5 {[%eval 1294,13] [%emt 0:00:01]
(Qc4+)} Kd4 {[%emt 0:00:00] (Ke3)} 156. Qd7+ {[%eval 1295,14] [%emt 0:00:01]}
Kc4 {[%emt 0:00:00] (Kc5)} 157. Qc7+ {[%eval 1295,16] [%emt 0:00:01]} Kd4 {
[%emt 0:00:00]} 158. Kf6 {[%eval 1295,16] [%emt 0:00:01] (Qf4+)} Rf3+ {[%emt 0:
00:00] (Ke3)} 159. Kg6 {[%eval 1295,16] [%emt 0:00:01] (Kg5)} Rd3 {[%emt 0:00:
00] (Rg3+)} 160. Qg7+ {[%eval 1265,16] [%emt 0:00:01] (Kf5)} Ke4 {[%emt 0:00:
00] (Ke3)} 161. Kh5 {[%eval 1295,16] [%emt 0:00:01] (Qe7+)} Rd4 {[%emt 0:00:00]
(Rh3+)} 162. Qh7+ {[%eval 1265,16] [%emt 0:00:01] (Kg4)} Ke3 {[%emt 0:00:00]
(Kd5)} 163. Kg5 {[%eval 1265,17] [%emt 0:00:01] (Qe7+)} Rd5+ {[%emt 0:00:00]
(Kd2)} 164. Kf6 {[%eval 1265,17] [%emt 0:00:01] (Kg4)} Kd4 {[%emt 0:00:00]
(Rd4)} 165. Qh1 {[%eval 1299,16] [%emt 0:00:01] (Qa7+)} Rd6+ {[%emt 0:00:00]
(Kc5)} 166. Kf5 {[%eval 1299,17] [%emt 0:00:01]} Rd5+ {[%emt 0:00:00]} 167. Kf4
{[%eval 1269,17] [%emt 0:00:01]} Kc5 {[%emt 0:00:00]} 168. Qh8 {[%eval 1269,16]
[%emt 0:00:01] (Qg1+)} Rd4+ {[%emt 0:00:00] (Kc6)} 169. Ke5 {[%eval 1299,16]
[%emt 0:00:01] (Ke3)} Rd2 {[%emt 0:00:00] (Rd5+)} 170. Qh3 {[%eval 1299,15]
[%emt 0:00:01] (Qf8+)} Rd5+ {[%emt 0:00:00]} 171. Ke4 {[%eval 1269,17] [%emt 0:
00:01] (Kf4)} Rd4+ {[%emt 0:00:00] (Kc4)} 172. Kf5 {[%eval 1299,17] [%emt 0:00:
01] (Ke3)} Rd5+ {[%emt 0:00:00]} 173. Ke6 {[%eval 1269,18] [%emt 0:00:01] (Kf4)
} Rd6+ {[%emt 0:00:00] (Rd4)} 174. Ke7 {[%eval 1299,18] [%emt 0:00:01]} Rd4 {
[%emt 0:00:00] (Rd5)} 175. Qh2 {[%eval 1269,17] [%emt 0:00:01] (Qf5+)} Kd5 {
[%emt 0:00:00] (Kb5)} 176. Qh8 {[%eval 1335,17] [%emt 0:00:01] (Qh5+)} Re4+ {
[%emt 0:00:00] (Kc4)} 177. Kd7 {[%eval 1269,15] [%emt 0:00:01] (Kf6)} Re3 {
[%emt 0:00:00] (Kc4)} 178. Qa1 {[%eval 1299,15] [%emt 0:00:01] (Qa8+)} Re4 {
[%emt 0:00:00] (Re5)} 179. Qf1 {[%eval 1299,16] [%emt 0:00:01] (Qa5+)} Ke5 {
[%emt 0:00:00]} 180. Qc1 {[%eval 1299,16] [%emt 0:00:01] (Qb5+)} Rd4+ {[%emt 0:
00:00]} 181. Kc6 {[%eval 1269,17] [%emt 0:00:01] (Ke7)} Rd6+ {[%emt 0:00:00]
(Ke4)} 182. Kc5 {[%eval 1299,17] [%emt 0:00:01] (Kb5)} Rd5+ {[%emt 0:00:00]}
183. Kb4 {[%eval 1269,18] [%emt 0:00:01] (Kc4)} Rd4+ {[%emt 0:00:00]} 184. Kb5
{[%eval 1299,16] [%emt 0:00:01] (Kc3)} Rd5+ {[%emt 0:00:00]} 185. Kb6 {[%eval
1269,17] [%emt 0:00:01] (Kc4)} Rd6+ {[%emt 0:00:00] (Rd4)} 186. Ka7 {[%eval
1299,18] [%emt 0:00:01] (Kb5)} Rd7+ {[%emt 0:00:00] (Rd5)} 187. Ka8 {[%eval
1269,20] [%emt 0:00:01] (Ka6)} Rd8+ {[%emt 0:00:00]} 188. Kb7 {[%eval 1269,16]
[%emt 0:00:01]} Rd7+ {[%emt 0:00:00] (Kf5)} 189. Kb8 {[%eval 1299,20] [%emt 0:
00:01] (Ka6)} Rd4 {[%emt 0:00:00] (Rd8+)} 190. Qg1 {[%eval 1299,17] [%emt 0:00:
01] (Kc7)} Rd7 {[%emt 0:00:00] (Ke4)} 191. Qg5+ {[%eval 1299,18] [%emt 0:00:01]
} Ke6 {[%emt 0:00:00]} 192. Qg8+ {[%eval 1299,19] [%emt 0:00:01] (Qg4+)} Ke5 {
[%emt 0:00:00] (Ke7)} 193. Qc8 {[%eval 1299,18] [%emt 0:00:01] (Qg3+)} Rd3 {
[%emt 0:00:00] (Kd6)} 194. Qc5+ {[%eval 1299,17] [%emt 0:00:01]} Rd5 {[%emt 0:
00:00] (Ke4)} 195. Qe3+ {[%eval 1299,19] [%emt 0:00:01] (Qe7+)} Kd6 {[%emt 0:
00:00] (Kf5)} 196. Qb3 {[%eval 1299,19] [%emt 0:00:01] (Qb6+)} Rc5 {[%emt 0:00:
00] (Ke6)} 197. Qb6+ {[%eval 1269,22] [%emt 0:00:01]} Kd5 {[%emt 0:00:00]} 198.
Qf6 {[%eval 1239,21] [%emt 0:00:01] (Kb7)} Rc6 {[%emt 0:00:00] (Ke4)} 199. Qa1
{[%eval 0,56] [%emt 0:00:01] (Qf5+)} Rb6+ {[%emt 0:00:00] (Rc5)} 200. Ka7 {
[%eval 0,142] [%emt 0:00:01]} Rb5 {[%emt 0:00:00]} 201. Qa3 {[%eval 0,250]
[%emt 0:00:01] (Qa2+)} Rb4 {[%emt 0:00:00]} 1/2-1/2
[/pgn]

As the position was an easy win I suspect there is some syzygy bug with Ceibo. I have the complete 6-man syzygy tablebases. Maybe it can only use 5-man syzygy.

PS. Please report this to Federico in case you have contact with him in some way. I don't know if he reads this forum.
Gabor Szots
CCRL testing group
federico
Posts: 32
Joined: Sun Oct 22, 2017 4:36 am
Location: Canada
Full name: Federico Rojo

Re: Ceibo syzygy problem

Post by federico »

Gabor Szots wrote: Thu Aug 11, 2022 4:04 pm I have just witnessed the following game:

[pgn][Event "Ceibo 0.9 64-bit - Aug 11, Blitz 2.0min"]
[Site "Szentendre"]
[Date "2022.08.11"]
[Round "1.11"]
[White "Ceibo 0.9 64-bit"]
[Black "Jonny 4.00"]
[Result "1/2-1/2"]
[ECO "D40"]
[PlyCount "402"]
[EventDate "2022.08.11"]
[EventType "simul"]
[SourceTitle "Fritz Engine Tournament"]
[Source "Szots"]
[TimeControl "120+1"]

{Intel(R) Core(TM) i5-4690K CPU @ 3.50GHz 3492 MHz W=20.6 plies; 3 451kN/s;
2 118 469 739 TBAs; SuperGM_4mvs.ctg B=15.6 plies; 2 379kN/s; SuperGM_4mvs.ctg
} 1. Nf3 {[%eval 0,0] [%emt 0:00:00]} Nf6 {[%eval 0,0] [%emt 0:00:00]} 2. c4 {
[%eval 0,0] [%emt 0:00:00]} e6 {[%eval 0,0] [%emt 0:00:00]} 3. d4 {[%eval 0,0]
[%emt 0:00:00]} d5 {[%eval 0,0] [%emt 0:00:00]} 4. Nc3 {[%eval 0,0] [%emt 0:00:
00]} a6 {[%emt 0:00:13]} 5. e3 {[%eval 5,17] [%emt 0:00:03] (cxd5)} c5 {
[%emt 0:00:02]} 6. cxd5 {[%eval -8,17] [%emt 0:00:03] (a3)} exd5 {[%emt 0:00:
02]} 7. Bd3 {[%eval -8,17] [%emt 0:00:03] (a3)} c4 {[%emt 0:00:08] (Be6)} 8.
Bc2 {[%eval 4,17] [%emt 0:00:03]} Bb4 {[%emt 0:00:02]} 9. O-O {[%eval -8,19]
[%emt 0:00:03]} O-O {[%emt 0:00:03]} 10. Bd2 {[%eval 11,18] [%emt 0:00:03]
(Ne5)} Nc6 {[%emt 0:00:02]} 11. a3 {[%eval -19,17] [%emt 0:00:03] (Ne5)} Be7 {
[%emt 0:00:02] (Bd6)} 12. h3 {[%eval 11,16] [%emt 0:00:03] (Re1)} Re8 {[%emt 0:
00:04] (Qc7)} 13. Ne5 {[%eval 8,16] [%emt 0:00:03] (Re1)} Be6 {[%emt 0:00:03]
(Bf8)} 14. f4 {[%eval -1,16] [%emt 0:00:03] (Qf3)} Bd6 {[%emt 0:00:05] (Qb6)}
15. f5 {[%eval 30,19] [%emt 0:00:03] (g4)} Bc8 {[%emt 0:00:02]} 16. Ng4 {
[%eval 8,20] [%emt 0:00:03]} Be7 {[%emt 0:00:02]} 17. Qf3 {[%eval 29,22] [%emt
0:00:09]} Nxg4 {[%emt 0:00:03]} 18. hxg4 {[%eval 31,21] [%emt 0:00:03]} Bg5 {
[%emt 0:00:04]} 19. Rad1 {[%eval 44,20] [%emt 0:00:05]} Ne7 {[%emt 0:00:02]}
20. e4 {[%eval 78,20] [%emt 0:00:04] (b3)} dxe4 {[%emt 0:00:01]} 21. Nxe4 {
[%eval 84,20] [%emt 0:00:04]} Bxd2 {[%emt 0:00:04]} 22. Rxd2 {[%eval 108,19]
[%emt 0:00:04]} Nd5 {[%emt 0:00:03]} 23. g5 {[%eval 78,18] [%emt 0:00:04]
(Rdd1)} Qa5 {[%emt 0:00:05] (Kh8)} 24. g6 {[%eval 241,17] [%emt 0:00:05] (Rdd1)
} Nf6 {[%emt 0:00:05] (Rf8)} 25. Re2 {[%eval 200,19] [%emt 0:00:05]} Bd7 {
[%emt 0:00:01]} 26. gxf7+ {[%eval 195,19] [%emt 0:00:04]} Kxf7 {[%emt 0:00:01]}
27. Nd6+ {[%eval 196,20] [%emt 0:00:04]} Kg8 {[%emt 0:00:03]} 28. Nxe8 {
[%eval 201,21] [%emt 0:00:04]} Rxe8 {[%emt 0:00:01]} 29. Bd1 {[%eval 212,21]
[%emt 0:00:04]} Bc6 {[%emt 0:00:04] (Qb5)} 30. Rxe8+ {[%eval 211,21] [%emt 0:
00:04]} Bxe8 {[%emt 0:00:02]} 31. Be2 {[%eval 240,20] [%emt 0:00:03] (Qe3)} Qb5
{[%emt 0:00:01] (b5)} 32. Qc3 {[%eval 233,22] [%emt 0:00:03] (Rf2)} Bf7 {
[%emt 0:00:02]} 33. Rc1 {[%eval 233,22] [%emt 0:00:03]} Qxf5 {[%emt 0:00:04]}
34. Bxc4 {[%eval 238,21] [%emt 0:00:03]} h6 {[%emt 0:00:01]} 35. Bxf7+ {
[%eval 267,22] [%emt 0:00:03] (Qb3)} Kxf7 {[%emt 0:00:03]} 36. Qg3 {[%eval 297,
22] [%emt 0:00:03] (Qb3+)} g5 {[%emt 0:00:03]} 37. Rf1 {[%eval 267,24] [%emt 0:
00:03] (Qc7+)} Qe6 {[%emt 0:00:02]} 38. Qe5 {[%eval 273,23] [%emt 0:00:03]} a5
{[%emt 0:00:02] (Qe7)} 39. Kh2 {[%eval 270,21] [%emt 0:00:03] (b3)} b6 {
[%emt 0:00:03]} 40. a4 {[%eval 294,23] [%emt 0:00:03] (Rf3)} Qe7 {[%emt 0:00:
01]} 41. g4 {[%eval 343,25] [%emt 0:00:02] (Kg3)} Qe6 {[%emt 0:00:02] (Qd8)}
42. b3 {[%eval 313,25] [%emt 0:00:02] (Rf3)} Qe7 {[%emt 0:00:01]} 43. Rf5 {
[%eval 389,26] [%emt 0:00:02] (Kg3)} Qe6 {[%emt 0:00:01]} 44. Kg2 {[%eval 373,
26] [%emt 0:00:02]} Qe7 {[%emt 0:00:01]} 45. Kg3 {[%eval 357,25] [%emt 0:00:02]
} Qe6 {[%emt 0:00:05]} 46. Kh2 {[%eval 343,25] [%emt 0:00:03] (d5)} Qe7 {
[%emt 0:00:01]} 47. Kg2 {[%eval 343,26] [%emt 0:00:02] (Kh3)} Qe6 {[%emt 0:00:
01]} 48. Kf2 {[%eval 373,26] [%emt 0:00:02] (Kf1)} Qe7 {[%emt 0:00:01]} 49. Kf3
{[%eval 355,28] [%emt 0:00:02]} Qe6 {[%emt 0:00:04]} 50. d5 {[%eval 397,28]
[%emt 0:00:02]} Qe7 {[%emt 0:00:01]} 51. Kg3 {[%eval 464,27] [%emt 0:00:02]}
Qxe5+ {[%emt 0:00:03]} 52. Rxe5 {[%eval 443,27] [%emt 0:00:02]} Nd7 {[%emt 0:
00:04]} 53. Re6 {[%eval 496,24] [%emt 0:00:02]} Kf8 {[%emt 0:00:04]} 54. Rxh6 {
[%eval 580,25] [%emt 0:00:02]} Ke7 {[%emt 0:00:02]} 55. Rg6 {[%eval 599,24]
[%emt 0:00:02] (Re6+)} Nf6 {[%emt 0:00:01] (Kf7)} 56. Rxg5 {[%eval 754,25]
[%emt 0:00:03] (Kf3)} Ne4+ {[%emt 0:00:09]} 57. Kf4 {[%eval 826,25] [%emt 0:00:
02]} Nf2 {[%emt 0:00:03] (Nd2)} 58. Rg6 {[%eval 883,24] [%emt 0:00:02] (Kf3)}
Nd3+ {[%emt 0:00:01]} 59. Kf5 {[%eval 1078,25] [%emt 0:00:03] (Ke3)} Nb4 {
[%emt 0:00:02]} 60. Ke4 {[%eval 1238,25] [%emt 0:00:03] (Re6+)} Na6 {[%emt 0:
00:02] (Kd7)} 61. Rxb6 {[%eval 2046,27] [%emt 0:00:02]} Nc5+ {[%emt 0:00:01]}
62. Kf5 {[%eval 2252,26] [%emt 0:00:01]} Nd7 {[%emt 0:00:01] (Kd8)} 63. Rb7 {
[%eval 3199,25] [%emt 0:00:01] (Re6+)} Kd6 {[%emt 0:00:00]} 64. Rxd7+ {[%eval
2709,21] [%emt 0:00:01] (g5)} Kxd7 {[%emt 0:00:00]} 65. Kg5 {[%eval 3740,20]
[%emt 0:00:01] (g5)} Ke7 {[%emt 0:00:02] (Kc8)} 66. Kf4 {[%eval 2747,19] [%emt
0:00:01] (Kg6)} Kd6 {[%emt 0:00:01] (Kf8)} 67. Kg3 {[%eval 2769,19] [%emt 0:00:
01] (Ke4)} Kc5 {[%emt 0:00:02] (Kd7)} 68. Kf2 {[%eval 2777,20] [%emt 0:00:01]
(g5)} Kd6 {[%emt 0:00:00]} 69. Kg2 {[%eval 2777,19] [%emt 0:00:01] (g5)} Kc5 {
[%emt 0:00:01] (Kc7)} 70. Kh1 {[%eval 2777,19] [%emt 0:00:01] (Kf3)} Kd6 {
[%emt 0:00:06]} 71. Kh2 {[%eval 2777,20] [%emt 0:00:01]} Kc5 {[%emt 0:00:00]
(Kc7)} 72. Kg3 {[%eval 2749,21] [%emt 0:00:01] (Kg2)} Kd6 {[%emt 0:00:01]} 73.
Kf4 {[%eval 2777,20] [%emt 0:00:01] (g5)} Kd7 {[%emt 0:00:01]} 74. d6 {[%eval
2780,19] [%emt 0:00:01] (Ke4)} Ke6 {[%emt 0:00:01] (Ke8)} 75. Kf3 {[%eval 2780,
19] [%emt 0:00:01] (g5)} Kf6 {[%emt 0:00:00] (Kd7)} 76. Ke2 {[%eval 2780,17]
[%emt 0:00:01] (g5+)} Ke6 {[%emt 0:00:01]} 77. Kf2 {[%eval 2780,18] [%emt 0:00:
01] (Ke3)} Kd7 {[%emt 0:00:00] (Kf7)} 78. Kg3 {[%eval 2780,18] [%emt 0:00:01]
(g5)} Ke8 {[%emt 0:00:00] (Kc6)} 79. Kh4 {[%eval 2816,18] [%emt 0:00:01] (d7+)}
Kd7 {[%emt 0:00:01]} 80. Kh3 {[%eval 2781,18] [%emt 0:00:01]} Kxd6 {[%emt 0:00:
00] (Ke6)} 81. Kg3 {[%eval 2481,23] [%emt 0:00:01]} Kc5 {[%emt 0:00:00] (Kd7)}
82. Kh4 {[%eval 2595,23] [%emt 0:00:01] (Kf2)} Kd6 {[%emt 0:00:01] (Kd5)} 83.
Kh5 {[%eval 2595,22] [%emt 0:00:01] (g5)} Ke6 {[%emt 0:00:00] (Kd7)} 84. Kh6 {
[%eval 2565,23] [%emt 0:00:01] (g5)} Kd5 {[%emt 0:00:01] (Kd6)} 85. Kh7 {
[%eval 2627,22] [%emt 0:00:01] (g5)} Kc5 {[%emt 0:00:00] (Ke4)} 86. Kg8 {
[%eval 2648,21] [%emt 0:00:01] (g5)} Kb4 {[%emt 0:00:00] (Kc6)} 87. Kh8 {
[%eval 2683,23] [%emt 0:00:01] (g5)} Kc3 {[%emt 0:00:00]} 88. Kh7 {[%eval 2702,
24] [%emt 0:00:01] (g5)} Kb2 {[%emt 0:00:00] (Kxb3)} 89. Kg6 {[%eval 2200,21]
[%emt 0:00:01] (g5)} Kc3 {[%emt 0:00:00] (Kxb3)} 90. Kh6 {[%eval 2194,20]
[%emt 0:00:01] (g5)} Kc2 {[%emt 0:00:00] (Kxb3)} 91. Kg7 {[%eval 1257,23]
[%emt 0:00:01] (g5)} Kb2 {[%emt 0:00:00] (Kxb3)} 92. Kf7 {[%eval 2482,22]
[%emt 0:00:01] (g5)} Kc2 {[%emt 0:00:00] (Kxb3)} 93. Kg8 {[%eval 2364,21]
[%emt 0:00:01] (g5)} Kb2 {[%emt 0:00:00]} 94. Kf8 {[%eval 2516,25] [%emt 0:00:
01] (g5)} Ka2 {[%emt 0:00:00] (Kb1)} 95. b4 {[%eval 2560,23] [%emt 0:00:01]
(g5)} axb4 {[%emt 0:00:00]} 96. a5 {[%eval 2560,1] [%emt 0:00:00]} b3 {[%emt 0:
00:00] (Kb2)} 97. a6 {[%eval 151,1] [%emt 0:00:00]} b2 {[%emt 0:00:00]} 98. a7
{[%eval 160,1] [%emt 0:00:00]} b1=R {[%emt 0:00:00]} 99. a8=Q+ {[%eval 2506,21]
[%emt 0:00:02]} Kb3 {[%emt 0:00:00] (Kb2)} 100. Qd8 {[%eval 2560,15] [%emt 0:
00:01] (Qb8+)} Rf1+ {[%emt 0:00:00] (Kc4)} 101. Ke7 {[%eval 2575,17] [%emt 0:
00:02] (Kg7)} Re1+ {[%emt 0:00:00]} 102. Kf7 {[%eval 2614,16] [%emt 0:00:01]}
Rf1+ {[%emt 0:00:00] (Rd1)} 103. Kg8 {[%eval 2614,16] [%emt 0:00:01] (Kg7)} Kc2
{[%emt 0:00:00] (Ka4)} 104. Qa8 {[%eval 2624,16] [%emt 0:00:01] (g5)} Kd2 {
[%emt 0:00:00] (Kb2)} 105. Qa7 {[%eval 2624,17] [%emt 0:00:01] (g5)} Re1 {
[%emt 0:00:00] (Kc1)} 106. Qa4 {[%eval 2624,15] [%emt 0:00:01] (g5)} Re3 {
[%emt 0:00:00] (Kc1)} 107. Qa6 {[%eval 2624,15] [%emt 0:00:01] (g5)} Re8+ {
[%emt 0:00:00] (Re1)} 108. Kf7 {[%eval 2602,17] [%emt 0:00:01]} Re4 {[%emt 0:
00:00] (Kc2)} 109. g5 {[%eval 2624,14] [%emt 0:00:01]} Rf4+ {[%emt 0:00:00]
(Ke1)} 110. Qf6 {[%eval 2602,16] [%emt 0:00:01]} Rc4 {[%emt 0:00:00] (Rxf6+)}
111. Qh8 {[%eval 2594,14] [%emt 0:00:01] (Qd6+)} Rf4+ {[%emt 0:00:00] (Kc2)}
112. Ke8 {[%eval 2624,15] [%emt 0:00:01] (Kg8)} Re4+ {[%emt 0:00:00]} 113. Kd8
{[%eval 2594,15] [%emt 0:00:01] (Kf8)} Rb4 {[%emt 0:00:00] (Rf4)} 114. Qf8 {
[%eval 2624,14] [%emt 0:00:01] (Qh2+)} Rd4+ {[%emt 0:00:00] (Ke1)} 115. Ke7 {
[%eval 2624,15] [%emt 0:00:01]} Re4+ {[%emt 0:00:00]} 116. Kf6 {[%eval 2632,16]
[%emt 0:00:01] (Kf7)} Rf4+ {[%emt 0:00:00] (Ke2)} 117. Kg7 {[%eval 1234,26]
[%emt 0:00:01]} Rc4 {[%emt 0:00:00] (Rxf8)} 118. Kh8 {[%eval 2594,15] [%emt 0:
00:01] (g6)} Rh4+ {[%emt 0:00:00] (Kc2)} 119. Qh6 {[%eval 2594,16] [%emt 0:00:
01] (Kg8)} Rg4 {[%emt 0:00:00] (Rd4)} 120. g6+ {[%eval 2624,15] [%emt 0:00:01]}
Ke2 {[%emt 0:00:00] (Kc3)} 121. Qh1 {[%eval 2594,15] [%emt 0:00:01] (g7)} Kf2 {
[%emt 0:00:00] (Rxg6)} 122. Kh7 {[%eval 2624,14] [%emt 0:00:01] (g7)} Rf4 {
[%emt 0:00:00] (Rg3)} 123. Qa8 {[%eval 2594,13] [%emt 0:00:01] (g7)} Rh4+ {
[%emt 0:00:00] (Kg3)} 124. Kg7 {[%eval 2624,15] [%emt 0:00:01] (Kg8)} Ke3 {
[%emt 0:00:00] (Kg3)} 125. Qa5 {[%eval 2624,14] [%emt 0:00:01] (Qa3+)} Kf2 {
[%emt 0:00:00] (Kf4)} 126. Qa7+ {[%eval 2624,14] [%emt 0:00:01] (Qf5+)} Kf3 {
[%emt 0:00:00] (Kg3)} 127. Kf8 {[%eval 2594,15] [%emt 0:00:01] (Qf7+)} Rh8+ {
[%emt 0:00:00] (Rf4+)} 128. Kf7 {[%eval 2594,15] [%emt 0:00:01]} Rh4 {[%emt 0:
00:00]} 129. Qa5 {[%eval 2624,14] [%emt 0:00:01] (Qa3+)} Rf4+ {[%emt 0:00:00]}
130. Ke8 {[%eval 2624,16] [%emt 0:00:01] (Kg8)} Re4+ {[%emt 0:00:00]} 131. Kd8
{[%eval 2594,16] [%emt 0:00:01] (Kf8)} Rd4+ {[%emt 0:00:00]} 132. Kc8 {[%eval
2624,13] [%emt 0:00:01] (Ke7)} Rc4+ {[%emt 0:00:00] (Re4)} 133. Kd7 {[%eval
2624,13] [%emt 0:00:01]} Rd4+ {[%emt 0:00:00] (Re4)} 134. Ke6 {[%eval 2624,14]
[%emt 0:00:01] (Ke7)} Re4+ {[%emt 0:00:00]} 135. Kf5 {[%eval 2624,15] [%emt 0:
00:01] (Kf6)} Rf4+ {[%emt 0:00:00]} 136. Kg5 {[%eval 2594,15] [%emt 0:00:01]}
Rg4+ {[%emt 0:00:00] (Re4)} 137. Kh5 {[%eval 2594,15] [%emt 0:00:01] (Kf6)} Rg1
{[%emt 0:00:00] (Rf4)} 138. Kh6 {[%eval 2868,15] [%emt 0:00:01] (Qd5+)} Rh1+ {
[%emt 0:00:00]} 139. Kg7 {[%eval 2624,15] [%emt 0:00:01]} Kg4 {[%emt 0:00:00]
(Rg1)} 140. Qa8 {[%eval 2603,14] [%emt 0:00:01] (Qb4+)} Rg1 {[%emt 0:00:00]}
141. Qg8 {[%eval 2624,14] [%emt 0:00:01] (Qe4+)} Rg2 {[%emt 0:00:00] (Kh4)}
142. Qe6+ {[%eval 2594,15] [%emt 0:00:01] (Qd5)} Kh4 {[%emt 0:00:00] (Kg3)}
143. Qb3 {[%eval 2624,14] [%emt 0:00:01] (Qe1+)} Rg1 {[%emt 0:00:00] (Kg4)}
144. Qb5 {[%eval 2624,15] [%emt 0:00:01] (Kh6)} Rg4 {[%emt 0:00:00]} 145. Qb7 {
[%eval 2624,15] [%emt 0:00:01] (Kh6)} Kg5 {[%emt 0:00:00] (Kh3)} 146. Qa8 {
[%eval 2624,16] [%emt 0:00:01] (Qd5+)} Rd4 {[%emt 0:00:00] (Rf4)} 147. Qf8 {
[%eval 2624,15] [%emt 0:00:01] (Qg2+)} Rd7+ {[%emt 0:00:00] (Rf4)} 148. Kg8 {
[%eval 1167,16] [%emt 0:00:01]} Rd3 {[%emt 0:00:00] (Kxg6)} 149. Qa8 {[%eval
2624,13] [%emt 0:00:01] (g7)} Rg3 {[%emt 0:00:00] (Rd7)} 150. Qa6 {[%eval 2624,
14] [%emt 0:00:01] (g7)} Kf4 {[%emt 0:00:00] (Kh5)} 151. Qa7 {[%eval 2594,14]
[%emt 0:00:01] (Qf6+)} Rxg6+ {[%emt 0:00:00]} 152. Kf7 {[%eval 1231,17] [%emt
0:00:01]} Rg3 {[%emt 0:00:00] (Ke5)} 153. Qb6 {[%eval 1294,13] [%emt 0:00:01]
(Qc7+)} Rd3 {[%emt 0:00:00] (Kg4)} 154. Qc5 {[%eval 1294,13] [%emt 0:00:01]
(Qf2+)} Ke4 {[%emt 0:00:00] (Rf3)} 155. Qb5 {[%eval 1294,13] [%emt 0:00:01]
(Qc4+)} Kd4 {[%emt 0:00:00] (Ke3)} 156. Qd7+ {[%eval 1295,14] [%emt 0:00:01]}
Kc4 {[%emt 0:00:00] (Kc5)} 157. Qc7+ {[%eval 1295,16] [%emt 0:00:01]} Kd4 {
[%emt 0:00:00]} 158. Kf6 {[%eval 1295,16] [%emt 0:00:01] (Qf4+)} Rf3+ {[%emt 0:
00:00] (Ke3)} 159. Kg6 {[%eval 1295,16] [%emt 0:00:01] (Kg5)} Rd3 {[%emt 0:00:
00] (Rg3+)} 160. Qg7+ {[%eval 1265,16] [%emt 0:00:01] (Kf5)} Ke4 {[%emt 0:00:
00] (Ke3)} 161. Kh5 {[%eval 1295,16] [%emt 0:00:01] (Qe7+)} Rd4 {[%emt 0:00:00]
(Rh3+)} 162. Qh7+ {[%eval 1265,16] [%emt 0:00:01] (Kg4)} Ke3 {[%emt 0:00:00]
(Kd5)} 163. Kg5 {[%eval 1265,17] [%emt 0:00:01] (Qe7+)} Rd5+ {[%emt 0:00:00]
(Kd2)} 164. Kf6 {[%eval 1265,17] [%emt 0:00:01] (Kg4)} Kd4 {[%emt 0:00:00]
(Rd4)} 165. Qh1 {[%eval 1299,16] [%emt 0:00:01] (Qa7+)} Rd6+ {[%emt 0:00:00]
(Kc5)} 166. Kf5 {[%eval 1299,17] [%emt 0:00:01]} Rd5+ {[%emt 0:00:00]} 167. Kf4
{[%eval 1269,17] [%emt 0:00:01]} Kc5 {[%emt 0:00:00]} 168. Qh8 {[%eval 1269,16]
[%emt 0:00:01] (Qg1+)} Rd4+ {[%emt 0:00:00] (Kc6)} 169. Ke5 {[%eval 1299,16]
[%emt 0:00:01] (Ke3)} Rd2 {[%emt 0:00:00] (Rd5+)} 170. Qh3 {[%eval 1299,15]
[%emt 0:00:01] (Qf8+)} Rd5+ {[%emt 0:00:00]} 171. Ke4 {[%eval 1269,17] [%emt 0:
00:01] (Kf4)} Rd4+ {[%emt 0:00:00] (Kc4)} 172. Kf5 {[%eval 1299,17] [%emt 0:00:
01] (Ke3)} Rd5+ {[%emt 0:00:00]} 173. Ke6 {[%eval 1269,18] [%emt 0:00:01] (Kf4)
} Rd6+ {[%emt 0:00:00] (Rd4)} 174. Ke7 {[%eval 1299,18] [%emt 0:00:01]} Rd4 {
[%emt 0:00:00] (Rd5)} 175. Qh2 {[%eval 1269,17] [%emt 0:00:01] (Qf5+)} Kd5 {
[%emt 0:00:00] (Kb5)} 176. Qh8 {[%eval 1335,17] [%emt 0:00:01] (Qh5+)} Re4+ {
[%emt 0:00:00] (Kc4)} 177. Kd7 {[%eval 1269,15] [%emt 0:00:01] (Kf6)} Re3 {
[%emt 0:00:00] (Kc4)} 178. Qa1 {[%eval 1299,15] [%emt 0:00:01] (Qa8+)} Re4 {
[%emt 0:00:00] (Re5)} 179. Qf1 {[%eval 1299,16] [%emt 0:00:01] (Qa5+)} Ke5 {
[%emt 0:00:00]} 180. Qc1 {[%eval 1299,16] [%emt 0:00:01] (Qb5+)} Rd4+ {[%emt 0:
00:00]} 181. Kc6 {[%eval 1269,17] [%emt 0:00:01] (Ke7)} Rd6+ {[%emt 0:00:00]
(Ke4)} 182. Kc5 {[%eval 1299,17] [%emt 0:00:01] (Kb5)} Rd5+ {[%emt 0:00:00]}
183. Kb4 {[%eval 1269,18] [%emt 0:00:01] (Kc4)} Rd4+ {[%emt 0:00:00]} 184. Kb5
{[%eval 1299,16] [%emt 0:00:01] (Kc3)} Rd5+ {[%emt 0:00:00]} 185. Kb6 {[%eval
1269,17] [%emt 0:00:01] (Kc4)} Rd6+ {[%emt 0:00:00] (Rd4)} 186. Ka7 {[%eval
1299,18] [%emt 0:00:01] (Kb5)} Rd7+ {[%emt 0:00:00] (Rd5)} 187. Ka8 {[%eval
1269,20] [%emt 0:00:01] (Ka6)} Rd8+ {[%emt 0:00:00]} 188. Kb7 {[%eval 1269,16]
[%emt 0:00:01]} Rd7+ {[%emt 0:00:00] (Kf5)} 189. Kb8 {[%eval 1299,20] [%emt 0:
00:01] (Ka6)} Rd4 {[%emt 0:00:00] (Rd8+)} 190. Qg1 {[%eval 1299,17] [%emt 0:00:
01] (Kc7)} Rd7 {[%emt 0:00:00] (Ke4)} 191. Qg5+ {[%eval 1299,18] [%emt 0:00:01]
} Ke6 {[%emt 0:00:00]} 192. Qg8+ {[%eval 1299,19] [%emt 0:00:01] (Qg4+)} Ke5 {
[%emt 0:00:00] (Ke7)} 193. Qc8 {[%eval 1299,18] [%emt 0:00:01] (Qg3+)} Rd3 {
[%emt 0:00:00] (Kd6)} 194. Qc5+ {[%eval 1299,17] [%emt 0:00:01]} Rd5 {[%emt 0:
00:00] (Ke4)} 195. Qe3+ {[%eval 1299,19] [%emt 0:00:01] (Qe7+)} Kd6 {[%emt 0:
00:00] (Kf5)} 196. Qb3 {[%eval 1299,19] [%emt 0:00:01] (Qb6+)} Rc5 {[%emt 0:00:
00] (Ke6)} 197. Qb6+ {[%eval 1269,22] [%emt 0:00:01]} Kd5 {[%emt 0:00:00]} 198.
Qf6 {[%eval 1239,21] [%emt 0:00:01] (Kb7)} Rc6 {[%emt 0:00:00] (Ke4)} 199. Qa1
{[%eval 0,56] [%emt 0:00:01] (Qf5+)} Rb6+ {[%emt 0:00:00] (Rc5)} 200. Ka7 {
[%eval 0,142] [%emt 0:00:01]} Rb5 {[%emt 0:00:00]} 201. Qa3 {[%eval 0,250]
[%emt 0:00:01] (Qa2+)} Rb4 {[%emt 0:00:00]} 1/2-1/2
[/pgn]

As the position was an easy win I suspect there is some syzygy bug with Ceibo. I have the complete 6-man syzygy tablebases. Maybe it can only use 5-man syzygy.

PS. Please report this to Federico in case you have contact with him in some way. I don't know if he reads this forum.


Hi Gabor,

Thank you so much for reporting this issue!

It would seem that when the root position has equal or less pieces than the tablebases, and therefore finds a tb hit, it goes a little crazy and starts jumping around winning moves, but choosing the one with longest dtz. And therefore not losing but not winning either , while ignoring the 50 move rule like in the example you shared.

I believe i have fixed it by simply making it play the move suggested by the tablebase probe and stopping search.

I am currently testing the fix and hoping that I can share later today or early tomorrow. I don't expect any measurable ELO change, but just making sure i haven't introduced another issue before releasing again.
User avatar
Gabor Szots
Posts: 1488
Joined: Sat Jul 21, 2018 7:43 am
Location: Budapest, Hungary
Full name: Gabor Szots

Re: Ceibo syzygy problem

Post by Gabor Szots »

Hi Fede,

At move 65 there are 7 pieces on the board and still the shuffling of moves begins.
Gabor Szots
CCRL testing group
federico
Posts: 32
Joined: Sun Oct 22, 2017 4:36 am
Location: Canada
Full name: Federico Rojo

Re: Ceibo syzygy problem

Post by federico »

Hi Gabor,

The issue was a combination of tb and aspiration windows bugs. I believe I have fixed it now. Thanks again for pointing it out to me. I don't think i would have ever noticed.

Using this position from the PGN you share as example:


[fen]8/8/3k4/p2P4/P4KP1/1P6/8/8 w - - 4 67[/fen]



Ceibo 0.9 w/bug - after depth 20 starts shuffling moves every now and then, finding mate after 14 secs.

Code: Select all

ucinewgame
position fen 8/8/3k4/p2P4/P4KP1/1P6/8/8 w - - 4 67
go
...
info depth 20 seldepth 21 score cp 2714 time 492 nodes 3086831 nps 6263361 tbhits 122053 hashfull 23 pv g4g5 d6c5 d5d6 c5b4 g5g6 b4a3 d6d7 a3b2 d7d8q b2c1 d8a5 c1b2 g6g7 b2a3 a5c5 a3b2 g7g8q b2a2 b3b4 a2a3
info depth 21 seldepth 22 score cp 2745 time 535 nodes 3395153 nps 6338190 tbhits 130797 hashfull 25 pv b3b4 d6d7
info depth 21 seldepth 22 score cp 2775 time 538 nodes 3409357 nps 6336287 tbhits 131020 hashfull 25 pv g4g5 d6c5
info depth 21 seldepth 22 score cp 2835 time 539 nodes 3420531 nps 6336695 tbhits 131214 hashfull 25 pv b3b4 d6d7
info depth 21 seldepth 22 score cp 2954 lowerbound time 546 nodes 3464101 nps 6344415 tbhits 132549 hashfull 25 pv b3b4 d6d7
info depth 21 seldepth 20 score cp 3194 lowerbound time 546 nodes 3469494 nps 6343722 tbhits 132678 hashfull 25 pv b3b4 d6d7
info depth 21 seldepth 20 score cp 3674 lowerbound time 547 nodes 3474102 nps 6343082 tbhits 132798 hashfull 25 pv b3b4 d6d7
info depth 21 seldepth 20 score cp 4634 lowerbound time 548 nodes 3478685 nps 6340840 tbhits 132917 hashfull 25 pv b3b4 d6d7
info depth 21 seldepth 20 score cp 6554 lowerbound time 549 nodes 3483124 nps 6339190 tbhits 133024 hashfull 25 pv b3b4 d6d7
info depth 21 seldepth 22 score cp 10394 lowerbound time 550 nodes 3487135 nps 6337312 tbhits 133132 hashfull 25 pv b3b4 d6d7
info depth 21 seldepth 22 score cp 18074 lowerbound time 551 nodes 3491002 nps 6333578 tbhits 133247 hashfull 25 pv b3b4 d6d7
info depth 21 seldepth 23 score cp 2816 time 660 nodes 4230696 nps 6401783 tbhits 165266 hashfull 30 pv b3b4 d6d7 b4a5 d7d6 g4g5 d6c5 g5g6 c5c4 g6g7 c4b3 d5d6 b3c4 g7g8q c4c3 d6d7 c3b4 d7d8q b4a3 d8e7 a3b2 a5a6
info depth 22 seldepth 23 score cp 2848 time 729 nodes 4708711 nps 6450808 tbhits 177952 hashfull 34 pv f4g3 d6c5
info depth 22 seldepth 22 score cp 2878 time 734 nodes 4738570 nps 6449780 tbhits 178422 hashfull 34 pv b3b4 d6d7
info depth 22 seldepth 22 score cp 2937 time 739 nodes 4773504 nps 6453230 tbhits 179085 hashfull 34 pv g4g5 d6c5
info depth 22 seldepth 22 score cp 3057 time 740 nodes 4780549 nps 6452509 tbhits 179200 hashfull 34 pv b3b4 d6d7
info depth 22 seldepth 23 score cp 3296 lowerbound time 749 nodes 4840802 nps 6457258 tbhits 180614 hashfull 34 pv b3b4 d6d7
info depth 22 seldepth 21 score cp 3776 lowerbound time 750 nodes 4845879 nps 6456049 tbhits 180719 hashfull 34 pv b3b4 d6d7
info depth 22 seldepth 21 score cp 4736 lowerbound time 751 nodes 4850111 nps 6454806 tbhits 180803 hashfull 34 pv b3b4 d6d7
info depth 22 seldepth 21 score cp 6656 lowerbound time 752 nodes 4854196 nps 6452670 tbhits 180886 hashfull 34 pv b3b4 d6d7
info depth 22 seldepth 21 score cp 10496 lowerbound time 753 nodes 4858064 nps 6450286 tbhits 180955 hashfull 34 pv b3b4 d6d7
info depth 22 seldepth 22 score cp 18176 lowerbound time 754 nodes 4865537 nps 6446727 tbhits 181104 hashfull 34 pv b3b4 d6d7
info depth 22 seldepth 25 score cp 2825 time 3212 nodes 20248997 nps 6302429 tbhits 970707 hashfull 131 pv b3b4 d6d7 b4a5 d7d6 g4g5 d6c5 g5g6 c5c4 g6g7 c4b3 d5d6 b3c4 d6d7 c4c5 g7g8q c5b4 d7d8q b4a3
info depth 23 seldepth 25 score cp 2858 time 3328 nodes 21098481 nps 6338861 tbhits 990480 hashfull 135 pv f4e3 d6c5
info depth 23 seldepth 25 score cp 2888 time 3381 nodes 21472054 nps 6349646 tbhits 997760 hashfull 137 pv f4e4 d6c5
info depth 23 seldepth 25 score cp 2948 time 3422 nodes 21762350 nps 6358790 tbhits 1003600 hashfull 138 pv f4e3 d6c5
info depth 23 seldepth 25 score cp 3067 time 3464 nodes 22071503 nps 6369993 tbhits 1009132 hashfull 140 pv f4e4 d6c5
info depth 23 seldepth 24 score cp 3307 time 3474 nodes 22139778 nps 6372861 tbhits 1010047 hashfull 140 pv f4e3 d6c5
info depth 23 seldepth 24 score cp 3787 time 3483 nodes 22205301 nps 6374591 tbhits 1011541 hashfull 140 pv f4e4 d6c5
info depth 23 seldepth 24 score cp 4747 time 3487 nodes 22233360 nps 6374982 tbhits 1012117 hashfull 140 pv f4e3 d6c5
info depth 23 seldepth 24 score cp 6666 time 3505 nodes 22358063 nps 6378855 tbhits 1014302 hashfull 141 pv b3b4 d6d7
info depth 23 seldepth 24 score cp 10506 time 3507 nodes 22375712 nps 6378714 tbhits 1014641 hashfull 141 pv f4e3 d6c5
info depth 23 seldepth 24 score cp 18186 time 3510 nodes 22389877 nps 6378543 tbhits 1014963 hashfull 141 pv b3b4 d6d7
info depth 23 seldepth 26 score cp 2893 time 7623 nodes 48467220 nps 6357477 tbhits 2286121 hashfull 282 pv b3b4 d6d7 b4a5 d7d6 g4g5 d6c5 g5g6 c5c4 g6g7 c4b3 d5d6 b3c4 g7g8q c4c3 d6d7 c3b4 d7d8q b4c3 g8g3 c3c2 a5a6 c2b2 a6a7
info depth 24 seldepth 27 score cp 2926 time 7805 nodes 49711692 nps 6368416 tbhits 2318363 hashfull 288 pv f4e3 d6c5
info depth 24 seldepth 25 score cp 2956 time 7873 nodes 50162244 nps 6371006 tbhits 2328119 hashfull 290 pv f4e4 d6c5
info depth 24 seldepth 24 score cp 3016 time 7900 nodes 50341729 nps 6372022 tbhits 2332075 hashfull 291 pv f4e3 d6c5
info depth 24 seldepth 24 score cp 3136 time 7917 nodes 50449001 nps 6372101 tbhits 2334442 hashfull 291 pv f4e4 d6c5
info depth 24 seldepth 24 score cp 3376 time 7933 nodes 50557371 nps 6372958 tbhits 2336512 hashfull 292 pv f4e3 d6c5
info depth 24 seldepth 24 score cp 3856 time 7944 nodes 50637465 nps 6373701 tbhits 2337930 hashfull 292 pv f4e4 d6c5
info depth 24 seldepth 24 score cp 4816 time 7956 nodes 50719584 nps 6374534 tbhits 2339218 hashfull 292 pv f4e3 d6c5
info depth 24 seldepth 24 score cp 6736 time 7965 nodes 50777248 nps 6374897 tbhits 2340436 hashfull 292 pv f4e4 d6c5
info depth 24 seldepth 24 score cp 10576 time 7972 nodes 50824293 nps 6375102 tbhits 2341420 hashfull 292 pv f4e3 d6c5
info depth 24 seldepth 24 score cp 18256 time 7980 nodes 50882382 nps 6375730 tbhits 2342450 hashfull 292 pv f4e4 d6c5
info depth 24 seldepth 27 score mate 27 time 14065 nodes 87663798 nps 6232760 tbhits 3936666 hashfull 424 pv f4e4 d6e7 g4g5 e7f7 e4f5 f7e7 g5g6 e7d6 f5e4 d6e7
info depth 25 seldepth 27 score mate 28 time 15281 nodes 93619879 nps 6126166 tbhits 4165446 hashfull 435 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f7 e5f5 f7e7
info depth 26 seldepth 27 score mate 28 time 16963 nodes 102096910 nps 6018748 tbhits 4525322 hashfull 451 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f7 e5f5 f7e7
info depth 27 seldepth 30 score mate 27 time 19894 nodes 116169995 nps 5839312 tbhits 5179542 hashfull 480 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f7 e5f5 f7e7 g5g6 e7d6 g6g7 d6c7 d5d6 c7d6 g7g8q d6c5 g8c4
info depth 28 seldepth 30 score mate 28 time 26302 nodes 147389603 nps 5603544 tbhits 6652370 hashfull 522 pv f4e4 d6e7 g4g5 e7f7 e4f5 f7e7 f5e5 e7f7
info depth 29 seldepth 32 score mate 28 time 31828 nodes 175131374 nps 5502311 tbhits 7896555 hashfull 570 pv f4e4 d6e7 g4g5 e7f7 e4f5 f7e7 f5e5 e7f7
info depth 30 seldepth 31 score mate 14 time 37348 nodes 204242529 nps 5468614 tbhits 9148985 hashfull 620 pv f4e4 d6e7 g4g5 e7f7 e4f5 f7e7 f5e5 e7f8 g5g6 f8g7 e5f5 g7f8 d5d6 f8e8 g6g7 e8f7 g7g8q f7g8 f5f6 g8h7 d6d7 h7h6 d7d8q h6h5 f6f5 h5h6 d8h8
stop
info depth 31 seldepth 33 score mate 13 time 43265 nodes 238037724 nps 5501815 tbhits 10230415 hashfull 662 pv f4e4 d6e7 e4e5 e7f8 g4g5 f8g7 e5f5 g7f8 d5d6 f8e8 f5e6 e8d8 g5g6 d8c8 g6g7 c8b7 d6d7 b7c6 d7d8q c6b7 d8a5 b7c8 g7g8q c8b7 g8a8
bestmove f4e4

Ceibo 0.9 fixed - finds f4e4 in 115ms and sticks to it until finding mate in 3.8s

Code: Select all

ucinewgame
position fen 8/8/3k4/p2P4/P4KP1/1P6/8/8 w - - 4 67
go
...
info depth 20 seldepth 22 score cp 1414 lowerbound time 115 nodes 532931 nps 4621632 tbhits 42925 hashfull 4 pv f4e4 d6d7
info depth 20 seldepth 21 score cp 1444 lowerbound time 117 nodes 542669 nps 4609924 tbhits 43445 hashfull 4 pv f4e4 d6d7
info depth 20 seldepth 21 score cp 1487 time 128 nodes 600609 nps 4670994 tbhits 47024 hashfull 4 pv f4e4 d6d7 g4g5 d7e7 g5g6 e7f6 d5d6 f6e6 g6g7 e6d6 g7g8q d6c7 g8g5 c7d7 g5a5 d7c6 a5g5 c6b6 a4a5 b6a6
info depth 21 seldepth 23 score cp 1517 lowerbound time 155 nodes 738813 nps 4758293 tbhits 58667 hashfull 5 pv f4e4 d6d7
info depth 21 seldepth 23 score cp 1547 lowerbound time 160 nodes 762086 nps 4761287 tbhits 59706 hashfull 5 pv f4e4 d6d7
info depth 21 seldepth 22 score cp 1607 lowerbound time 163 nodes 780789 nps 4765985 tbhits 60575 hashfull 5 pv f4e4 d6d7
info depth 21 seldepth 23 score cp 1727 lowerbound time 170 nodes 814169 nps 4782377 tbhits 61598 hashfull 6 pv f4e4 d6d7
info depth 21 seldepth 22 score cp 1967 lowerbound time 173 nodes 836171 nps 4814923 tbhits 62550 hashfull 6 pv f4e4 d6d7
info depth 21 seldepth 23 score cp 2447 lowerbound time 178 nodes 865342 nps 4849602 tbhits 64734 hashfull 6 pv f4e4 d6d7
info depth 21 seldepth 23 score cp 2717 time 213 nodes 1095756 nps 5120820 tbhits 81571 hashfull 8 pv f4e4 d6d7 g4g5 d7e7 g5g6 e7d6 g6g7 d6c5 g7g8q c5b4 d5d6 b4a3 d6d7 a3b4 d7d8q b4a3 d8a5 a3a2 a5e5 a2a3 a4a5
info depth 22 seldepth 23 score cp 2747 lowerbound time 263 nodes 1396219 nps 5297897 tbhits 108143 hashfull 10 pv f4e4 d6d7
info depth 22 seldepth 23 score cp 2777 lowerbound time 268 nodes 1422566 nps 5291794 tbhits 109726 hashfull 10 pv f4e4 d6d7
info depth 22 seldepth 22 score cp 2837 lowerbound time 271 nodes 1441464 nps 5304546 tbhits 110348 hashfull 11 pv f4e4 d6d7
info depth 22 seldepth 23 score cp 2957 lowerbound time 298 nodes 1600360 nps 5354961 tbhits 126538 hashfull 12 pv f4e4 d6d7
info depth 22 seldepth 23 score cp 3197 lowerbound time 306 nodes 1647605 nps 5376918 tbhits 129370 hashfull 12 pv f4e4 d6d7
info depth 22 seldepth 22 score cp 3677 lowerbound time 310 nodes 1675648 nps 5392396 tbhits 130535 hashfull 13 pv f4e4 d6d7
info depth 22 seldepth 23 score cp 4637 lowerbound time 314 nodes 1698674 nps 5407162 tbhits 131148 hashfull 13 pv f4e4 d6d7
info depth 22 seldepth 22 score cp 6557 lowerbound time 315 nodes 1707339 nps 5410504 tbhits 131519 hashfull 13 pv f4e4 d6d7
info depth 22 seldepth 22 score cp 10397 lowerbound time 318 nodes 1725074 nps 5411093 tbhits 133383 hashfull 13 pv f4e4 d6d7
info depth 22 seldepth 22 score cp 18077 lowerbound time 319 nodes 1731962 nps 5413682 tbhits 133706 hashfull 13 pv f4e4 d6d7
info depth 22 seldepth 23 score cp 2735 time 421 nodes 2387169 nps 5658805 tbhits 182290 hashfull 17 pv f4e4 d6d7 g4g5 d7e7 g5g6 e7d6 g6g7 d6c5 g7g8q c5b4 d5d6 b4a3 d6d7 a3b4 d7d8q b4a3 d8a5 a3a2 a5e5 a2a3
info depth 23 seldepth 25 score cp 2765 lowerbound time 474 nodes 2718359 nps 5728789 tbhits 210595 hashfull 20 pv f4e4 d6d7
info depth 23 seldepth 24 score cp 2795 lowerbound time 478 nodes 2746328 nps 5735679 tbhits 211517 hashfull 20 pv f4e4 d6d7
info depth 23 seldepth 24 score cp 2855 lowerbound time 528 nodes 3039827 nps 5756431 tbhits 240810 hashfull 22 pv f4e4 d6d7
info depth 23 seldepth 24 score cp 2975 lowerbound time 532 nodes 3064444 nps 5756814 tbhits 242452 hashfull 23 pv f4e4 d6d7
info depth 23 seldepth 24 score cp 3215 lowerbound time 536 nodes 3086747 nps 5756742 tbhits 244401 hashfull 23 pv f4e4 d6d7
info depth 23 seldepth 24 score cp 3695 lowerbound time 538 nodes 3099630 nps 5759232 tbhits 245058 hashfull 23 pv f4e4 d6d7
info depth 23 seldepth 24 score cp 4655 lowerbound time 540 nodes 3111774 nps 5762072 tbhits 245508 hashfull 23 pv f4e4 d6d7
info depth 23 seldepth 24 score cp 6575 lowerbound time 542 nodes 3125190 nps 5764733 tbhits 246084 hashfull 23 pv f4e4 d6d7
info depth 23 seldepth 24 score cp 10415 lowerbound time 552 nodes 3193605 nps 5782027 tbhits 249634 hashfull 23 pv f4e4 d6d7
info depth 23 seldepth 24 score cp 18095 lowerbound time 557 nodes 3230841 nps 5793721 tbhits 250952 hashfull 23 pv f4e4 d6d7
info depth 23 seldepth 25 score cp 2712 time 899 nodes 5483514 nps 6095611 tbhits 376216 hashfull 36 pv f4e4 d6d7 g4g5 d7e7 g5g6 e7e8 d5d6 e8d7 e4d5 d7c8 g6g7 c8d7 d5e5 d7c6 g7g8q c6b7 e5e4 b7a7 d6d7 a7b7 d7d8q b7a6 g8e6 a6a7
info depth 24 seldepth 25 score cp 2742 lowerbound time 1046 nodes 6358132 nps 6075495 tbhits 444775 hashfull 42 pv f4e4 d6d7
info depth 24 seldepth 25 score cp 2772 lowerbound time 1084 nodes 6598852 nps 6082278 tbhits 457460 hashfull 44 pv f4e4 d6d7
info depth 24 seldepth 25 score cp 2832 lowerbound time 1092 nodes 6644438 nps 6080494 tbhits 460063 hashfull 44 pv f4e4 d6d7
info depth 24 seldepth 25 score cp 2952 lowerbound time 1096 nodes 6668259 nps 6080301 tbhits 461065 hashfull 44 pv f4e4 d6d7
info depth 24 seldepth 25 score cp 3192 lowerbound time 1099 nodes 6684646 nps 6079284 tbhits 462027 hashfull 44 pv f4e4 d6d7
info depth 24 seldepth 25 score cp 3672 lowerbound time 1102 nodes 6703104 nps 6078608 tbhits 463127 hashfull 44 pv f4e4 d6d7
info depth 24 seldepth 25 score cp 4632 lowerbound time 1105 nodes 6718583 nps 6078902 tbhits 463863 hashfull 45 pv f4e4 d6d7
info depth 24 seldepth 25 score cp 6552 lowerbound time 1109 nodes 6744817 nps 6079666 tbhits 464986 hashfull 45 pv f4e4 d6d7
info depth 24 seldepth 25 score cp 10392 lowerbound time 1113 nodes 6769255 nps 6079860 tbhits 466437 hashfull 45 pv f4e4 d6d7
info depth 24 seldepth 25 score cp 18072 lowerbound time 1156 nodes 7039401 nps 6084614 tbhits 483609 hashfull 47 pv f4e4 d6d7
info depth 24 seldepth 26 score cp 2747 time 1802 nodes 11100203 nps 6159052 tbhits 689246 hashfull 65 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f7 e5f5 f7e7 g5g6 e7d6 g6g7 d6c5 d5d6 c5c6 f5e6 c6c5 e6e5 c5b4
info depth 25 seldepth 27 score cp 2747 time 2254 nodes 13958833 nps 6191200 tbhits 899365 hashfull 86 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f7 e5f5 f7e7 g5g6 e7d6 g6g7 d6c5 d5d6 c5c6 f5e6 c6c5 e6e5 c5b4
info depth 26 seldepth 31 score cp 2777 lowerbound time 2620 nodes 16159351 nps 6167460 tbhits 1074278 hashfull 103 pv f4e4 d6d7
info depth 26 seldepth 27 score cp 2807 lowerbound time 2661 nodes 16438021 nps 6175439 tbhits 1084260 hashfull 105 pv f4e4 d6d7
info depth 26 seldepth 27 score cp 2867 lowerbound time 2675 nodes 16522599 nps 6175789 tbhits 1088552 hashfull 105 pv f4e4 d6d7
info depth 26 seldepth 27 score cp 2987 lowerbound time 2683 nodes 16568420 nps 6174779 tbhits 1091216 hashfull 105 pv f4e4 d6d7
info depth 26 seldepth 27 score cp 3227 lowerbound time 2689 nodes 16604490 nps 6174785 tbhits 1093288 hashfull 105 pv f4e4 d6d7
info depth 26 seldepth 27 score cp 3707 lowerbound time 2693 nodes 16631152 nps 6174497 tbhits 1095031 hashfull 105 pv f4e4 d6d7
info depth 26 seldepth 27 score cp 4667 lowerbound time 2698 nodes 16659686 nps 6174521 tbhits 1096584 hashfull 106 pv f4e4 d6d7
info depth 26 seldepth 27 score cp 6587 lowerbound time 2727 nodes 16843205 nps 6175445 tbhits 1106566 hashfull 107 pv f4e4 d6d7
info depth 26 seldepth 26 score cp 10427 lowerbound time 2771 nodes 17141893 nps 6184198 tbhits 1120990 hashfull 108 pv f4e4 d6d7
info depth 26 seldepth 26 score cp 18107 lowerbound time 2781 nodes 17203301 nps 6184555 tbhits 1123869 hashfull 109 pv f4e4 d6d7
info depth 26 seldepth 27 score mate 21 time 3815 nodes 22558816 nps 5912203 tbhits 1497794 hashfull 137 pv f4e4 d6d7 g4g5 d7d6 e4d4 d6e7 d4e5 e7d7
info depth 27 seldepth 29 score mate 21 time 4436 nodes 25547991 nps 5759108 tbhits 1672016 hashfull 149 pv f4e4 d6d7 g4g5 d7d6 e4d4 d6e7 d4e5 e7d7
info depth 28 seldepth 30 score mate 16 time 5823 nodes 32211918 nps 5531224 tbhits 2092241 hashfull 174 pv f4e4 d6d7 g4g5 d7d6 e4d4 d6e7 d4e5 e7f8 g5g6 f8g7 e5f5 g7g8 d5d6 g8f8 f5f6 f8e8
info depth 29 seldepth 31 score mate 16 time 8245 nodes 43780104 nps 5309753 tbhits 2842981 hashfull 213 pv f4e4 d6d7 g4g5 d7d6 e4d4 d6e7 d4e5 e7f8 g5g6 f8g7 e5f5 g7g8 f5f6 g8f8 g6g7 f8e8 f6e6 e8d8 d5d6 d8c8 e6d5 c8d7
info depth 30 seldepth 31 score mate 14 time 12043 nodes 63355362 nps 5260431 tbhits 4089981 hashfull 269 pv f4e4 d6d7 g4g5 d7d6 e4d4 d6e7 d4e5 e7f8 g5g6 f8g7 e5f5 g7g8 f5f6 g8f8 g6g7 f8e8 f6e6 e8d8 e6d6 d8c8 d6c6 c8b8 g7g8q b8a7 g8g7 a7a6 g7b7
info depth 31 seldepth 32 score mate 13 time 19766 nodes 107855895 nps 5456456 tbhits 6276913 hashfull 354 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f8 g5g6 f8g7 e5f5 g7g8 f5f6 g8f8 g6g7 f8e8 f6e6 e8d8 e6d6 d8c8 d6c6 c8b8 g7g8q b8a7 g8h8 a7a6 h8a8
info depth 32 seldepth 32 score mate 13 time 23387 nodes 128898716 nps 5511386 tbhits 7376695 hashfull 398 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f8 g5g6 f8g7 e5f5 g7g8 f5f6 g8f8 g6g7 f8e8 f6e6 e8d8 e6d6 d8c8 d6c6 c8b8 g7g8q b8a7 d5d6 a7a6 g8a8
info depth 33 seldepth 34 score mate 13 time 27545 nodes 155465467 nps 5643933 tbhits 8648242 hashfull 449 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f8 g5g6 f8g7 e5f5 g7g8 f5f6 g8f8 g6g7 f8e8 f6e6 e8d8 e6d6 d8c8 d6c6 c8b8 g7g8q b8a7 g8h7 a7b8 h7b7
info depth 34 seldepth 28 score mate 13 time 32028 nodes 185053336 nps 5777769 tbhits 10001163 hashfull 498 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f8 g5g6 f8g7 e5f5 g7g8 f5f6 g8f8 g6g7 f8e8 f6e6 e8d8 e6d6 d8c8 d6c6 c8b8 g7g8q b8a7 g8f7 a7a6 f7b7
info depth 35 seldepth 26 score mate 13 time 38944 nodes 230537550 nps 5919603 tbhits 12052248 hashfull 551 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f8 g5g6 f8g7 e5f5 g7g8 f5f6 g8f8 g6g7 f8e8 f6e6 e8d8 e6d6 d8c8 d6c6 c8b8 g7g8q b8a7 d5d6 a7a6 g8a8
stop
info depth 36 seldepth 28 score mate 13 time 45700 nodes 277653618 nps 6075456 tbhits 13855183 hashfull 600 pv f4e4 d6d7 g4g5 d7e7 e4e5 e7f8 g5g6 f8g7 e5f5 g7g8 f5f6 g8f8 g6g7 f8e8 f6e6 e8d8 e6d6 d8c8 d6c6 c8b8 g7g8q b8a7 g8g7 a7a6 g7b7
bestmove f4e4


That said, I tested it with a small number of games, and although not conclusive , does not show a regression and perhaps even a tiny ELO gain :D

Code: Select all



   # PLAYER        :  RATING  ERROR  POINTS  PLAYED    (%)  CFS(%)
   1 Ceibo_0.9_fix :    3.28   6.09   757.0    1500  50.47      70
   2 Ceibo_0.9     :    0.00   6.09   743.0    1500  49.53     ---


User avatar
Gabor Szots
Posts: 1488
Joined: Sat Jul 21, 2018 7:43 am
Location: Budapest, Hungary
Full name: Gabor Szots

Re: Ceibo syzygy problem

Post by Gabor Szots »

Thanks for the fix, Fede. I'm going to switch to it and see if it's all right.
Gabor Szots
CCRL testing group