Benchmark Timeline (Non-Incremental)
- Fresh
- Number of benchmarks that were published, but not used before by the competition.
- Solved
- Benchmarks that were solved by at least one solver.
- Unsolved
- Benchmarks that were used by the competition, but not solved.
Benchmark Categories
Family Size Histogram
Histogram the families by their number of QF_UFBVLIA benchmarks.
Benchmark Size Histogram
Participants Over Time
Number of solves that attempted at least one benchmark from the logic.