Yes, that's what I noticed, too…
Does this hold in general?Pull requests are welcome, though.

Moderators: hgm, Harvey Williamson, bob
Yes, that's what I noticed, too…
Does this hold in general?Pull requests are welcome, though.
Sure, you can submit it. I don't use this feature (move_to_str) myself - so I was not aware there was a bug there.Does this hold in general?
The total size of 6 men WDL is less than 1% the size of 7 men WDL, so cherrypicking those tables is rather excessive. Nonetheless, the explanation helps better understanding the inner workings of syzygy.syzygy wrote: ↑Sun Dec 02, 2018 6:16 pmWhat is not needed for WDL are the tables that can be reached through promotions.
So if you are only interested in KRPPvKRP and only need WDL, then you must download just KRPPvKRP and all 6-piece WDL TBs (or at least those that can be reached through captures, but you're not going to gain much by being selective with 6-piece tables if you are downloading the much bigger 7-piece tables). You don't need all KRXYvKRZ if you are only interested in adjudicating KRPPvKRP positions or in analysing positions for which KRPPvKRP is important.
(But if you want to play out KRPPvKRP positions to mate reliably, you need all the tables that can be reached through promotion and the corresponding DTZ tables.)