7-men Syzygy attempt

Discussion of chess software programming and technical issues.

Moderators: hgm, Rebel, chrisw

jjoshua2
Posts: 99
Joined: Sat Mar 10, 2018 6:16 am

Re: 7-men Syzygy attempt

Post by jjoshua2 »

I made a 7 man syzygy leela PR if anyone wants to test it. It picks up all the files and seems to use them without crashing at least. The probing code would be the same that SF would use almost. Root probing is a bit different because we have UCTNodes.
https://github.com/glinscott/leela-chess/pull/557
duncan
Posts: 12038
Joined: Mon Jul 07, 2008 10:50 pm

Re: 7-men Syzygy attempt

Post by duncan »

syzygy wrote: Sun May 13, 2018 9:36 pm
noobpwnftw wrote: Sun May 13, 2018 11:15 am
Sesse wrote: Sun May 13, 2018 10:35 am

I've removed these from my mirror, and evidently, so has Lichess.
I have also removed those, and some regenerated files has been uploaded, please re-check and make sure they are correct now.
As expected, the new KQBNvKQN.rtbz solves the problems I noticed.
do you know if the new generator will also work for 8 pieces ?
syzygy
Posts: 5557
Joined: Tue Feb 28, 2012 11:56 pm

Re: 7-men Syzygy attempt

Post by syzygy »

duncan wrote: Mon May 14, 2018 9:14 pm do you know if the new generator will also work for 8 pieces ?
In theory it should work. In practice you'll need a very very big machine and a lot of patience.

It would probably be a good idea to rewrite the generator to use a more space-efficient indexing scheme during generation. Generation of the biggest table should then fit in about 41 TB (so let's say 48 TB) and most tables would need half of that or less. The current scheme would need 57.75 TB (so basically a 64 TB machine).

The bigger 8-piece tables will fill more than 2^32 64-byte blocks with compressed data, which means the format will need a relatively small extension to deal with them.
duncan
Posts: 12038
Joined: Mon Jul 07, 2008 10:50 pm

Re: 7-men Syzygy attempt

Post by duncan »

syzygy wrote: Mon May 14, 2018 9:29 pm
duncan wrote: Mon May 14, 2018 9:14 pm do you know if the new generator will also work for 8 pieces ?
In theory it should work. In practice you'll need a very very big machine and a lot of patience.

It would probably be a good idea to rewrite the generator to use a more space-efficient indexing scheme during generation. Generation of the biggest table should then fit in about 41 TB (so let's say 48 TB) and most tables would need half of that or less. The current scheme would need 57.75 TB (so basically a 64 TB machine).

The bigger 8-piece tables will fill more than 2^32 64-byte blocks with compressed data, which means the format will need a relatively small extension to deal with them.
do you know how much hard disk space 7 and 8 pieces will take up and do they result in any elo gain ?
syzygy
Posts: 5557
Joined: Tue Feb 28, 2012 11:56 pm

Re: 7-men Syzygy attempt

Post by syzygy »

duncan wrote: Mon May 14, 2018 9:49 pm do you know how much hard disk space 7 and 8 pieces will take up and do they result in any elo gain ?
A rough guess would be 20 TB and 3 PB.
Elo gain depends on access speed. How much Elo they would gain if they could be accessed without delay is anyone's guess.
noobpwnftw
Posts: 560
Joined: Sun Nov 08, 2015 11:10 pm

Re: 7-men Syzygy attempt

Post by noobpwnftw »

All 4v3 pawnless tables are now built and uploaded.

I will take a break on the 4v3 pawnful tables to prepare storage and try to verify that the tables are correct while the 5v2 pawnful tables can proceed in par.
User avatar
Nordlandia
Posts: 2821
Joined: Fri Sep 25, 2015 9:38 pm
Location: Sortland, Norway

Re: 7-men Syzygy attempt

Post by Nordlandia »

Is set KBPPvPPK early or late in the automatic scheduler?

I'm very interested in this spesific set because it provide vital fortress information in the famous Spassky vs Fischer (1st matchgame)

If engine identify this position as draw, cfish might be able to evaluate the position after 29...Bxh2 as triple zero!

Image

See 2k5/1p6/pP2K3/P7/8/4B3/8/8 w - - 0 0
noobpwnftw
Posts: 560
Joined: Sun Nov 08, 2015 11:10 pm

Re: 7-men Syzygy attempt

Post by noobpwnftw »

Nordlandia wrote: Thu May 17, 2018 8:02 pm Is set KBPPvPPK early or late in the automatic scheduler?
This would appear to be a late one.


Also I have rearranged folder structures on my FTP.

There will be a minor problem though, as I may be unable to host all files on one server, there may be a second server to host the remaining files.
niklasf
Posts: 42
Joined: Sat May 16, 2015 11:41 pm

Re: 7-men Syzygy attempt

Post by niklasf »

Congrats on the pawnless milestone!

All currently available tables pass some basic sanity checks, i.e. the max-DTZ positions match the stats file and their mainlines are consistent. Such a basic check is of course unlikely to catch random hardware errors, but it would have caught all previous bugs. I'll keep testing incoming tables on the Lichess mirror.
duncan
Posts: 12038
Joined: Mon Jul 07, 2008 10:50 pm

Re: 7-men Syzygy attempt

Post by duncan »

niklasf wrote: Thu May 17, 2018 10:48 pm Congrats on the pawnless milestone!

All currently available tables pass some basic sanity checks, i.e. the max-DTZ positions match the stats file and their mainlines are consistent. Such a basic check is of course unlikely to catch random hardware errors, but it would have caught all previous bugs. I'll keep testing incoming tables on the Lichess mirror.
do you have the url ?