QF_ANIA (Single Query Track)
Competition results for the QF_ANIA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 155
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| SMTInterpol | SMTInterpol | SMTInterpol | SMTInterpol | SMTInterpol |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 132 | 993.38 | 653.51 | 132 | 116 | 16 | 23 | 0 | 11 | 0 |
| Yices2 | 0 | 130 | 3927.52 | 3944.12 | 130 | 115 | 15 | 25 | 0 | 25 | 0 |
| cvc5 | 0 | 126 | 7113.62 | 7130.05 | 126 | 111 | 15 | 29 | 0 | 29 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 132 | 993.38 | 653.51 | 132 | 116 | 16 | 23 | 0 | 11 | 0 |
| Yices2 | 0 | 130 | 3927.52 | 3944.12 | 130 | 115 | 15 | 25 | 0 | 25 | 0 |
| cvc5 | 0 | 126 | 7113.62 | 7130.05 | 126 | 111 | 15 | 29 | 0 | 29 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 116 | 333.87 | 143.78 | 116 | 116 | 0 | 6 | 33 | 0 | 0 |
| Yices2 | 0 | 115 | 3339.06 | 3353.75 | 115 | 115 | 0 | 7 | 33 | 7 | 0 |
| cvc5 | 0 | 111 | 5089.86 | 5104.18 | 111 | 111 | 0 | 11 | 33 | 11 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 16 | 659.52 | 509.73 | 16 | 0 | 16 | 14 | 125 | 11 | 0 |
| Yices2 | 0 | 15 | 588.46 | 590.37 | 15 | 0 | 15 | 15 | 125 | 15 | 0 |
| cvc5 | 0 | 15 | 2023.76 | 2025.87 | 15 | 0 | 15 | 15 | 125 | 15 | 0 |
24 seconds Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 129 | 503.14 | 224.89 | 129 | 116 | 13 | 10 | 16 | 0 | 0 |
| cvc5 | 0 | 106 | 369.02 | 382.10 | 106 | 96 | 10 | 0 | 49 | 0 | 0 |
| Yices2 | 0 | 99 | 186.92 | 199.23 | 99 | 86 | 13 | 0 | 56 | 0 | 0 |