QF_ABVFPLRA (Single Query Track)
Competition results for the QF_ABVFPLRA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 25
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| Bitwuzla | Bitwuzla | Bitwuzla | COLIBRI | 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 | 80.613243 | 83.158171 | 25 | 20 | 5 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 25 | 302.557834 | 305.159443 | 25 | 20 | 5 | 0 | 0 | 0 | 0 |
| COLIBRI | 0 | 21 | 35.075645 | 37.265671 | 21 | 16 | 5 | 4 | 0 | 4 | 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 | 80.613243 | 83.158171 | 25 | 20 | 5 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 25 | 302.557834 | 305.159443 | 25 | 20 | 5 | 0 | 0 | 0 | 0 |
| COLIBRI | 0 | 21 | 35.075645 | 37.265671 | 21 | 16 | 5 | 4 | 0 | 4 | 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 | 14.101183 | 16.107034 | 20 | 20 | 0 | 0 | 5 | 0 | 0 |
| cvc5 | 0 | 20 | 85.806854 | 87.825303 | 20 | 20 | 0 | 0 | 5 | 0 | 0 |
| COLIBRI | 0 | 16 | 19.277222 | 20.92259 | 16 | 16 | 0 | 4 | 5 | 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 |
|---|
| COLIBRI | 0 | 5 | 15.798423 | 16.343081 | 5 | 0 | 5 | 0 | 20 | 0 | 0 |
| Bitwuzla | 0 | 5 | 66.512059 | 67.051137 | 5 | 0 | 5 | 0 | 20 | 0 | 0 |
| cvc5 | 0 | 5 | 216.750981 | 217.33414 | 5 | 0 | 5 | 0 | 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 | 21.968077 | 24.376807 | 24 | 20 | 4 | 0 | 1 | 0 | 0 |
| cvc5 | 0 | 22 | 49.858332 | 52.077903 | 22 | 19 | 3 | 0 | 3 | 0 | 0 |
| COLIBRI | 0 | 21 | 35.075645 | 37.265671 | 21 | 16 | 5 | 0 | 4 | 0 | 0 |