List of all items

Structs

• benchmark::Benchmark
• benchmark::BenchmarkData
• z3log::IntoIterSorted

Traits

• z3log::ModelExt

Functions

• benchmark::benchmark
• benchmark::read_benchmark
• benchmark::stats_benchmarks
• plot::plot_benchmarks_to_file
• plot::plot_svg
• z3log::compute_instantiation_times
• z3log::plot_instantiations
• z3log::process_file

Constants

• plot::COLOR_PALETTE
• plot::DARK_GRAY
• plot::GRAY
• plot::GRAY_PALETTE
• plot::LIGHT_GRAY
• plot::MEDIUM_GRAY