Hi Matt,
I don't have any interesting benchmark to share yet, I did roughly
compare PLN with some automatic provers not long ago, PLN was by far
less efficient, but it's a bit like comparing apples and oranges.
As far as MOSES is concerned I haven't touched it for a while, maybe see
with the guys in iCog, they seem to use it regularly.
Nil