Results
Summary
- 71 problems solved by either (but not by E in 20s)
- EP finds proofs for 18, E theoremhood 21 more = 39
- SRASS finds proofs for 47, theoremhood for 7 more = 54
- Both find proofs for 15, SRASS is faster for 11
- Both establish theoremhood for 22, SRASS is (a lot) faster for 12
- Without syntactic relevance ordering SRASS solves only 36
- SRASS solves 52 with aggressive selection
- Using only syntactic relevance ordering SRASS solves 37
- Some proofs with less axioms
- Less impressive results on Art Quaife's set theory, RDN arithmetic,
software component retrieval problems