Module prover_lab::plot

source ·

Constants

Functions

  • Plot a set of benchmarks to an SVG file. The first entry in the list determines ranking: only data points for labels used in this benchmark are plotted, and in the order they appear in the first benchmark.