| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,711 of 4,474 | 61% | 218 of 452 | 51% | 192 | 361 | 344 | 913 | 39 | 128 | 3 | 8 |
| CommonValueSetUtility.java | | 14% | | 18% | 69 | 81 | 179 | 216 | 20 | 24 | 2 | 3 |
| CommonSymbolicUtility.java | | 74% | | 61% | 96 | 223 | 139 | 566 | 17 | 88 | 1 | 3 |
| HeapAnalyzer.java | | 81% | | 65% | 27 | 57 | 26 | 131 | 2 | 16 | 0 | 2 |