QF_BVFPLRA (Single Query Track)
Competition results for the QF_BVFPLRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 75
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 | 74 | 1610.89 | 1620.38 | 74 | 42 | 32 | 1 | 0 | 1 | 0 |
| cvc5 | 0 | 69 | 4933.56 | 4942.66 | 69 | 41 | 28 | 6 | 0 | 6 | 0 |
| COLIBRI | 0 | 63 | 92.89 | 100.73 | 63 | 32 | 31 | 12 | 0 | 1 | 0 |
| colibri2 | 0 | 55 | 101.96 | 108.81 | 55 | 35 | 20 | 20 | 0 | 0 | 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 | 74 | 1610.89 | 1620.38 | 74 | 42 | 32 | 1 | 0 | 1 | 0 |
| cvc5 | 0 | 69 | 4933.56 | 4942.66 | 69 | 41 | 28 | 6 | 0 | 6 | 0 |
| COLIBRI | 0 | 63 | 92.89 | 100.73 | 63 | 32 | 31 | 12 | 0 | 1 | 0 |
| colibri2 | 0 | 55 | 101.96 | 108.81 | 55 | 35 | 20 | 20 | 0 | 0 | 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 | 42 | 140.37 | 145.61 | 42 | 42 | 0 | 0 | 33 | 0 | 0 |
| cvc5 | 0 | 41 | 473.69 | 478.80 | 41 | 41 | 0 | 1 | 33 | 1 | 0 |
| colibri2 | 0 | 35 | 67.96 | 72.33 | 35 | 35 | 0 | 7 | 33 | 0 | 0 |
| COLIBRI | 0 | 32 | 61.31 | 65.30 | 32 | 32 | 0 | 10 | 33 | 1 | 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 | 32 | 1470.52 | 1474.77 | 32 | 0 | 32 | 0 | 43 | 0 | 0 |
| COLIBRI | 0 | 30 | 29.01 | 32.73 | 30 | 0 | 30 | 2 | 43 | 0 | 0 |
| cvc5 | 0 | 28 | 4459.87 | 4463.86 | 28 | 0 | 28 | 4 | 43 | 4 | 0 |
| colibri2 | 0 | 20 | 34.00 | 36.48 | 20 | 0 | 20 | 12 | 43 | 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 | 68 | 131.04 | 139.45 | 68 | 40 | 28 | 0 | 7 | 0 | 0 |
| COLIBRI | 0 | 62 | 55.10 | 62.81 | 62 | 31 | 31 | 11 | 2 | 0 | 0 |
| colibri2 | 0 | 55 | 101.96 | 108.81 | 55 | 35 | 20 | 19 | 1 | 0 | 0 |
| cvc5 | 0 | 53 | 179.92 | 186.43 | 53 | 37 | 16 | 0 | 22 | 0 | 0 |