| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 305 of 393 | 22% | 23 of 24 | 4% | 24 | 32 | 55 | 77 | 12 | 20 | 1 | 3 |
| CommonSymbolicUniverse.java | | 31% | | 4% | 17 | 25 | 35 | 57 | 5 | 13 | 0 | 2 |
| MathUniverse.java | | 0% | n/a | 7 | 7 | 20 | 20 | 7 | 7 | 1 | 1 |