QF_ABVFP (Single Query Track)
Competition results for the QF_ABVFP
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 627
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 | 624 | 950.15 | 1027.11 | 624 | 111 | 513 | 3 | 0 | 3 | 0 |
| cvc5 | 0 | 617 | 18592.85 | 18671.11 | 617 | 110 | 507 | 10 | 0 | 10 | 0 |
| colibri2 | 0 | 344 | 5485.41 | 5528.42 | 344 | 20 | 324 | 283 | 0 | 114 | 0 |
| COLIBRI | 1 | 506 | 1112.26 | 1174.92 | 507 | 96 | 411 | 120 | 0 | 37 | 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 | 624 | 950.15 | 1027.11 | 624 | 111 | 513 | 3 | 0 | 3 | 0 |
| cvc5 | 0 | 617 | 18592.85 | 18671.11 | 617 | 110 | 507 | 10 | 0 | 10 | 0 |
| colibri2 | 0 | 344 | 5485.41 | 5528.42 | 344 | 20 | 324 | 283 | 0 | 114 | 0 |
| COLIBRI | 1 | 506 | 1112.26 | 1174.92 | 507 | 96 | 411 | 120 | 0 | 37 | 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 | 111 | 51.50 | 65.23 | 111 | 111 | 0 | 1 | 515 | 1 | 0 |
| cvc5 | 0 | 110 | 1907.66 | 1921.41 | 110 | 110 | 0 | 2 | 515 | 2 | 0 |
| colibri2 | 0 | 20 | 221.09 | 223.57 | 20 | 20 | 0 | 92 | 515 | 5 | 0 |
| COLIBRI | 1 | 96 | 194.19 | 206.19 | 97 | 96 | 1 | 15 | 515 | 4 | 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 | 513 | 898.65 | 961.88 | 513 | 0 | 513 | 0 | 114 | 0 | 0 |
| cvc5 | 0 | 507 | 16685.19 | 16749.69 | 507 | 0 | 507 | 6 | 114 | 6 | 0 |
| COLIBRI | 0 | 409 | 900.18 | 950.71 | 409 | 0 | 409 | 104 | 114 | 32 | 0 |
| colibri2 | 0 | 324 | 5264.32 | 5304.86 | 324 | 0 | 324 | 189 | 114 | 107 | 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 | 618 | 471.43 | 547.55 | 618 | 111 | 507 | 0 | 9 | 0 | 0 |
| cvc5 | 0 | 503 | 1784.25 | 1846.03 | 503 | 89 | 414 | 0 | 124 | 0 | 0 |
| colibri2 | 0 | 323 | 399.93 | 439.63 | 323 | 18 | 305 | 143 | 161 | 0 | 0 |
| COLIBRI | 1 | 503 | 990.37 | 1052.62 | 504 | 96 | 408 | 83 | 40 | 0 | 0 |