7-piece syzygy solve Behting Study within a second

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

Moderators: hgm, Rebel, chrisw

User avatar
Nordlandia
Posts: 2821
Joined: Fri Sep 25, 2015 9:38 pm
Location: Sortland, Norway

7-piece syzygy solve Behting Study within a second

Post by Nordlandia »

Hello folks :)

Set KNNPvKQP + 6-men

i7-5960X 4.5GHz
Samsung 960 Evo.

Amazing isn't it or is it as expected?

As i recall 6-piece syzygy required significantly more time.

[d]8/8/7p/3KNN1k/2p4p/8/3P2p1/8 w - - 0 1

Analysis by Stockfish 010818 64 BMI2:

1.Kc6 g1Q 2.Nxh4 Qa1 3.Nhf3 Qa5 4.Kd6 Qb5 5.Ke6 Qc5 6.Kf5 Qd5 7.Kf4 Qa8 8.Kf5
The position is equal: = (0.00) Depth: 39/28 00:00:01 19355kN, tb=626188
(, 09.08.2018)
User avatar
Eelco de Groot
Posts: 4565
Joined: Sun Mar 12, 2006 2:40 am
Full name:   

Re: 7-piece syzygy solve Behting Study within a second

Post by Eelco de Groot »

What is the score for the alternative moves, like 1. Ng7+? I suppose that this is easily solved with tablebases especially 7 men but I don't have them installed and without my Stockfish thinks it's a draw... At least in short analysis.
Debugging is twice as hard as writing the code in the first
place. Therefore, if you write the code as cleverly as possible, you
are, by definition, not smart enough to debug it.
-- Brian W. Kernighan
User avatar
Nordlandia
Posts: 2821
Joined: Fri Sep 25, 2015 9:38 pm
Location: Sortland, Norway

Re: 7-piece syzygy solve Behting Study within a second

Post by Nordlandia »

It's at -10 a clear defeat.
User avatar
Eelco de Groot
Posts: 4565
Joined: Sun Mar 12, 2006 2:40 am
Full name:   

Re: 7-piece syzygy solve Behting Study within a second

Post by Eelco de Groot »

Nordlandia wrote: Thu Aug 09, 2018 6:33 am It's at -10 a clear defeat.
Doesn't that mean though that Black can't exchange to a winning KNNPvKQP situation or a winning 6 men. That would be a tablebase win. Assuming the g pawn is promoted to a Queen, probably the c pawn, White's d pawn and at least one of the h pawns is still on board, but Black can't afford to promote. I'm not sure because without tablebases Stockfish will exchange to a drawn Q against NN. Can Black achieve KNNvKQPP then you would expect another promotion and easy win. So I'm not 100% sure your -10 for White is not a fortress. But you left it running I suppose for just a few minutes...
Debugging is twice as hard as writing the code in the first
place. Therefore, if you write the code as cleverly as possible, you
are, by definition, not smart enough to debug it.
-- Brian W. Kernighan
Jouni
Posts: 3286
Joined: Wed Mar 08, 2006 8:15 pm

Re: 7-piece syzygy solve Behting Study within a second

Post by Jouni »

Stunning! But I quess 7 piece benefit is very small in real play. How has the first preliminary numbers?
Jouni
User avatar
Eelco de Groot
Posts: 4565
Joined: Sun Mar 12, 2006 2:40 am
Full name:   

Re: 7-piece syzygy solve Behting Study within a second

Post by Eelco de Groot »

Without tablebases, not even 5 men:

[d]8/8/7p/3KNN1k/2p4p/8/3P2p1/8 w - -

Engine: Kaissa IV (512 MB)
by T. Romstad, M. Costalba, J. Kiiski, G. Linscott

28/50 0:01 -2.66 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxh6+ Kh5 6.Nxg1 h2 7.Nf3 h1Q
8.Nf5 Kg4 9.Ne3+ Kg3 10.Nf5+ Kf2
11.N5d4 Qb1+ 12.Kd5 Qa2 13.Kc5 Kg3
14.Ne5 (4.822.089) 3095

29/51 0:01 -2.69 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxh6+ Kh5 6.Nxg1 h2 7.Nf3 h1Q
8.Nf5 Kg4 9.Ne3+ Kg3 10.Nf5+ Kf2
11.N5d4 Qb1+ 12.Kd5 Qa2 13.Kc5 Kg3
14.Ne5 (5.135.848) 3095

30/45 0:01 -2.70 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxh6+ Kh5 6.Nxg1 h2 7.Nf3 h1Q
8.Nf5 Kg4 9.Ne3+ Kg3 10.Nf5+ Kf2
11.N5d4 Qb1+ 12.Kd5 Qa2 13.Kc5 Kg3
14.Ne5 (5.821.079) 3111

31/43 0:02 -2.70 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxh6+ Kh5 6.Nxg1 h2 7.Nf3 h1Q
8.Nf5 Kg4 9.Ne3+ Kg3 10.Nf5+ Kf2
11.N5d4 Qb1+ 12.Kd5 Qa2 13.Kc5 Kg3
14.Ne5 (7.728.094) 3111

32/46 0:02 -2.68 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxh6+ Kh5 6.Nxg1 h2 7.Nf3 h1Q
8.Nf5 Kg4 9.Ne3+ Kg3 10.Nf5+ Kf2
11.N5d4 Qb1+ 12.Kd5 Qa2 13.Kc5 Kg3
14.Ne5 (9.298.172) 3134

33/58 0:03 -2.71 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxh6+ Kh5 6.Nxg1 h2 7.Nf3 h1Q
8.Nf5 Kg4 9.Ne3+ Kg3 10.Nf5+ Kf2
11.N5d4 Qb1+ 12.Kd5 Qa2 13.Kc5 Kg3
14.Ne5 (10.729.987) 3146

34/48 0:04 -2.71 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxh6+ Kh5 6.Nxg1 h2 7.Nf3 h1Q
8.Nf5 Kg4 9.Ne3+ Kg3 10.Nf5+ Kf2
11.N5d4 Qb1+ 12.Kd5 Qa2 13.Kc5 Kg3
14.Ne5 (12.924.232) 3127

35/65 0:05 -2.70 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxh6+ Kh5 6.Nxg1 h2 7.Nf3 h1Q
8.Nf5 Kg4 9.Ne3+ Kg3 10.Nf5+ Kf2
11.N5d4 Qb1+ 12.Kd5 Qa2 13.Kc5 Kg3
14.Ne5 (16.607.116) 3136
.
.
.
77/75 237:56 -3.30 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxg1 h2 6.Nxh6+ Kh5 7.Nf3 h1Q
8.Nf5 Kg4 9.Ne3+ Kg3 10.Nf5+ Kf2
11.N5d4 Qg2 12.Kd5 Kg3 13.Kxc4 Kf4
14.Kc3 (93.558.392.567) 6553

78/94 259:28 -3.38-- 1.Ng7+ Kg5 (101.703.364.508) 6532

78/113 275:54 -3.30++ 1.Ng7+ (106.952.230.488) 6460

78/113 279:40 -3.30 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxg1 h2 6.Nxh6+ Kh5 7.Nf3 h1Q
8.Nf5 Qb1+ 9.Ke5 Qb2+ 10.Ke4 Qb7+
11.Kf4 Qb4 12.Ng3+ Kg6 13.Ne5+ Kf6
14.Ne4+ (107.716.511.146) 6419

79/85 287:25 -3.30 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxg1 h2 6.Nxh6+ Kh5 7.Nf3 h1Q
8.Nf5 Qb1+ 9.Ke5 Qb2+ 10.Ke4 Qb7+
11.Kf4 Qb4 12.Ng3+ Kg6 13.Ne5+ Kf6
14.Ne4+ {[d]8/8/5k2/4N3/1qp1NK2/8/3P4/8 b - -}(109.262.990.370) 6335

80/101 368:37 -3.30 1.Ng7+ Kg5 2.Nf3+ Kg4 3.Ke4 h3 4.Nf5 g1Q
5.Nxg1 h2 6.Nxh6+ Kh5 7.Nf3 h1Q
8.Nf5 Qb1+ 9.Ke5 Qb5+ 10.Kf4 Qb4
11.Ng3+ Kg6 12.Ne5+ Kf6 13.Ne4+ Ke6
14.Nf3 (137.539.702.071) 6218
Debugging is twice as hard as writing the code in the first
place. Therefore, if you write the code as cleverly as possible, you
are, by definition, not smart enough to debug it.
-- Brian W. Kernighan
User avatar
MikeB
Posts: 4889
Joined: Thu Mar 09, 2006 6:34 am
Location: Pen Argyl, Pennsylvania

Re: 7-piece syzygy solve Behting Study within a second

Post by MikeB »

With 7 man syzygy, one may also get endings like this - here black takes white to the 50th ply, but has to sacrifice the Q on the 50th move to avoid mate , and then mate shortly follows. Quite a King walk.

White to move and mate in 59. Tablebase mate found instantly of course.

[d]8/Q7/7r/4B3/7q/8/8/NK2k3 w - - 0 1

[pgn][Event "Mac Pro x5690 3.46 Ghz 18 CPU"] [Site "Mac-Pro.local"] [Date "2018.08.10"] [Round "-"] [White "McB Rebased 64 POPCNT"] [Black "McB Rebased 64 POPCNT"] [Result "1-0"] [TimeControl "120+2"] [FEN "8/Q7/7r/4B3/7q/8/8/NK2k3 w - - 0 1"] [SetUp "1"] 1. Nc2+ {+132.79/22 +121} Kf1 {-132.79/20 +117} 2. Qf7+ {+132.79/17 +122} Kg1 {-132.79/20 +116} 3. Qg8+ {+132.79/22 +117} Kf2 {-132.79/18 +116} 4. Qf8+ {+132.79/15 +117} Kg1 {-132.79/19 +117} 5. Qc5+ {+132.79/19 +112} Kf1 {-132.79/19 +116} 6. Bd4 {+132.79/21 +109} Qh1 {-132.79/18 +116} 7. Qc4+ {+132.79/20 +108} Kg2+ {-132.79/1 +118} 8. Kb2 {+132.79/22 +106} Rh2 {-132.79/17 +117} 9. Qd5+ {+132.79/16 +106} Kg3 {-132.79/22 +113} 10. Be5+ {+132.79/25 +102} Kh3 {-132.79/20 +113} 11. Qd3+ {+132.79/25 +100} Kg2 {-132.79/19 +112} 12. Qe2+ {+132.79/21 +100} Kh3 {-132.79/24 +109} 13. Qe3+ {+132.79/25 +97} Kg2 {-132.79/23 +103} 14. Qf4 {+132.79/21 +97} Rh3 {-132.79/23 +97} 15. Qd2+ {+132.79/24 +96} Kf3 {-132.79/25 +91} 16. Ne1+ {+132.79/22 +91} Ke4 {-132.79/21 +89} 17. Qf4+ {+132.79/20 +92} Kd5 {-132.79/1 +91} 18. Qd4+ {+132.79/22 +90} Ke6 {-132.79/19 +91} 19. Qd6+ {+132.79/23 +88} Kf7 {-132.79/23 +88} 20. Qd7+ {+132.79/22 +87} Kf8 {-132.79/24 +84} 21. Bd6+ {+132.79/21 +86} Kg8 {-132.79/1 +86} 22. Qe8+ {+132.79/22 +82} Kg7 {-132.79/20 +87} 23. Be5+ {+132.79/24 +79} Kh6 {-132.79/25 +73} 24. Qe6+ {+132.79/24 +76} Kh5 {-132.79/25 +69} 25. Qf7+ {+132.79/24 +64} Kg5 {-132.79/22 +69} 26. Bf6+ {+132.79/22 +60} Kf4 {-132.79/21 +69} 27. Bd8+ {+132.79/17 +60} Ke4 {-132.79/22 +65} 28. Qe6+ {+132.79/23 +58} Kf4 {-132.79/21 +64} 29. Qf6+ {+132.79/22 +55} Ke3 {-132.79/24 +58} 30. Bb6+ {+132.79/22 +55} Ke4 {-132.79/23 +53} 31. Bc7 {+132.79/26 +53} Ke3 {-132.79/24 +39} 32. Nc2+ {+132.79/21 +49} Ke2 {-132.79/24 +40} 33. Qe5+ {+132.79/22 +46} Kf3 {-132.79/21 +39} 34. Nd4+ {+132.79/20 +40} Kg4 {-132.79/19 +37} 35. Qf5+ {+132.79/21 +36} Kh4 {-132.79/1 +38} 36. Bd8+ {+132.79/24 +30} Kg3 {-132.79/1 +40} 37. Ne2+ {+132.79/19 +31} Kg2 {-132.79/25 +38} 38. Bc7 {+132.79/21 +30} Rh4 {-132.79/26 +38} 39. Qc2 {+132.79/18 +31} Qf1 {-132.79/28 +38} 40. Qg6+ {+132.79/24 +31} Kf2 {-132.79/31 +37} 41. Bg3+ {+132.79/25 +31} Ke3 {-132.79/31 +36} 42. Qg5+ {+132.79/27 +32} Kf3 {-132.79/30 +36} 43. Qf5+ {+132.79/26 +32} Kg2 {-132.79/28 +32} 44. Qd5+ {+132.79/22 +31} Kh3 {-132.79/30 +29} 45. Qe6+ {+132.79/23 +30} Rg4 {-132.79/31 +29} 46. Kc2 {+132.79/23 +30} Qa1 {-1000.13/34 +26} 47. Qh6+ {+1000.13/31 +30} Kg2 {-1000.12/36 +26} 48. Qh2+ {+1000.12/33 +30} Kf3 {-1000.11/38 +26} 49. Qf2+ {+1000.11/34 +30} Ke4 {-1000.10/1 +28} 50. Nc3+ {+1000.10/39 +30} Qxc3+ {-1000.09/1 +30} 51. Kxc3 {+1000.09/44 +31} Rxg3+ {-1000.08/39 +31} 52. Qxg3 {+1000.08/46 +30} Kf5 {-1000.07/45 +31} 53. Qd6 {+1000.07/49 +31} Kg4 {-1000.06/56 +29} 54. Kd3 {+1000.06/60 +30} Kf3 {-1000.05/71 +30} 55. Qd4 {+1000.05/82 +31} Kg3 {-1000.04/85 +29} 56. Ke3 {+1000.04/106 +31} Kh2 {-1000.03/103 +29} 57. Qg4 {+1000.03/127 +33} Kh1 {-1000.02/1 +31} 58. Kf3 {+1000.02/127 +35} Kh2 {-1000.01/1 +33} 59. Qg2# {+1000.01/127 +37} {White mates} 1-0[/pgn]
Image