Comment by whatever1

We do have standard benchmarks in the field. Hans Mittelman maintains a library. No idea why they did not bother to run them.

https://plato.asu.edu/guide.html

Their website has just 3 cherry picked instances and claim complete dominance.