| standardSimplifierFactory(ExpressionFactory, PreUniverse) |   | 68% | | 50% | 2 | 3 | 2 | 7 | 0 | 1 |
| Expressions() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| newStandardExpressionFactory(NumberFactory, ObjectFactory, SymbolicTypeFactory, CollectionFactory) | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| newIdealExpressionFactory(NumberFactory, ObjectFactory, SymbolicTypeFactory, CollectionFactory) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| newHerbrandExpressionFactory(NumberFactory, ObjectFactory, SymbolicTypeFactory, CollectionFactory) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| newCnfFactory(SymbolicTypeFactory, ObjectFactory, CollectionFactory) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| newExpressionFactory(NumericExpressionFactory) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |