| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,406 of 3,221 | 56% | 163 of 251 | 35% | 117 | 204 | 273 | 638 | 21 | 70 | 3 | 14 |
| WriteSetWidenOperator.java | | 26% | | 18% | 30 | 39 | 91 | 120 | 6 | 10 | 0 | 1 |
| WriteSetOperations.java | | 17% | | 3% | 40 | 49 | 73 | 95 | 10 | 19 | 1 | 4 |
| WriteSetRefresher.java | | 25% | | 16% | 14 | 18 | 64 | 89 | 3 | 6 | 1 | 2 |
| WriteSetUnionOperator.java | | 66% | | 39% | 11 | 20 | 20 | 49 | 0 | 6 | 0 | 2 |
| WriteSetOperator.java | | 60% | | 50% | 10 | 18 | 12 | 41 | 2 | 7 | 1 | 3 |
| LibmemExecutor.java | | 95% | | 82% | 9 | 49 | 6 | 213 | 0 | 18 | 0 | 1 |
| WriteSetGroupOperator.java | | 81% | | 64% | 3 | 11 | 7 | 31 | 0 | 4 | 0 | 1 |