| containsSubobject(SymbolicObject) |  | 0% | | 0% | 2 | 2 | 1 | 1 | 1 | 1 |
| containsQuantifier() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| signum() |  | 100% | | 100% | 0 | 3 | 0 | 5 | 0 | 1 |
| intrinsicEquals(SymbolicObject) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| computeHashCode() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| minWith(IntObject) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| maxWith(IntObject) | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| minus(IntObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| plus(IntObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| toStringBuffer(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| isOne() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| isZero() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| isPositive() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| isNegative() | | 100% | | 100% | 0 | 2 | 0 | 1 | 0 | 1 |
| toStringBufferLong() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| CommonIntObject(int) | | 100% | | n/a | 0 | 1 | 0 | 3 | 0 | 1 |
| compareTo(IntObject) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| toString() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getInt() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| symbolicObjectKind() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| canonizeChildren(ObjectFactory) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |