QF_BV (Parallel Track)
Competition results for the QF_BV
logic
in the Parallel Track. Chart
Results were generated on 2026-07-25
Benchmarks: 52
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| - | Bitwuzllob | Bitwuzllob | Bitwuzllob | Bitwuzllob |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzllob | 0 | 32 | 561512.10 | 9084.80 | 32 | 10 | 22 | 20 | 0 | 20 | 0 |
| Bitwuzla-BV_Parti | 0 | 18 | 619360.69 | 8805.92 | 18 | 7 | 11 | 34 | 0 | 30 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzllob | 0 | 10 | 210626.18 | 3657.63 | 10 | 10 | 0 | 2 | 40 | 2 | 0 |
| Bitwuzla-BV_Parti | 0 | 7 | 233301.58 | 3719.85 | 7 | 7 | 0 | 5 | 40 | 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 |
|---|
| Bitwuzllob | 0 | 22 | 350885.92 | 5427.16 | 22 | 0 | 22 | 4 | 26 | 4 | 0 |
| Bitwuzla-BV_Parti | 0 | 11 | 386059.11 | 5086.07 | 11 | 0 | 11 | 15 | 26 | 13 | 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 |
|---|
| Bitwuzllob | 0 | 2 | 1426.68 | 25.11 | 2 | 1 | 1 | 0 | 50 | 0 | 0 |