| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 1,158 of 3,307 | 65% | 151 of 289 | 48% | 122 | 228 | 226 | 640 | 16 | 69 | 2 | 14 |
| WriteSetRefresher.java | | 25% | | 17% | 14 | 18 | 64 | 89 | 3 | 6 | 1 | 2 |
| WriteSetOperations.java | | 37% | | 16% | 36 | 49 | 63 | 95 | 7 | 19 | 0 | 4 |
| LibmemExecutor.java | | 80% | | 60% | 35 | 76 | 41 | 221 | 3 | 18 | 0 | 1 |
| WriteSetWidenOperator.java | | 84% | | 74% | 13 | 36 | 19 | 114 | 1 | 9 | 0 | 1 |
| WriteSetUnionOperator.java | | 66% | | 39% | 11 | 20 | 20 | 49 | 0 | 6 | 0 | 2 |
| WriteSetOperator.java | | 60% | | 50% | 10 | 18 | 12 | 41 | 2 | 7 | 1 | 3 |
| WriteSetGroupOperator.java | | 82% | | 64% | 3 | 11 | 7 | 31 | 0 | 4 | 0 | 1 |