UFBV (Single Query Track)
Competition results for the UFBV
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 144
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 | cvc5 | 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 | 96 | 481.39 | 493.43 | 96 | 19 | 77 | 48 | 0 | 48 | 0 |
| cvc5 | 0 | 96 | 6826.59 | 6839.34 | 96 | 17 | 79 | 48 | 0 | 18 | 0 |
| UltimateEliminator+MathSAT | 0 | 6 | 42.41 | 16.70 | 6 | 0 | 6 | 138 | 0 | 3 | 24 |
| SMTInterpol | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 144 | 0 | 85 | 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 | 96 | 481.39 | 493.43 | 96 | 19 | 77 | 48 | 0 | 48 | 0 |
| cvc5 | 0 | 96 | 6826.59 | 6839.34 | 96 | 17 | 79 | 48 | 0 | 18 | 0 |
| UltimateEliminator+MathSAT | 0 | 6 | 42.41 | 16.70 | 6 | 0 | 6 | 138 | 0 | 3 | 24 |
| SMTInterpol | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 144 | 0 | 85 | 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 | 19 | 155.05 | 157.43 | 19 | 19 | 0 | 18 | 107 | 18 | 0 |
| cvc5 | 0 | 17 | 2577.68 | 2580.15 | 17 | 17 | 0 | 20 | 107 | 1 | 0 |
| SMTInterpol | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 37 | 107 | 25 | 0 |
| UltimateEliminator+MathSAT | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 37 | 107 | 1 | 17 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 79 | 4248.91 | 4259.19 | 79 | 0 | 79 | 7 | 58 | 3 | 0 |
| Bitwuzla | 0 | 77 | 326.34 | 336.00 | 77 | 0 | 77 | 9 | 58 | 9 | 0 |
| UltimateEliminator+MathSAT | 0 | 6 | 42.41 | 16.70 | 6 | 0 | 6 | 80 | 58 | 2 | 3 |
| SMTInterpol | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 86 | 58 | 47 | 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 | 92 | 200.90 | 212.36 | 92 | 18 | 74 | 0 | 52 | 0 | 0 |
| cvc5 | 0 | 60 | 134.12 | 141.52 | 60 | 1 | 59 | 0 | 84 | 0 | 0 |
| UltimateEliminator+MathSAT | 0 | 6 | 42.41 | 16.70 | 6 | 0 | 6 | 108 | 30 | 0 | 0 |
| SMTInterpol | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 31 | 113 | 0 | 0 |