MateFinder 9

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

Moderators: hgm, Harvey Williamson, bob

Forum rules
This textbox is used to restore diagrams posted with the [d] tag before the upgrade.
zullil
Posts: 5593
Joined: Mon Jan 08, 2007 11:31 pm
Location: PA USA
Full name: Louis Zulli

Re: MateFinder 9

Post by zullil » Sat Feb 17, 2018 4:28 pm

Sting was indeed progressing well ... until it crashed:

Code: Select all

info depth 41 multipv 1 score cp 808 nodes 29419480554 nps 17864168 time 1646843 pv c5c8 b8b7 f1g2 b7b6 c8a8 d8h4 c3c4 a7a5 g2f1 b6c6 a8a6 c6c7 c4d5 h4e1 a6a7 c7d8 f1b5 d8e7 b5d7 e1c3 d7e6 e7f6 d5c4 c3b2 a7a5 g7g6 c4d3 b2c1 f5g6 f6g6 e6f5 g6f7 d3e4 f7e7 a5a6 c1d2 a6e6 e7f7 e6c6 d2e1 e4f4 e1b4 f4e5 b4a5 c6c8 f7g7 e5e6 a5b6 c8c6 b6a5 c6c1 
info depth 42
info currmove c5c8 currmovenumber 1
info depth 42 multipv 1 score cp 820 lowerbound nodes 30898720213 nps 17871296 time 1728958 pv c5c8 
info currmove c5c8 currmovenumber 1
info depth 42 multipv 1 score cp 832 lowerbound nodes 31709662182 nps 17831607 time 1778284 pv c5c8 b8b7 f1g2 b7b6 c8a8 d8h4 c3c4 h4e7 c4d5 e7f6 g2f1 a7a5 d5d6 b6b7 a8a5 f6c3 a5a4 c3f6 f1g2 b7b6 d6d7 b6c5 d7e6 c5b6 e6d6 b6b5 g2c6 b5b6 a4a8 f6e5 d6e5 b6c6 a8g8 c6b7 g8g7 b7b8 g7d7 b8c8 e5d5 c8d7 f5f6 d7d8 d5d6 d8e8 d6e6 e8f8 f6f7 f8g7 e6e7 
info currmove c5c8 currmovenumber 1
Segmentation fault (core dumped)

User avatar
CMCanavessi
Posts: 835
Joined: Thu Dec 28, 2017 3:06 pm
Location: Argentina

Re: MateFinder 9

Post by CMCanavessi » Sat Feb 17, 2018 6:01 pm

Wow, Ginkgo 2.02 finds the correct move in 19 miliseconds, but it doesn't see any advantage to it.

Code: Select all

FEN: rk1b4/p2p2p1/1P6/2R2P2/8/2K5/8/5B2 w - - 0 1

Ginkgo 2.02 x64:
 1/5	00:00,001	 75	75k	-0,17	1.bxa7+ Rxa7
 2/10	00:00,002	 1k	710k	-0,08	1.Rd5 Bf6+ 2.Kb4 axb6 3.Rxd7
 3/11	00:00,003	 3k	1.005k	-0,24	1.Ba6 Bf6+ 2.Kb3 axb6 3.Rc8+ Ka7 4.Rxa8+ Kxa8
 4/12	00:00,004	 4k	1.038k	-0,13	1.b7 Kxb7 2.Bg2+ Kb6 3.Kc4 Rb8 4.Rb5+ Kc7 5.Rxb8 Kxb8
 5/14	00:00,004	 6k	1.421k	-0,13	1.b7 Kxb7 2.Bg2+ Kb6 3.Kc4 Rb8 4.Rb5+ Kc7 5.Rxb8 Kxb8
 6/16	00:00,006	 8k	1.390k	-0,15	1.b7 Kxb7 2.Bg2+ Kb6 3.Kc4 Rb8 4.Rb5+ Kc7 5.Rxb8 Kxb8 6.Bd5
 7/16-	00:00,008	 12k	1.476k	-0,23	1.b7 Kxb7 2.Bg2+ Kb6 3.Kc4 Rb8 4.Rb5+ Kc7 5.Rxb8
 7/17	00:00,010	 16k	1.557k	-0,28	1.Ba6 Bf6+ 2.Kc4 axb6 3.Rc8+ Ka7 4.Rxa8+ Kxa8 5.Bb5 Kb7 6.Bxd7 Kc7 7.Be6
 8/18+	00:00,019	 30k	1.594k	-0,20	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 d5
 8/18+	00:00,021	 34k	1.617k	-0,06	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 d5
 8/18	00:00,022	 36k	1.623k	-0,20	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.bxa8N Kxa8 6.Bb5 Kb7 7.Bxd7 Kb6 8.Be6
 9/18+	00:00,022	 37k	1.687k	-0,12	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1
 9/18	00:00,024	 39k	1.643k	-0,09	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.bxa8N Kxa8 6.Kd5 Kb8 7.Kd6 Be3 8.Kxd7 Bd4
 10/22	00:00,032	 56k	1.737k	-0,04	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Be3 6.bxa8N Kxa8 7.Kd6 Kb8 8.Kxd7 Bd4 9.Ke6
 11/22	00:00,038	 67k	1.774k	-0,07	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Kc4 d6 7.bxa8N Kxa8 8.Kd5 Bg3 9.Ke6 Be5 10.Kd5
 12/22	00:00,046	 82k	1.792k	-0,09	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Kc4 d6 7.bxa8N Kxa8 8.Kd5 Be5 9.Ke6 Kb8
 13/22	00:00,061	 110k	1.806k	-0,07	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 d6 8.bxa8B Kxa8 9.Ke6 Be5
 14/24-	00:00,080	 145k	1.810k	-0,15	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5
 14/24	00:00,087	 157k	1.802k	-0,07	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 d6 8.bxa8B Kxa8 9.Ke6 Be5
 15/24-	00:00,107	 192k	1.796k	-0,15	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 d6 8.bxa8B Kxa8 9.Ke6 Be5 10.Kd5 Kb8
 15/24	00:00,113	 204k	1.808k	-0,15	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 d6 8.bxa8B Kxa8 9.Ke6 Be5
 16/25+	00:00,126	 230k	1.828k	-0,07	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 d6 8.Ke4 Bh2 9.Kd5 Be5 10.Ke4
 16/25	00:00,155	 282k	1.820k	-0,07	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 d6 8.Kc4 Bh4 9.bxa8Q+ Kxa8 10.Kd5 Bg3
 17/26	00:00,205	 376k	1.834k	-0,07	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 d6 8.Kc4 Bh4 9.bxa8Q+ Kxa8 10.Kd5 Bg3 11.Ke6
 18/28-	00:00,335	 600k	1.791k	-0,15	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 d6 8.Kc4 Be5 9.Kd5 Bh2 10.bxa8Q+ Kxa8 11.Bc8 Kb8 12.Be6
 18/28	00:00,485	 861k	1.776k	-0,19	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 d6 8.Kc4 Be5 9.Kd5 Bh2 10.bxa8Q+ Kxa8 11.Bd3 Kb8 12.Ke6 Kc7
 19/28+	00:00,497	 885k	1.781k	-0,11	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3
 19/30	00:00,660	 1.171k	1.774k	-0,15	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 Bc7 8.Kc5 Be5 9.Kd5 Bg3 10.Kc5 Be5
 20/30+	00:00,690	 1.232k	1.786k	-0,07	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bg3 7.Kd5 Bc7 8.Kc5 Be5 9.Kd5 Bg3 10.Kc5 Be5
 20/30	00:00,873	 1.566k	1.793k	-0,16	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bd6 7.Kd5 Be7 8.Kc4 Ba3 9.Kd5 Bb4 10.Ke5 Ba3 11.bxa8Q+ Kxa8 12.f6 Bb2+ 13.Kd6 Bxf6 14.Kc7 Be5+ 15.Kxd7 Kb8 16.Ke6 Bg3 17.Bd3
 21/30	00:01,237	 2.200k	1.778k	-0,11	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bd6 7.Kd5 Bg3 8.Kc5 Bh2 9.Kd5 Bf4 10.Kc5 Bg3 11.Kc4 Be5 12.Kd5 Bc7 13.Kc5 Bh2
 22/30	00:01,586	 2.838k	1.790k	-0,12	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bd6 7.Kd5 Bg3
 23/33	00:02,074	 3.755k	1.810k	-0,13	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bb6 4.Kc4 Bg1 5.Kd5 Bh2 6.Ke4 Bd6 7.Kd5 Bg3 8.Kc4 Be5 9.Kd5 Bg3
 24/38	00:03,268	 5.985k	1.831k	-0,16	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kc3 Bc5 6.Kc4 Bf8 7.Kd5 Bb4 8.Ke5 Be7 9.Kd5 Bf8 10.Kc4 Bd6 11.Kd5 Bb4
 25/38+	00:03,459	 6.378k	1.844k	-0,08	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kc3 Bc5 6.Kc4 Bf8 7.Kd5 Bb4 8.Ke5 Be7 9.Kd5 Bf8 10.Kc4 Bd6 11.Kd5 Bb4
 25/38	00:04,627	 8.626k	1.864k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 26/38	00:05,205	 9.704k	1.864k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 27/38	00:06,035	 11.218k	1.859k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 28/38	00:07,022	 13.159k	1.874k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 29/38	00:08,066	 15.137k	1.877k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 30/42	00:09,918	 18.558k	1.871k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 31/42	00:12,014	 22.420k	1.866k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 32/42	00:14,460	 26.785k	1.852k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 33/42	00:17,703	 32.599k	1.841k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 34/45	00:21,323	 39.450k	1.850k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 35/45	00:27,816	 50.883k	1.829k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 36/47	00:38,245	 69.061k	1.806k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 37/47	00:51,046	 91.925k	1.801k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 38/47	01:06,242	 118.926k	1.795k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 39/49	01:14,372	 134.606k	1.810k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 40/49	01:42,278	 183.358k	1.793k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 41/49	01:56,655	 209.353k	1.795k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 42/51	02:33,453	 273.584k	1.783k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 43/53	03:26,376	 365.833k	1.773k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 44/64	04:37,016	 504.563k	1.821k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 45/64	05:40,244	 620.091k	1.822k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 46/64	08:29,486	 914.778k	1.795k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 47/64	10:45,092	 1.147.248k	1.778k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 48/64	12:48,669	 1.360.312k	1.770k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5
 49/64	14:45,646	 1.566.233k	1.768k	 0,00	1.Rc8+ Kxc8 2.Ba6+ Kb8 3.b7 Bf6+ 4.Kc4 Be7 5.Kd5 Bf8 6.Ke5 Be7 7.Kd5

Follow my tournament and some Leela gauntlets live at http://twitch.tv/ccls

lech
Posts: 1052
Joined: Sun Feb 14, 2010 9:02 pm

Re: MateFinder 9

Post by lech » Sat Feb 17, 2018 6:48 pm

zullil wrote:Sting was indeed progressing well ... until it crashed:

Code: Select all

info depth 41 multipv 1 score cp 808 nodes 29419480554 nps 17864168 time 1646843 pv c5c8 b8b7 f1g2 b7b6 c8a8 d8h4 c3c4 a7a5 g2f1 b6c6 a8a6 c6c7 c4d5 h4e1 a6a7 c7d8 f1b5 d8e7 b5d7 e1c3 d7e6 e7f6 d5c4 c3b2 a7a5 g7g6 c4d3 b2c1 f5g6 f6g6 e6f5 g6f7 d3e4 f7e7 a5a6 c1d2 a6e6 e7f7 e6c6 d2e1 e4f4 e1b4 f4e5 b4a5 c6c8 f7g7 e5e6 a5b6 c8c6 b6a5 c6c1 
info depth 42
info currmove c5c8 currmovenumber 1
info depth 42 multipv 1 score cp 820 lowerbound nodes 30898720213 nps 17871296 time 1728958 pv c5c8 
info currmove c5c8 currmovenumber 1
info depth 42 multipv 1 score cp 832 lowerbound nodes 31709662182 nps 17831607 time 1778284 pv c5c8 b8b7 f1g2 b7b6 c8a8 d8h4 c3c4 h4e7 c4d5 e7f6 g2f1 a7a5 d5d6 b6b7 a8a5 f6c3 a5a4 c3f6 f1g2 b7b6 d6d7 b6c5 d7e6 c5b6 e6d6 b6b5 g2c6 b5b6 a4a8 f6e5 d6e5 b6c6 a8g8 c6b7 g8g7 b7b8 g7d7 b8c8 e5d5 c8d7 f5f6 d7d8 d5d6 d8e8 d6e6 e8f8 f6f7 f8g7 e6e7 
info currmove c5c8 currmovenumber 1
Segmentation fault (core dumped)
I think it is only your problem! :lol:
Maybe, I can't be friendly, but let me be useful.

MikeB
Posts: 3380
Joined: Thu Mar 09, 2006 5:34 am
Location: Pen Argyl, Pennsylvania

Re: MateFinder 9

Post by MikeB » Sun Feb 18, 2018 3:53 am

zullil wrote:
Dann Corbit wrote:Just tried it on a collection of mates and it did quite well.
[D] rk1b4/p2p2p1/1P6/2R2P2/8/2K5/8/5B2 w - - 0 1

MateFinder is struggling with this one! But it's quite a hard problem. Maybe Sting or McBrain will prove more successful.

Code: Select all

info depth 52 seldepth 55 multipv 1 score cp -8 nodes 35647568533 nps 33955110 hashfull 1000 tbhits 0 time 1049844 pv c5d5 d8f6 c3b4 a7b6 d5d7 a8a7 d7a7 b8a7 f1b5 a7b7 b4c4 b7c7 c4d5 f6c3 d5e6 c7d8 b5a4 d8c8 a4b5 c8c7 b5d7 c3f6 d7b5 f6b2 e6d5 b2a3 d5e6 a3c5 b5d7 c5b4 d7b5 b4a3 e6d5 a3c5 d5e6 c5e3 e6e5 e3g5 e5d5 g5f4 d5e6 c7b7 e6d5 f4e3 d5c4 e3d2 c4d4 b7c7 d4d5 d2g5 d5e5 g5e7 e5d5 e7f6
McBrain doesn't get this easily ( less than 10 minutes) unless you show the moves and I suspect it will take many hours if it gets it at all from a clean start ... It was reported a few years ago that Houdini 3 was getting this...

fishpov
Posts: 37
Joined: Sat Mar 07, 2015 5:05 pm

Re: MateFinder 9

Post by fishpov » Thu Mar 01, 2018 6:28 pm

My Houdini 6.03 Pro in tactical mode = 1 or 0 finds very quickly.
Here Tactical mode = 0
New game
[D]rk1b4/p2p2p1/1P6/2R2P2/8/2K5/8/5B2 w - - 0 1

Analysis by Houdini 6.03 Pro x64-popc 1 Pro x64:

1.Rc5-c8+
+/= (0.39 ++) Depth: 34/49 00:00:09 70459kN, tb=177513
1.Rc5-c8+
+/= (0.60 ++) Depth: 34/49 00:00:11 92222kN, tb=211979
1.Rc5-c8+
+/- (0.87 ++) Depth: 34/49 00:00:12 118MN, tb=260131
1.Rc5-c8+
+/- (1.23 ++) Depth: 34/49 00:00:14 152MN, tb=330889
1.Rc5-c8+
+- (1.70 ++) Depth: 34/51 00:00:21 269MN, tb=456432
1.Rc5-c8+
+- (2.31 ++) Depth: 34/52 00:00:42 634MN, tb=1099296

tpoppins
Posts: 919
Joined: Tue Nov 24, 2015 8:11 pm
Location: upstate

Re: MateFinder 9

Post by tpoppins » Fri Mar 02, 2018 6:43 am

CMCanavessi wrote:Houdini 6.03 doesn't see it either

Code: Select all

FEN: rk1b4/p2p2p1/1P6/2R2P2/8/2K5/8/5B2 w - - 0 1

Houdini 6.03 x64:

36/65  04:36,805  623.710k  2.253k  -0,25  1.Rd5 Bf6+ 2.Kb4 d6 3.Kb5 Be5 4.Bc4 axb6 5.Kxb6 Ra4 6.Bb3 Rf4 7.Kc6 Kc8 8.Rb5 Kd8 9.f6 gxf6 10.Rb8+ Ke7 11.Rb7+ Kf8 12.Kd5 Rf2 13.Ke6 Kg8 14.Rf7 Rg2 15.Bd5 Rg5 16.Bc4 Rg7 17.Rxf6 Bxf6 18.Kxf6+ Kh7 19.Ke6 Rg6+ 20.Kd7 Kh6 21.Be6 Kg5 22.Kxd6 Kf4 23.Kd5 Rg5+ 24.Kd6 Ke3 25.Bd5 Kd4 26.Be6 Ra5 27.Bd7
fishpov wrote:My Houdini 6.03 Pro in tactical mode = 1 or 0 finds very quickly.
Here Tactical mode = 0
New game
[D]rk1b4/p2p2p1/1P6/2R2P2/8/2K5/8/5B2 w - - 0 1

Analysis by Houdini 6.03 Pro x64-popc 1 Pro x64:

1.Rc5-c8+
+/= (0.39 ++) Depth: 34/49 00:00:09 70459kN, tb=177513
1.Rc5-c8+
+/= (0.60 ++) Depth: 34/49 00:00:11 92222kN, tb=211979
1.Rc5-c8+
+/- (0.87 ++) Depth: 34/49 00:00:12 118MN, tb=260131
1.Rc5-c8+
+/- (1.23 ++) Depth: 34/49 00:00:14 152MN, tb=330889
1.Rc5-c8+
+- (1.70 ++) Depth: 34/51 00:00:21 269MN, tb=456432
1.Rc5-c8+
+- (2.31 ++) Depth: 34/52 00:00:42 634MN, tb=1099296
I bet the core/thread count and/or hash size were higher in the second case. It's a useful habit to provide such info with your analysis. I recall there was a position where an older Houdini (v4?) could find a mate only with hash>=8GB. SMP non-determinism is also an important factor: the more cores you throw at a problem, the greater the likelihood of success (just ask Dann, heh).

Anyway, your analysis is inconclusive, Nicolas, since you stopped it at a fail-high. It might resolve to Rd5, for all we know. It's preferable to wait till it resolves to show a full PV.

Paloma
Posts: 827
Joined: Thu Dec 25, 2008 8:07 pm

Re: MateFinder 9

Post by Paloma » Fri Mar 02, 2018 9:47 am

+1

BBauer
Posts: 658
Joined: Wed Mar 08, 2006 7:58 pm

Re: MateFinder 9

Post by BBauer » Fri Mar 02, 2018 6:24 pm

May be your position is too difficult. Try a #5.

[D]rk6/p1r3p1/P3B1Kp/1p2B3/8/8/8/8 w - - 0 1
Current SF could not solve it in some hours. One thread, slow computer.
Kind regards
Bernhard

Dann Corbit
Posts: 9977
Joined: Wed Mar 08, 2006 7:57 pm
Location: Redmond, WA USA
Contact:

Re: MateFinder 9

Post by Dann Corbit » Fri Mar 02, 2018 7:40 pm

Thank you for your efforts on this.
MateFinder is clearly one of the best mate solvers around and it may be the very best for some complicated checkmates.
Taking ideas is not a vice, it is a virtue. We have another word for this. It is called learning.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.

zullil
Posts: 5593
Joined: Mon Jan 08, 2007 11:31 pm
Location: PA USA
Full name: Louis Zulli

Re: MateFinder 9

Post by zullil » Fri Mar 02, 2018 9:45 pm

BBauer wrote:May be your position is too difficult. Try a #5.

[D]rk6/p1r3p1/P3B1Kp/1p2B3/8/8/8/8 w - - 0 1
Current SF could not solve it in some hours. One thread, slow computer.
Kind regards
Bernhard
Yes, the latest Cfish is also failing here. I suppose this shows how aggressively Stockfish reduces/prunes.

One thread (so deterministic) and still blind at depth 60!

Code: Select all

info depth 60 seldepth 80 multipv 1 score cp -37 nodes 14264391730 nps 3558700 hashfull 999 tbhits 0 time 4008315 pv e6d5 b8c8 d5a8 c7c4 e5g7 b5b4 g6h6 c8c7 a8d5 c4c5 d5e4 c5a5 g7d4 a5a6 h6g5 c7d6 g5f4 a6a2 e4g6 a7a5 f4e3 a2g2 g6f7 a5a4 e3d3 g2g4 f7h5 g4h4 h5d1 b4b3 d3c3 h4h1 d1b3 h1h3 c3b4 a4b3 d4c3 d6d5 b4b3 d5c5 b3c2 c5c4 c3e5 h3e3 e5f6 e3e2 c2d1 c4d3 d1c1 e2c2 c1b1 d3d2 f6b2 c2c7 b2d4 c7c4 d4f6 c4b4 b1a2 b4b5 f6d8 d2d3 d8f6 d3c4 f6d8 b5b3 d8g5 b3g3 g5f6 g3f3 f6b2 f3e3 b2f6 e3e6 f6g7 e6e2 a2a3 e2e7

Post Reply