Figure 1: Severity distribution of OSDI scores