| WriteSetRefresher |   | 27% | | 17% | 13 | 17 | 58 | 83 | 2 | 5 | 0 | 1 |
| WriteSetOperations.UnrolledReferenceExpression | | 23% | | 16% | 35 | 40 | 62 | 83 | 6 | 10 | 0 | 1 |
| LibmemExecutor | | 80% | | 60% | 35 | 76 | 41 | 221 | 3 | 18 | 0 | 1 |
| WriteSetWidenOperator | | 84% | | 74% | 13 | 36 | 19 | 114 | 1 | 9 | 0 | 1 |
| WriteSetUnionOperator | | 65% | | 39% | 11 | 18 | 20 | 46 | 0 | 4 | 0 | 1 |
| WriteSetOperator | | 66% | | 50% | 9 | 16 | 12 | 37 | 1 | 5 | 0 | 1 |
| WriteSetGroupOperator | | 82% | | 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.new Object() {...} | | 87% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 | 0 | 1 |
| WriteSetOperations | | 93% | | 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 |