| RangeLogWithVariableChanged.java |  | 0% |  | 0% | 17 | 17 | 33 | 33 | 14 | 14 | 1 | 1 |
| ScalingDownChangeToVariable.java |  | 0% |  | 0% | 14 | 14 | 30 | 30 | 11 | 11 | 1 | 1 |
| ScalingDownLimitChangeSynthesis.java |  | 0% | | n/a | 10 | 10 | 24 | 24 | 10 | 10 | 1 | 1 |
| LimitLogBuilder.java |  | 0% | | n/a | 10 | 10 | 24 | 24 | 10 | 10 | 1 | 1 |
| RangeWithMinPViolatedByTargetP.java |  | 0% | | n/a | 9 | 9 | 21 | 21 | 9 | 9 | 1 | 1 |
| RangeLogPhaseTapPosition.java |  | 0% | | n/a | 10 | 10 | 19 | 19 | 10 | 10 | 1 | 1 |
| LimitSignBuilder.java |  | 0% | | n/a | 7 | 7 | 15 | 15 | 7 | 7 | 1 | 1 |
| LogBuilder.java |  | 0% | | n/a | 7 | 7 | 13 | 13 | 7 | 7 | 1 | 1 |
| ZeroDistributionKeyInfo.java |  | 0% | | n/a | 2 | 2 | 10 | 10 | 2 | 2 | 1 | 1 |
| EmptyFilter.java |  | 0% | | n/a | 4 | 4 | 10 | 10 | 4 | 4 | 1 | 1 |
| Log.java |  | 0% | | n/a | 7 | 7 | 14 | 14 | 7 | 7 | 1 | 1 |
| NetworkMappingBuilder.java |  | 0% | | n/a | 4 | 4 | 9 | 9 | 4 | 4 | 1 | 1 |
| LogDescriptionBuilder.java |  | 0% | | n/a | 2 | 2 | 2 | 2 | 2 | 2 | 1 | 1 |
| TimeSeriesLoggerConfig.java |  | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 | 1 | 1 |
| LogContent.java |  | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |