Discussion of anything and everything relating to chess playing software and machines.
Moderator: Ras
zullil
Posts: 6442Joined: Tue Jan 09, 2007 12:31 amLocation: PA USAFull name: Louis Zulli
Post by zullil Fri Jun 19, 2020 3:39 pm
zullil wrote: ↑ Fri Jun 19, 2020 12:34 pm
I searched again with Stockfish-dev, this time using 6-man tables. Stockfish claims mate-in-15:
info depth 152 seldepth 32 multipv 1 score mate 15 nodes 4670149003962 nps 96037336 hashfull 1000 tbhits 4768236726 time 48628473 pv c5b6 f7g6 c1d2 g6h6 b6d8 c8a6 d2e2 h6g7 e2f2 g7f7 d8d7 f7f8 f2g3 h7h6 d7e6 f8g7 g3h4 g7f8 h4h5 a6c8 e6c8 f8e7 h5g6 h6h5 c8c7 e7e8 g6f6 c6c5 c7e7
This search is continuing, and depth 152 is fully completed.
info depth 159 seldepth 30 multipv 1 score mate 15 nodes 5616987561317 nps 94944243 hashfull 1000 tbhits 4988892172 time 59160907 pv c5b6 f7g6 c1d2 g6h6 b6d8 c8a6 d2e2 h6g7 e2f2 g7f7 d8d7 f7f8 f2g3 h7h6 d7e6 f8g7 g3h4 g7f8 h4h5 a6c8 e6c8 f8e7 h5g6 h6h5 c8c7 e7e8 g6f6 c6c5 c7e7
Looks like this position is forced mate in at most 15.
zullil
Posts: 6442Joined: Tue Jan 09, 2007 12:31 amLocation: PA USAFull name: Louis Zulli
Post by zullil Sat Jun 20, 2020 1:25 am
zullil wrote: ↑ Fri Jun 19, 2020 3:39 pm zullil wrote: ↑ Fri Jun 19, 2020 12:34 pm
I searched again with Stockfish-dev, this time using 6-man tables. Stockfish claims mate-in-15:
info depth 152 seldepth 32 multipv 1 score mate 15 nodes 4670149003962 nps 96037336 hashfull 1000 tbhits 4768236726 time 48628473 pv c5b6 f7g6 c1d2 g6h6 b6d8 c8a6 d2e2 h6g7 e2f2 g7f7 d8d7 f7f8 f2g3 h7h6 d7e6 f8g7 g3h4 g7f8 h4h5 a6c8 e6c8 f8e7 h5g6 h6h5 c8c7 e7e8 g6f6 c6c5 c7e7
This search is continuing, and depth 152 is fully completed.
info depth 159 seldepth 30 multipv 1 score mate 15 nodes 5616987561317 nps 94944243 hashfull 1000 tbhits 4988892172 time 59160907 pv c5b6 f7g6 c1d2 g6h6 b6d8 c8a6 d2e2 h6g7 e2f2 g7f7 d8d7 f7f8 f2g3 h7h6 d7e6 f8g7 g3h4 g7f8 h4h5 a6c8 e6c8 f8e7 h5g6 h6h5 c8c7 e7e8 g6f6 c6c5 c7e7
Looks like this position is forced mate in at most 15.
Stopped the search without seeing any further reduction in the distance to mate:
info depth 172 seldepth 30 multipv 1 score mate 15 nodes 8784280942256 nps 92781689 hashfull 1000 tbhits 5774129138 time 94676881 pv c5b6 f7g6 c1d2 g6h6 b6d8 c8a6 d2e2 h6g7 e2f2 g7f7 d8d7 f7f8 f2g3 h7h6 d7e6 f8g7 g3h4 g7f8 h4h5 a6c8 e6c8 f8e7 h5g6 h6h5 c8c7 e7e8 g6f6 c6c5 c7e7
fastgm
Posts: 818Joined: Mon Aug 19, 2013 6:57 pm
Post by fastgm Sat Jun 20, 2020 10:22 pm
Gejsi Marku wrote: ↑ Thu Jun 18, 2020 8:48 am
White to move, and mate in 16. How long will it take your engine to find this mate? (if it can find it that is)
[d]2b5/3p1k1p/2p1p2P/1pQ1Pp2/6p1/1P2P3/P1P5/2K5 w - - 0 27
It's a mate in
15 moves .
Stockfish 170620 64 POPCNT:
146/30 2:58:30 2.552.711.610.064 238.343.282 +M15 27.Qb6 Kg6 28.Kd2 Kxh6 29.Qd8 Ba6 30.Ke2 Kg7 31.Kf2 Kf7 32.Qxd7+ Kf8 33.Kg3 Bc8 34.Qxc8+ Kf7 35.Qd7+ Kg6 36.Qxe6+ Kg7 37.Qe7+ Kg8 38.Kf4 h5 39.Kxf5 h4 40.Kf6 b4 41.Qg7+
zullil
Posts: 6442Joined: Tue Jan 09, 2007 12:31 amLocation: PA USAFull name: Louis Zulli
Post by zullil Sat Jun 20, 2020 11:16 pm
fastgm wrote: ↑ Sat Jun 20, 2020 10:22 pm Gejsi Marku wrote: ↑ Thu Jun 18, 2020 8:48 am
White to move, and mate in 16. How long will it take your engine to find this mate? (if it can find it that is)
[d]2b5/3p1k1p/2p1p2P/1pQ1Pp2/6p1/1P2P3/P1P5/2K5 w - - 0 27
It's a mate in
15 moves .
Stockfish 170620 64 POPCNT:
146/30 2:58:30 2.552.711.610.064 238.343.282 +M15 27.Qb6 Kg6 28.Kd2 Kxh6 29.Qd8 Ba6 30.Ke2 Kg7 31.Kf2 Kf7 32.Qxd7+ Kf8 33.Kg3 Bc8 34.Qxc8+ Kf7 35.Qd7+ Kg6 36.Qxe6+ Kg7 37.Qe7+ Kg8 38.Kf4 h5 39.Kxf5 h4 40.Kf6 b4 41.Qg7+
Can you rule out 14? I already know about 15.
Ovyron
Posts: 4562Joined: Tue Jul 03, 2007 4:30 am
Post by Ovyron Sun Jun 21, 2020 9:13 am
zullil wrote: ↑ Sat Jun 20, 2020 11:16 pm
Can you rule out 14?
Can that be done bottom-top?
Like, I can rule out that it's a mate in 1, that it's a mate in 2, that it's a mate in 3... somehow it becomes harder and harder to rule out numbers, and then we don't know if 14 can be ruled out. We know it could be 15 because we know about one that is in 15.
So what's the lowest number that can be ruled out? Like, it should be obvious it's not a mate in 9 or 10, why do we jump from "obvious" to "impossible to prove" from one number to the next?
