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 ABVFP benchmarks.
Benchmark Size Histogram
Participants Over Time
Number of solves that attempted at least one benchmark from the logic.