| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods |
| Total | 18 of 130 | 86% | 6 of 14 | 57% | 4 | 12 | 3 | 30 | 0 | 5 |
| substituteQuantifiedExpression(SymbolicExpression, ExpressionSubstituter.SubstituterState) | | 86% | | 16% | 3 | 4 | 1 | 14 | 0 | 1 |
| updateType(SymbolicConstant, ExpressionSubstituter.SubstituterState) | | 59% | | 50% | 1 | 2 | 2 | 6 | 0 | 1 |
| substituteNonquantifiedExpression(SymbolicExpression, ExpressionSubstituter.SubstituterState) | | 100% | | 100% | 0 | 4 | 0 | 5 | 0 | 1 |
| SimpleSubstituter(PreUniverse, ObjectFactory, SymbolicTypeFactory, SymbolicConstant, SymbolicExpression) | | 100% | n/a | 0 | 1 | 0 | 4 | 0 | 1 | |
| newState() | | 100% | n/a | 0 | 1 | 0 | 1 | 0 | 1 |