Discussion of anything and everything relating to chess playing software and machines.
Moderators: hgm , Rebel , chrisw
Dann Corbit
Posts: 12537Joined: Wed Mar 08, 2006 8:57 pmLocation: Redmond, WA USA
Post by Dann Corbit Fri Feb 15, 2019 10:05 pm
Try it with Stockfish. I am of the impression that SF would never solve this problem, that Sting solves in 2 seconds.
Searching: [d]8/2p1p1p1/2P1P1Pp/P4K2/P7/p2p4/rppP3P/qkn4R w - -
Code: Select all
infinite: 0 ponder: 0 time: 0 increment: 0 moves to go: 0
1 -4.00 00:02 14 Ke4
2 -3.84 00:02 42 Ke4 h5
3 -2.91 00:02 78 Ke4 h5 a6
4 +0.00 00:02 123 Ke4 h5 h4
5 +0.00 00:02 167 Ke4 h5 h4
6 +0.00 00:02 569 a6 h5 a7 h4 Ke5 h3 a8=Q
7 +0.00 00:02 804 a6 h5 a7 h4 a8=Q h3 Ke5
8 +0.00 00:02 1387 a6 h5 a7 h4 a8=Q h3 Ke5
9 +2.99 00:02 2277 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=Q b3
10 +0.00 00:02 9109 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=Q b3 a6
11 +0.00 00:02 15035 a6 h5 a7 h4 a8=N
12 +0.00 00:02 22311 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 Ke4 b5 a5 b4 a6 b3 a7
13 +0.00 00:02 41959 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 Ke4 b5 a5 b4 a6 b3 a7
14 +0.00 00:02 68327 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 Ke4 b5 a5 b4 a6 b3 a7
15 +0.00 00:02 106305 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 Ke4 b5 a5 b4 a6 b3 a7
16 +0.00 00:02 146194 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 Ke4 b5 a5 b4 a6 b3 a7
17 +0.00 00:02 170394 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=Q d4 Kg4
18 +0.00 00:02 257217 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=Q d4 Kg4
19 +0.00 00:02 327970 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N
20 +0.00 00:02 375844 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke4 f5+ Kd5 f4 Kxd4 f3 a6 f2 a7 f1=B Rxf1
21 +0.00 00:02 507873 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6
22 +0.00 00:02 839599 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke4 f5+ Kd5 f4 Kxd4 f3 a6 f2 a7 f1=B Rxf1
23 +0.00 00:02 1290K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke4 f5+ Kd5 f4 Kxd4 f3 a6 f2 a7 f1=B Rxf1
24 #20 00:02 1622K a6
25 #20 00:02 3623K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2
26 #20 00:06 56362K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+
27 #20 00:09 93175K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
28 #20 00:16 201339K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
29 #20 00:25 327110K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
30 #20 00:35 463438K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
31 #20 01:01 828221K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
32 #20 02:25 1951M a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
Taking ideas is not a vice, it is a virtue. We have another word for this. It is called learning.
henk2
Posts: 30Joined: Mon Jan 14, 2019 7:55 amFull name: Henk Verbaasdonk
Post by henk2 Fri Feb 15, 2019 10:25 pm
Testing it out right now with Stockfish at 100 contempt.
Last edited by henk2 on Fri Feb 15, 2019 10:50 pm, edited 1 time in total.
dkappe
Posts: 1631Joined: Tue Aug 21, 2018 7:52 pmFull name: Dietrich Kappe
Post by dkappe Fri Feb 15, 2019 10:42 pm
11258-48x5-se on lc0 1cpu (no gpu), finds the first move in less than a second.
Last edited by dkappe on Fri Feb 15, 2019 10:47 pm, edited 1 time in total.
Fat Titz by Stockfish, the engine with the bodaciously big net. Remember: size matters. If you want to learn more about this engine just google for "Fat Titz".
Dann Corbit
Posts: 12537Joined: Wed Mar 08, 2006 8:57 pmLocation: Redmond, WA USA
Post by Dann Corbit Fri Feb 15, 2019 10:47 pm
dkappe wrote: ↑ Fri Feb 15, 2019 10:42 pm
11258-48x5-se on lc0 1cpu (no gpu), finds it in less than a second.
Does it show a mate in 20 score, or a draw?
Taking ideas is not a vice, it is a virtue. We have another word for this. It is called learning.
dkappe
Posts: 1631Joined: Tue Aug 21, 2018 7:52 pmFull name: Dietrich Kappe
Post by dkappe Fri Feb 15, 2019 10:48 pm
Dann Corbit wrote: ↑ Fri Feb 15, 2019 10:47 pm dkappe wrote: ↑ Fri Feb 15, 2019 10:42 pm
11258-48x5-se on lc0 1cpu (no gpu), finds it in less than a second.
Does it show a mate in 20 score, or a draw?
Draw so far.
Fat Titz by Stockfish, the engine with the bodaciously big net. Remember: size matters. If you want to learn more about this engine just google for "Fat Titz".
Dann Corbit
Posts: 12537Joined: Wed Mar 08, 2006 8:57 pmLocation: Redmond, WA USA
Post by Dann Corbit Fri Feb 15, 2019 10:50 pm
dkappe wrote: ↑ Fri Feb 15, 2019 10:48 pm Dann Corbit wrote: ↑ Fri Feb 15, 2019 10:47 pm dkappe wrote: ↑ Fri Feb 15, 2019 10:42 pm
11258-48x5-se on lc0 1cpu (no gpu), finds it in less than a second.
Does it show a mate in 20 score, or a draw?
Draw so far.
Both of these plans are draws:
Code: Select all
Kg4 h5+ Kxh5
a6 h5 a7 h4 a8=Q h3 Qb7
It is the pile of under-promotions that builds a winning plan.
Taking ideas is not a vice, it is a virtue. We have another word for this. It is called learning.
MikeB
Posts: 4889Joined: Thu Mar 09, 2006 6:34 amLocation: Pen Argyl, Pennsylvania
Post by MikeB Sat Feb 16, 2019 5:52 am
Dann Corbit wrote: ↑ Fri Feb 15, 2019 10:05 pm
Try it with Stockfish. I am of the impression that SF would never solve this problem, that Sting solves in 2 seconds.
Searching: [d]8/2p1p1p1/2P1P1Pp/P4K2/P7/p2p4/rppP3P/qkn4R w - -
Code: Select all
infinite: 0 ponder: 0 time: 0 increment: 0 moves to go: 0
1 -4.00 00:02 14 Ke4
2 -3.84 00:02 42 Ke4 h5
3 -2.91 00:02 78 Ke4 h5 a6
4 +0.00 00:02 123 Ke4 h5 h4
5 +0.00 00:02 167 Ke4 h5 h4
6 +0.00 00:02 569 a6 h5 a7 h4 Ke5 h3 a8=Q
7 +0.00 00:02 804 a6 h5 a7 h4 a8=Q h3 Ke5
8 +0.00 00:02 1387 a6 h5 a7 h4 a8=Q h3 Ke5
9 +2.99 00:02 2277 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=Q b3
10 +0.00 00:02 9109 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=Q b3 a6
11 +0.00 00:02 15035 a6 h5 a7 h4 a8=N
12 +0.00 00:02 22311 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 Ke4 b5 a5 b4 a6 b3 a7
13 +0.00 00:02 41959 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 Ke4 b5 a5 b4 a6 b3 a7
14 +0.00 00:02 68327 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 Ke4 b5 a5 b4 a6 b3 a7
15 +0.00 00:02 106305 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 Ke4 b5 a5 b4 a6 b3 a7
16 +0.00 00:02 146194 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 Ke4 b5 a5 b4 a6 b3 a7
17 +0.00 00:02 170394 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=Q d4 Kg4
18 +0.00 00:02 257217 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=Q d4 Kg4
19 +0.00 00:02 327970 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N
20 +0.00 00:02 375844 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke4 f5+ Kd5 f4 Kxd4 f3 a6 f2 a7 f1=B Rxf1
21 +0.00 00:02 507873 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6
22 +0.00 00:02 839599 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke4 f5+ Kd5 f4 Kxd4 f3 a6 f2 a7 f1=B Rxf1
23 +0.00 00:02 1290K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke4 f5+ Kd5 f4 Kxd4 f3 a6 f2 a7 f1=B Rxf1
24 #20 00:02 1622K a6
25 #20 00:02 3623K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2
26 #20 00:06 56362K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+
27 #20 00:09 93175K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
28 #20 00:16 201339K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
29 #20 00:25 327110K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
30 #20 00:35 463438K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
31 #20 01:01 828221K a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
32 #20 02:25 1951M a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=B Bxf1 d3 a6 Ne2 Bxe2+ c1=N Bxd3#
With McCain X2 ( software available on git hub, no exe's were released) , set tactical to 2, check Brute Force and No Null Moves box, announces mate in 20 in 8 seconds, not as fast as Sting, but respectable. ymmv
Code: Select all
white viewpoint fewer / Multi-PV setting = 1 / more
exclude: none best +tail
dep score nodes time (not shown: tbhits knps seldep)
18 #20 3.83G 1:20.49 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3 Bh7 f2 Bxd3 f1=N Bxf1 d3 Ke5
17 #20 2.88G 1:00.20 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4 g8=B f3
16 #20 502.3M 0:09.87 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6 f5 g7 f4
15 #20 433.6M 0:08.47 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4 Nf6 gxf6 Ke6
14 #20 413.4M 0:08.07 a6 h5 a7 h4 a8=N h3 Nb6 cxb6 c7 b5 a5 b4 c8=N b3 Nd6 exd6 e7 d5 e8=N d4
13 0.00 147.4M 0:02.95 h3 h5 h4
12 0.00 44.3M 0:00.90 h3 h5 h4
11 0.00 18.1M 0:00.37 h3 h5 h4
10 0.00 6.01M 0:00.12 h3 h5 h4
9 0.00 2.10M 0:00.04 h3 h5 h4
8 0.00 323234 0:00.01 h3 h5 h4
7 0.00 315968 0:00.01 h3 h5 h4
6 0.00 312167 0:00.01 h3 h5 h4
5 0.00 308567 0:00.01 h3 h5 h4
4 0.00 304908 0:00.01 h3 h5 h4
3 0.00 299607 0:00.01 h3 h5 h4
2 0.00 6471 0:00.00 h3 h5
1 0.00 2495 0:00.00 h3
1 Found 1511 tablebases
Jouni
Posts: 3281Joined: Wed Mar 08, 2006 8:15 pm
Post by Jouni Sat Feb 16, 2019 11:28 am
SF is not designed to solve mates, but Matefinder is:
Analysis by Stockfish MateFinder 9 64 BMI2:
1.a6 h5 2.a7 h4 3.a8N h3 4.Nb6 cxb6 5.c7 b5 6.a5 b4 7.c8N b3 8.Nd6 exd6 9.e7 d5 10.e8N d4 11.Nf6 gxf6 12.Ke6 f5 13.g7 f4 14.g8B f3 15.Bh7 f2 16.Bxd3 f1Q 17.Bxf1 d3 18.Kf6 Ne2 19.Bxe2+ c1Q 20.Bxd3#
+- (#20) Depth: 27/40 00:00:01 17578kN
Default parameters
.
Jouni
dkappe
Posts: 1631Joined: Tue Aug 21, 2018 7:52 pmFull name: Dietrich Kappe
Post by dkappe Tue Feb 26, 2019 6:10 am
Where can one find the source repo for sting?
Fat Titz by Stockfish, the engine with the bodaciously big net. Remember: size matters. If you want to learn more about this engine just google for "Fat Titz".
MikeB
Posts: 4889Joined: Thu Mar 09, 2006 6:34 amLocation: Pen Argyl, Pennsylvania
Post by MikeB Tue Feb 26, 2019 6:13 am
dkappe wrote: ↑ Tue Feb 26, 2019 6:10 am
Where can one find the source repo for sting?
I believe this is the latest:
http://www.mediafire.com/file/9mftio8fp ... 4.zip/file
I just checked and the link is still active.
.