New MateFinder Release

[MikeB]

I re-run some test suites with "study" flag and then it improved in all including mates, BTW just this was impressive:

[d]8/8/2b1N3/5p2/3B4/2K5/6kp/R7 w - - 0 1

Analysis by Stockfish MateFinder 64 POPCNT:

1.Rh1
= (0.27 ++) Depth: 30/36 00:00:06 52352kN, tb=517742
.
.
+- (122.44 ++) Depth: 40/58 00:00:58 562mN, tb=5808998
1.Rh1 Bf3 2.Kd3 Bb7 3.Nf4+ Kg3 4.Bf2+ Kxf4 5.Rxh2 Ke5 6.Bg3+ Kd5 7.Rh5 Ke6 8.Kd4 Bf3 9.Rh6+ Kd7 10.Rd6+ Ke7 11.Ke5 Be4 12.Bf4 Kf7 13.Rd1 Ke7 14.Bg5+ Kf7 15.Be3 Ke7 16.Rc1 Kf7 17.Rg1 Ke7 18.Rg7+ Kf8 19.Bh6 Ke8 20.Bf4 Kd8 21.Ke6 Kc8 22.Rd7 Bb1 23.Rc7+ Kb8 24.Rc1+ Kb7

Well, with 6-man syzygy endgame tables, plain old Stockfish-master solves this in seconds:

Code: Select all

info depth 31 seldepth 36 multipv 1 score cp 12343 nodes 52346225 nps 19760749 hashfull 8 tbhits 725820 time 2649 pv a1h1 c6e4 d4f2 e4f3 c3d2 f3g4 d2e1 g2h1 e6f4 g4f3 f2a7 f3c6 e1f1 c6f3 f1f2 f3d1 a7e3 d1f3 f4e6 f3a8 e6g7 a8e4 g7h5 f5f4 h5f4

How does it do on this one:
[d]r1bqrbk1/pp3ppp/1n1p4/3P1PP1/2p1N2Q/2PnN3/P2B2BP/4RRK1 w - - bm Re2;

Ellis version solves it in reasonable time.

For me, current SF found Re2 in 3:21 , MF took over 10 minutes with Study On. With study off, 7:45 - but before it switched, it was displaying a real interesting double sacrifice .
[pgn][FEN "r1bqrbk1/pp3ppp/1n1p4/3P1PP1/2p1N2Q/2PnN3/P2B2BP/4RRK1 w - - 0 1"]

1. Ng4 Nxe1 2. Nef6+ gxf6 3. g6 fxg6 4. fxg6 hxg6 5. Nxf6+ Qxf6 6. Qxf6 Bf5
7. Bxe1 Nd7
[/pgn]and then it just fizzles...

[shrapnel]

Tested it. Very weak in LTC games. Useless for me.

[Jouni]

IPMAN bmi compile is full 9% faster than original. I tested it in Arasan suite with 30s and 4 cores. For comparison SF 5.12. and Houdini 3 tactical:

Code: Select all

            H3 tac  SF MF   SF 5.12.

arasan18.1	0:00:01	0:00:02	0:00:30	
arasan18.2	0:00:00	0:00:05	0:00:02	
arasan18.3	0:00:05	0:00:00	0:00:00	
arasan18.4	0:00:00	0:00:00	0:00:00	
arasan18.5	0:00:00	0:00:01	0:00:01	
arasan18.6	0:00:05	0:00:01	0:00:03	
arasan18.7	0:00:00	0:00:17	0:00:30	
arasan18.8	0:00:11	0:00:01	0:00:11	
arasan18.9	0:00:02	0:00:01	0:00:00	
arasan18.10	0:00:02	0:00:01	0:00:00	
arasan18.11	0:00:01	0:00:01	0:00:04	
arasan18.12	0:00:01	0:00:00	0:00:00	
arasan18.13	0:00:07	0:00:03	0:00:30	
arasan18.14	0:00:02	0:00:00	0:00:00	
arasan18.15	0:00:03	0:00:00	0:00:00	
arasan18.16	0:00:08	0:00:01	0:00:04	
arasan18.17	0:00:00	0:00:00	0:00:21	
arasan18.18	0:00:02	0:00:03	0:00:09	
arasan18.19	0:00:00	0:00:01	0:00:03	
arasan18.20	0:00:01	0:00:00	0:00:00	
arasan18.21	0:00:30	0:00:30	0:00:20	
arasan18.22	0:00:09	0:00:14	0:00:04	
arasan18.23	0:00:05	0:00:03	0:00:04	
arasan18.24	0:00:07	0:00:01	0:00:04	
arasan18.25	0:00:01	0:00:04	0:00:00	
arasan18.26	0:00:03	0:00:04	0:00:07	
arasan18.27	0:00:00	0:00:18	0:00:03	
arasan18.28	0:00:03	0:00:10	0:00:30	
arasan18.29	0:00:10	0:00:02	0:00:02	
arasan18.30	0:00:30	0:00:25	0:00:22	
arasan18.31	0:00:04	0:00:30	0:00:30	
arasan18.32	0:00:01	0:00:01	0:00:00	
arasan18.33	0:00:03	0:00:00	0:00:00	
arasan18.34	0:00:00	0:00:02	0:00:03	
arasan18.35	0:00:03	0:00:01	0:00:01	
arasan18.36	0:00:07	0:00:07	0:00:30	
arasan18.37	0:00:06	0:00:11	0:00:10	
arasan18.38	0:00:07	0:00:00	0:00:01	
arasan18.39	0:00:01	0:00:03	0:00:12	
arasan18.40	0:00:03	0:00:01	0:00:00	
arasan18.41	0:00:30	0:00:30	0:00:21	
arasan18.42	0:00:00	0:00:07	0:00:04	
arasan18.43	0:00:01	0:00:00	0:00:01	
arasan18.44	0:00:05	0:00:03	0:00:02	
arasan18.45	0:00:01	0:00:10	0:00:08	
arasan18.46	0:00:00	0:00:02	0:00:01	
arasan18.47	0:00:30	0:00:20	0:00:30	
arasan18.48	0:00:00	0:00:00	0:00:00	
arasan18.49	0:00:00	0:00:02	0:00:12	
arasan18.50	0:00:00	0:00:00	0:00:01	
arasan18.51	0:00:03	0:00:03	0:00:30	
arasan18.52	0:00:30	0:00:03	0:00:02	
arasan18.53	0:00:05	0:00:30	0:00:30	
arasan18.54	0:00:01	0:00:00	0:00:00	
arasan18.55	0:00:30	0:00:30	0:00:30	
arasan18.56	0:00:19	0:00:00	0:00:00	
arasan18.57	0:00:02	0:00:30	0:00:30	
arasan18.58	0:00:00	0:00:00	0:00:01	
arasan18.59	0:00:01	0:00:00	0:00:00	
arasan18.60	0:00:30	0:00:30	0:00:30	
arasan18.61	0:00:02	0:00:04	0:00:07	
arasan18.62	0:00:00	0:00:30	0:00:30	
arasan18.63	0:00:30	0:00:02	0:00:09	
arasan18.64	0:00:00	0:00:01	0:00:03	
arasan18.65	0:00:00	0:00:10	0:00:01	
arasan18.66	0:00:03	0:00:01	0:00:02	
arasan18.67	0:00:04	0:00:02	0:00:01	
arasan18.68	0:00:05	0:00:30	0:00:30	
arasan18.69	0:00:30	0:00:30	0:00:30	
arasan18.70	0:00:03	0:00:01	0:00:02	
arasan18.71	0:00:01	0:00:03	0:00:03	
arasan18.72	0:00:02	0:00:05	0:00:30	
arasan18.73	0:00:00	0:00:00	0:00:00	
arasan18.74	0:00:01	0:00:03	0:00:12	
arasan18.75	0:00:10	0:00:00	0:00:01	
arasan18.76	0:00:02	0:00:00	0:00:03	
arasan18.77	0:00:01	0:00:01	0:00:05	
arasan18.78	0:00:05	0:00:02	0:00:02	
arasan18.79	0:00:01	0:00:00	0:00:00	
arasan18.80	0:00:19	0:00:19	0:00:30	
arasan18.81	0:00:02	0:00:04	0:00:10	
arasan18.82	0:00:00	0:00:00	0:00:00	
arasan18.83	0:00:04	0:00:30	0:00:15	
arasan18.84	0:00:03	0:00:04	0:00:00	
arasan18.85	0:00:00	0:00:04	0:00:30	
arasan18.86	0:00:03	0:00:03	0:00:02	
arasan18.87	0:00:00	0:00:01	0:00:21	
arasan18.88	0:00:00	0:00:26	0:00:03	
arasan18.89	0:00:01	0:00:03	0:00:04	
arasan18.90	0:00:00	0:00:00	0:00:00	
arasan18.91	0:00:05	0:00:13	0:00:02	
arasan18.92	0:00:00	0:00:03	0:00:04	
arasan18.93	0:00:00	0:00:00	0:00:00	
arasan18.94	0:00:02	0:00:03	0:00:22	
arasan18.95	0:00:05	0:00:14	0:00:30	
arasan18.96	0:00:00	0:00:01	0:00:01	
arasan18.97	0:00:01	0:00:03	0:00:03	
arasan18.98	0:00:14	0:00:04	0:00:06	
arasan18.99	0:00:02	0:00:00	0:00:01	
arasan18.100	0:00:00	0:00:00	0:00:01	
arasan18.101	0:00:01	0:00:01	0:00:04		
arasan18.102	0:00:01	0:00:30	0:00:30		
arasan18.103	0:00:00	0:00:00	0:00:00		
arasan18.104	0:00:00	0:00:01	0:00:04		
arasan18.105	0:00:01	0:00:01	0:00:01		
arasan18.106	0:00:30	0:00:00	0:00:01		
arasan18.107	0:00:06	0:00:01	0:00:08		
arasan18.108	0:00:20	0:00:03	0:00:01		
arasan18.109	0:00:14	0:00:05	0:00:03		
arasan18.110	0:00:01	0:00:30	0:00:30		
arasan18.111	0:00:03	0:00:06	0:00:04		
arasan18.112	0:00:29	0:00:03	0:00:07		
arasan18.113	0:00:00	0:00:10	0:00:02		
arasan18.114	0:00:00	0:00:04	0:00:04		
arasan18.115	0:00:00	0:00:01	0:00:01		
arasan18.116	0:00:01	0:00:09	0:00:16		
arasan18.117	0:00:20	0:00:30	0:00:30		
arasan18.118	0:00:01	0:00:01	0:00:03		
arasan18.119	0:00:05	0:00:15	0:00:30		
arasan18.120	0:00:00	0:00:03	0:00:01		
arasan18.121	0:00:01	0:00:01	0:00:02		
arasan18.122	0:00:01	0:00:00	0:00:30		
arasan18.123	0:00:03	0:00:30	0:00:30		
arasan18.124	0:00:00	0:00:01	0:00:01		
arasan18.125	0:00:01	0:00:10	0:00:06		
arasan18.126	0:00:12	0:00:00	0:00:00		
arasan18.127	0:00:06	0:00:00	0:00:00		
arasan18.128	0:00:00	0:00:00	0:00:00		
arasan18.129	0:00:19	0:00:00	0:00:00		
arasan18.130	0:00:00	0:00:00	0:00:01		
arasan18.131	0:00:00	0:00:03	0:00:03		
arasan18.132	0:00:00	0:00:30	0:00:03		
arasan18.133	0:00:23	0:00:08	0:00:24		
arasan18.134	0:00:14	0:00:05	0:00:00		
arasan18.135	0:00:30	0:00:01	0:00:03		
arasan18.136	0:00:00	0:00:30	0:00:30		
arasan18.137	0:00:18	0:00:01	0:00:02		
arasan18.138	0:00:00	0:00:00	0:00:00		
arasan18.139	0:00:00	0:00:00	0:00:00		
arasan18.140	0:00:00	0:00:00	0:00:00		
arasan18.141	0:00:02	0:00:00	0:00:01		
arasan18.142	0:00:10	0:00:00	0:00:16		
arasan18.143	0:00:01	0:00:00	0:00:00		
arasan18.144	0:00:01	0:00:01	0:00:04		
arasan18.145	0:00:02	0:00:00	0:00:03		
arasan18.146	0:00:01	0:00:00	0:00:00		
arasan18.147	0:00:03	0:00:06	0:00:01		
arasan18.148	0:00:04	0:00:14	0:00:15		
arasan18.149	0:00:05	0:00:01	0:00:02		
arasan18.150	0:00:03	0:00:24	0:00:30		
arasan18.151	0:00:14	0:00:00	0:00:00		
arasan18.152	0:00:30	0:00:30	0:00:30		
arasan18.153	0:00:30	0:00:30	0:00:30		
arasan18.154	0:00:06	0:00:03	0:00:30		
arasan18.155	0:00:07	0:00:30	0:00:30		
arasan18.156	0:00:30	0:00:30	0:00:30		
arasan18.157	0:00:01	0:00:04	0:00:30		
arasan18.158	0:00:30	0:00:03	0:00:03		
arasan18.159	0:00:00	0:00:00	0:00:00		
arasan18.160	0:00:11	0:00:30	0:00:30		
arasan18.161	0:00:02	0:00:01	0:00:21		
arasan18.162	0:00:00	0:00:03	0:00:30		
arasan18.163	0:00:04	0:00:28	0:00:01		
arasan18.164	0:00:01	0:00:30	0:00:30		
arasan18.165	0:00:01	0:00:00	0:00:01		
arasan18.166	0:00:05	0:00:25	0:00:09		
arasan18.167	0:00:01	0:00:07	0:00:08		
arasan18.168	0:00:01	0:00:00	0:00:00		
arasan18.169	0:00:06	0:00:20	0:00:30		
arasan18.170	0:00:00	0:00:00	0:00:00		
arasan18.171	0:00:01	0:00:03	0:00:07		
arasan18.172	0:00:30	0:00:30	0:00:30		
arasan18.173	0:00:00	0:00:01	0:00:00		
arasan18.174	0:00:30	0:00:30	0:00:30		
arasan18.175	0:00:30	0:00:08	0:00:23		
arasan18.176	0:00:01	0:00:24	0:00:08		
arasan18.177	0:00:03	0:00:00	0:00:00		
arasan18.178	0:00:02	0:00:30	0:00:30		
arasan18.179	0:00:01	0:00:01	0:00:02		
arasan18.180	0:00:01	0:00:01	0:00:01		
arasan18.181	0:00:07	0:00:02	0:00:01		
arasan18.182	0:00:00	0:00:02	0:00:01		
arasan18.183	0:00:02	0:00:01	0:00:02		
arasan18.184	0:00:03	0:00:06	0:00:06		
arasan18.185	0:00:07	0:00:00	0:00:09		
arasan18.186	0:00:03	0:00:10	0:00:01		
arasan18.187	0:00:00	0:00:06	0:00:13		
arasan18.188	0:00:01	0:00:00	0:00:00		
arasan18.189	0:00:03	0:00:01	0:00:03		
arasan18.190	0:00:01	0:00:01	0:00:01		
arasan18.191	0:00:10	0:00:03	0:00:03		
arasan18.192	0:00:01	0:00:07	0:00:30		
arasan18.193	0:00:03	0:00:30	0:00:22		
arasan18.194	0:00:01	0:00:02	0:00:06		
arasan18.195	0:00:00	0:00:03	0:00:04		
arasan18.196	0:00:12	0:00:01	0:00:03		
arasan18.197	0:00:22	0:00:01	0:00:00		
arasan18.198	0:00:00	0:00:01	0:00:01		
arasan18.199	0:00:03	0:00:30	0:00:30		
arasan18.200	0:00:00	0:00:01	0:00:01		
arasan18.201	0:00:05	0:00:30	0:00:05		
arasan18.202	0:00:30	0:00:30	0:00:30		
arasan18.203	0:00:30	0:00:06	0:00:30		
arasan18.204	0:00:01	0:00:00	0:00:00		
arasan18.205	0:00:03	0:00:13	0:00:28		
arasan18.206	0:00:30	0:00:06	0:00:11		
arasan18.207	0:00:30	0:00:30	0:00:30		
arasan18.208	0:00:03	0:00:01	0:00:01		
arasan18.209	0:00:30	0:00:03	0:00:03		
arasan18.210	0:00:01	0:00:06	0:00:02		
arasan18.211	0:00:03	0:00:03	0:00:03		
arasan18.212	0:00:00	0:00:02	0:00:01		
arasan18.213	0:00:15	0:00:00	0:00:00		
arasan18.214	0:00:30	0:00:01	0:00:00		
arasan18.215	0:00:01	0:00:02	0:00:02		
arasan18.216	0:00:13	0:00:12	0:00:03		
arasan18.217	0:00:30	0:00:01	0:00:01		
arasan18.218	0:00:30	0:00:03	0:00:08		
arasan18.219	0:00:01	0:00:02	0:00:30		
arasan18.220	0:00:01	0:00:00	0:00:00		
arasan18.221	0:00:02	0:00:30	0:00:30		
arasan18.222	0:00:01	0:00:01	0:00:02		
arasan18.223	0:00:30	0:00:00	0:00:00		
arasan18.224	0:00:00	0:00:30	0:00:30		
arasan18.225	0:00:30	0:00:09	0:00:30		
arasan18.226	0:00:04	0:00:02	0:00:02		
arasan18.227	0:00:01	0:00:01	0:00:02		
arasan18.228	0:00:01	0:00:03	0:00:01		
arasan18.229	0:00:01	0:00:30	0:00:06		
arasan18.230	0:00:00	0:00:03	0:00:07		
arasan18.231	0:00:05	0:00:02	0:00:13		
arasan18.232	0:00:17	0:00:30	0:00:30		
arasan18.233	0:00:11	0:00:06	0:00:03		
arasan18.234	0:00:07	0:00:00	0:00:02		
arasan18.235	0:00:01	0:00:01	0:00:00		
arasan18.236	0:00:14	0:00:03	0:00:03		
arasan18.237	0:00:04	0:00:01	0:00:01		
arasan18.238	0:00:03	0:00:12	0:00:03		
arasan18.239	0:00:11	0:00:00	0:00:00		
arasan18.240	0:00:04	0:00:00	0:00:00		
arasan18.241	0:00:01	0:00:07	0:00:30		
arasan18.242	0:00:03	0:00:13	0:00:19		
arasan18.243	0:00:00	0:00:01	0:00:01		
arasan18.244	0:00:09	0:00:05	0:00:30		
arasan18.245	0:00:05	0:00:00	0:00:00		
arasan18.246	0:00:00	0:00:01	0:00:02		
arasan18.247	0:00:30	0:00:00	0:00:00		
arasan18.248	0:00:30	0:00:06	0:00:03		
arasan18.249	0:00:00	0:00:05	0:00:03		
arasan18.250	0:00:04	0:00:04	0:00:13
		
Total solved: 	220	    215	    199
total time:      0:28:29	0:31:00	0:39:35

Well done Joseph!

[Jouni]

With same settings and 5 piece tbs Matefinder scores 96/100 in EET. Unsolved position were EET_34/65/77/98. From these at least 98 seems to be incorrect .

[Hugo]

I want ask, if there is a Stockfish matefinder version, based on the latest developement version.

Thanks for any help.

Clemens Keck

[Dann Corbit]

Last update can always be discovered here:
https://github.com/jhellis3/Stockfish/tree/mate_finder

I will post a link to my build later today.

[Dann Corbit]

https://www.dropbox.com/s/u1pwpo8papegk ... er.7z?dl=0

[pferd]

I want ask, if there is a Stockfish matefinder version, based on the latest developement version.

Thanks for any help.

Clemens Keck

Hi,
I merged the latest commits into matefinder. I hope I did not screw up. Here is a non-pgo modern-build of it.

https://www.sendspace.com/file/6hanao

[jhellis3]

Hi Clemens, as Dann mentioned the branch for matefinder can be found at: https://github.com/jhellis3/Stockfish/tree/mate_finder

I do try to keep it reasonably up to date with master (every few weeks).

If you just want a compile for analysis, pm me and I can get you one.

If you are interested in a performance oriented compile, I suggest contacting IpMan as he always does a great job.


I will say the latest changes I have made are more oriented towards analysis at the expense of competitive play (though it is still very strong). If you are interested in competitive play, let me know and I will see what I can do.

[Hugo]

Wow, so many replies!!

Thanks a lot to Dan, Joseph and all others !

Clemens Keck

I want ask, if there is a Stockfish matefinder version, based on the latest developement version.

Thanks for any help.

Clemens Keck