Lomonosov Tablebases
All the ideas and discussions
Lomonosov does not evaluate positionLomonosov does not evaluate the position 8/7k/7p/8/5R2/7P/1r4P1/7K (white moves) which is draw. If I set white rook in the other squares of the f column, then Lomonosv says that result is draw.