| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,743 of 4,468 | 60% | 220 of 452 | 51% | 193 | 361 | 350 | 913 | 40 | 128 | 3 | 8 |
| CommonValueSetUtility.java | | 14% | | 18% | 69 | 81 | 179 | 216 | 20 | 24 | 2 | 3 |
| CommonSymbolicUtility.java | | 73% | | 60% | 97 | 223 | 145 | 566 | 18 | 88 | 1 | 3 |
| HeapAnalyzer.java | | 81% | | 65% | 27 | 57 | 26 | 131 | 2 | 16 | 0 | 2 |