AUFBVFP (Single Query Track)
Competition results for the AUFBVFP
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 57
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 | 39 | 1504.82 | 1509.92 | 39 | 9 | 30 | 18 | 0 | 18 | 0 |
| cvc5 | 0 | 21 | 2380.07 | 2383.11 | 21 | 1 | 20 | 36 | 0 | 31 | 0 |
| UltimateEliminator+MathSAT | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 57 | 0 | 0 | 28 |
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 | 39 | 1504.82 | 1509.92 | 39 | 9 | 30 | 18 | 0 | 18 | 0 |
| cvc5 | 0 | 21 | 2380.07 | 2383.11 | 21 | 1 | 20 | 36 | 0 | 31 | 0 |
| UltimateEliminator+MathSAT | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 57 | 0 | 0 | 28 |
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 | 9 | 92.34 | 93.50 | 9 | 9 | 0 | 0 | 48 | 0 | 0 |
| cvc5 | 0 | 1 | 554.08 | 554.30 | 1 | 1 | 0 | 8 | 48 | 4 | 0 |
| UltimateEliminator+MathSAT | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 9 | 48 | 0 | 6 |
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 | 30 | 1412.48 | 1416.42 | 30 | 0 | 30 | 1 | 26 | 1 | 0 |
| cvc5 | 0 | 20 | 1825.99 | 1828.81 | 20 | 0 | 20 | 11 | 26 | 10 | 0 |
| UltimateEliminator+MathSAT | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 31 | 26 | 0 | 11 |
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 | 32 | 115.71 | 119.66 | 32 | 7 | 25 | 0 | 25 | 0 | 0 |
| cvc5 | 0 | 16 | 110.65 | 112.65 | 16 | 0 | 16 | 0 | 41 | 0 | 0 |
| UltimateEliminator+MathSAT | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 24 | 33 | 0 | 0 |