| containsSubobject(SymbolicObject) |   | 71% | | 50% | 1 | 2 | 0 | 1 | 0 | 1 |
| toStringBuffer(boolean) | | 100% | | 100% | 0 | 4 | 0 | 7 | 0 | 1 |
| computeHashCode() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| intrinsicEquals(SymbolicObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| toStringBufferLong() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| CommonNumberObject(Number) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| compareTo(NumberObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| toString() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| signum() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isZero() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isOne() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isInteger() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isReal() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getNumber() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| symbolicObjectKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| containsQuantifier() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| canonizeChildren(ObjectFactory) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |