QF_ABVFPLRA (Single Query Track)
Competition results for the QF_ABVFPLRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 25
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| Bitwuzla | Bitwuzla | Bitwuzla | Bitwuzla | Bitwuzla |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 25 | 70.31 | 73.41 | 25 | 20 | 5 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 25 | 273.01 | 276.14 | 25 | 20 | 5 | 0 | 0 | 0 | 0 |
| COLIBRI | 0 | 24 | 55.26 | 58.20 | 24 | 20 | 4 | 1 | 0 | 1 | 0 |
| colibri2 | 0 | 16 | 103.86 | 105.84 | 16 | 14 | 2 | 9 | 0 | 2 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 25 | 70.31 | 73.41 | 25 | 20 | 5 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 25 | 273.01 | 276.14 | 25 | 20 | 5 | 0 | 0 | 0 | 0 |
| COLIBRI | 0 | 24 | 55.26 | 58.20 | 24 | 20 | 4 | 1 | 0 | 1 | 0 |
| colibri2 | 0 | 16 | 103.86 | 105.84 | 16 | 14 | 2 | 9 | 0 | 2 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 20 | 10.55 | 13.02 | 20 | 20 | 0 | 0 | 5 | 0 | 0 |
| COLIBRI | 0 | 20 | 43.12 | 45.57 | 20 | 20 | 0 | 0 | 5 | 0 | 0 |
| cvc5 | 0 | 20 | 67.35 | 69.83 | 20 | 20 | 0 | 0 | 5 | 0 | 0 |
| colibri2 | 0 | 14 | 100.31 | 102.05 | 14 | 14 | 0 | 6 | 5 | 2 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 5 | 59.76 | 60.38 | 5 | 0 | 5 | 0 | 20 | 0 | 0 |
| cvc5 | 0 | 5 | 205.66 | 206.31 | 5 | 0 | 5 | 0 | 20 | 0 | 0 |
| COLIBRI | 0 | 4 | 12.14 | 12.64 | 4 | 0 | 4 | 1 | 20 | 1 | 0 |
| colibri2 | 0 | 2 | 3.55 | 3.79 | 2 | 0 | 2 | 3 | 20 | 0 | 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 |
|---|
| Bitwuzla | 0 | 24 | 17.13 | 20.10 | 24 | 20 | 4 | 0 | 1 | 0 | 0 |
| COLIBRI | 0 | 24 | 55.26 | 58.20 | 24 | 20 | 4 | 0 | 1 | 0 | 0 |
| cvc5 | 0 | 23 | 57.80 | 60.64 | 23 | 19 | 4 | 0 | 2 | 0 | 0 |
| colibri2 | 0 | 14 | 21.60 | 23.33 | 14 | 12 | 2 | 6 | 5 | 0 | 0 |