| WriteSetWidenOperator |   | 26% | | 18% | 30 | 39 | 91 | 120 | 6 | 10 | 0 | 1 |
| WriteSetOperations.UnrolledReferenceExpression | | 9% | | 3% | 38 | 40 | 72 | 83 | 8 | 10 | 0 | 1 |
| WriteSetRefresher | | 26% | | 16% | 13 | 17 | 58 | 83 | 2 | 5 | 0 | 1 |
| WriteSetUnionOperator | | 64% | | 39% | 11 | 18 | 20 | 46 | 0 | 4 | 0 | 1 |
| WriteSetOperator | | 65% | | 50% | 9 | 16 | 12 | 37 | 1 | 5 | 0 | 1 |
| WriteSetOperations.new Object() {...} | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| LibmemExecutor | | 95% | | 82% | 9 | 49 | 6 | 216 | 0 | 18 | 0 | 1 |
| WriteSetGroupOperator | | 81% | | 64% | 3 | 11 | 7 | 31 | 0 | 4 | 0 | 1 |
| WriteSetOperator.new Object() {...} | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
| WriteSetRefresher.RefreshAssumptionBuilder | | 0% | | n/a | 1 | 1 | 6 | 6 | 1 | 1 | 1 | 1 |
| WriteSetOperations | | 92% | | n/a | 1 | 7 | 1 | 7 | 1 | 7 | 0 | 1 |
| WriteSetOperator.SimplePointerGroup | | 100% | | n/a | 0 | 1 | 0 | 4 | 0 | 1 | 0 | 1 |
| WriteSetOperations.AssignableRefreshment | | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 | 0 | 1 |
| WriteSetUnionOperator.GroupRedundantCleaner | | 100% | | n/a | 0 | 2 | 0 | 3 | 0 | 2 | 0 | 1 |