Ruffian 1.0.5 and egtb under AlexWbtm

[Marc Moisan]

Hi,

I noted that Ruffian 1.0.5 doesn't seem to be able to access egtb under Alex WBTM (version 1.0.0 according to "properties"), both in tournament and play mode. (at least for the KBN vs K endgame, Ruffian draw the game, instead of winning).

Does anyone noticed this? Could I have forget to set some options correctly?
Ruffian access egtb without problems when I use Galis. Also I tried Jonny 2.82 and Yace and they both work as well under Galis and Alex. Would you know where is (my?) the bug?

Any help would be appreciated,