| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 967 of 3,307 | 71% | 138 of 289 | 52% | 111 | 228 | 191 | 640 | 13 | 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 |
| 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 |
| LibmemExecutor.java | | 96% | | 74% | 24 | 76 | 6 | 221 | 0 | 18 | 0 | 1 |
| WriteSetGroupOperator.java | | 82% | | 64% | 3 | 11 | 7 | 31 | 0 | 4 | 0 | 1 |