                <ul>
                          <li> Fuzzers are sorted by "FuzzerMean" (average median relative coverage), highest on the left.</li>
                          <li> Green background = highest relative median coverage.</li>
                          <li> Blue gradient background = greater than 95% relative median coverage.</li>
                      </ul>
                    </div>
                </li>
            </ul>

            <ul class="collapsible">
                <li>
              