I know chest was the best mate solver for finding the shortest mate but it use only one core.
Is there a faster mate solver to download that can use more than one core?
what is the best mate solver to download
Moderators: hgm, Rebel, chrisw
-
- Posts: 10297
- Joined: Thu Mar 09, 2006 12:37 am
- Location: Tel-Aviv Israel
-
- Posts: 343
- Joined: Sun Aug 25, 2019 8:33 am
- Full name: .
Re: what is the best mate solver to download
Good question, I haven't seen anything. You could get a poor man's version of multithreading with Chest without modifying its code by making a script to split up the tree and calculating each part in a different process (since it uses UCI) but that would be inefficient because of no shared hashtable.
-
- Posts: 343
- Joined: Sun Aug 25, 2019 8:33 am
- Full name: .
Re: what is the best mate solver to download
Quick note: I tried to start ChestUCI in python-chess but unfortunately there are errors:
Exception in callback Protocol.pipe_data_received(1, b'id author F...type button\n')
handle: <Handle Protocol.pipe_data_received(1, b'id author F...type button\n')>
Traceback (most recent call last):
File "C:\anaconda3\lib\asyncio\events.py", line 81, in _run
self._context.run(self._callback, *self._args)
File "C:\anaconda3\lib\site-packages\chess\engine.py", line 975, in pipe_data_received
line = line_bytes.decode("utf-8")
UnicodeDecodeError: 'utf-8' codec can't decode byte 0xb7 in position 47: invalid start byte
Exception in callback Protocol.pipe_data_received(1, b'id author F...type button\n')
handle: <Handle Protocol.pipe_data_received(1, b'id author F...type button\n')>
Traceback (most recent call last):
File "C:\anaconda3\lib\asyncio\events.py", line 81, in _run
self._context.run(self._callback, *self._args)
File "C:\anaconda3\lib\site-packages\chess\engine.py", line 975, in pipe_data_received
line = line_bytes.decode("utf-8")
UnicodeDecodeError: 'utf-8' codec can't decode byte 0xb7 in position 47: invalid start byte
-
- Posts: 12541
- Joined: Wed Mar 08, 2006 8:57 pm
- Location: Redmond, WA USA
Re: what is the best mate solver to download
For some problems Crystal or Bluefish work much better.
Sometimes ChestUCI is still fastest.
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.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.
-
- Posts: 3291
- Joined: Wed Mar 08, 2006 8:15 pm
Re: what is the best mate solver to download
I just finished test and we have a new champion: Eman 6.60 . It beats Crystal in mate solving with correct settings like no NNUE. It finds most mates surprisingly fast, but sometimes have 1 move longer than the fastest possible. Bluefish (tactical) is much worse than both. I have not tested 32 bit Chest in many years. I only use database.
Jouni
-
- Posts: 10297
- Joined: Thu Mar 09, 2006 12:37 am
- Location: Tel-Aviv Israel
Re: what is the best mate solver to download
Crystal or bluefish are not mate solvers in the meaning that I do not know it is the fastest mate.Dann Corbit wrote: ↑Mon Dec 07, 2020 11:00 pmFor some problems Crystal or Bluefish work much better.
Sometimes ChestUCI is still fastest.
-
- Posts: 12541
- Joined: Wed Mar 08, 2006 8:57 pm
- Location: Redmond, WA USA
Re: what is the best mate solver to download
Chest only solves guaranteed in the primitive form, and then it is only good up to dm11 and that assumes you are very patient.
ChestUCI will not give you a guaranteed mate if you use the special parameters.
So I guess that Chest is your only option and you will never get a guaranteed mate for dm20
An SMP version would be much faster, but nobody wants to program it.
ChestUCI will not give you a guaranteed mate if you use the special parameters.
So I guess that Chest is your only option and you will never get a guaranteed mate for dm20
An SMP version would be much faster, but nobody wants to program it.
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.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.
-
- Posts: 10297
- Joined: Thu Mar 09, 2006 12:37 am
- Location: Tel-Aviv Israel
Re: what is the best mate solver to download
I believe chest can be improved also by a better order of moves and not only by using smp.
I can see cases when for some reason chest does not start from a logical capture and put the logical capture as one of the last moves to search
and I guess that it is not only in the root moves.
I can see cases when for some reason chest does not start from a logical capture and put the logical capture as one of the last moves to search
and I guess that it is not only in the root moves.
-
- Posts: 582
- Joined: Wed May 10, 2006 7:28 pm
- Location: Birmingham, England
Re: what is the best mate solver to download
It's an old story, which I've raised before, e.g. http://talkchess.com/forum3/viewtopic.p ... st#p470952. As Dann says, programmers are provenly disinterested.Dann Corbit wrote: ↑Wed Dec 09, 2020 8:23 am Chest only solves guaranteed in the primitive form, and then it is only good up to dm11 and that assumes you are very patient.
ChestUCI will not give you a guaranteed mate if you use the special parameters.
So I guess that Chest is your only option and you will never get a guaranteed mate for dm20
An SMP version would be much faster, but nobody wants to program it.
Marek Soszynski
-
- Posts: 12541
- Joined: Wed Mar 08, 2006 8:57 pm
- Location: Redmond, WA USA
Re: what is the best mate solver to download
I should have said with special parameters Chest does not give you a guaranteed shortest mate. The mates it does find are verified.
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.
But sharing ideas is an even greater virtue. We have another word for this. It is called teaching.