fig3

Figure 3. Distribution of repair methods applied across all 87 violation plans (counts and percentages of n = 87; one-decimal percentages sum to 99.8% due to rounding). none_needed marks the 7 validator false negatives on which no repair was applied.