Bitvec (Single Query Track)
Competition results for the Bitvec
division
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 1040
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Logics:Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| cvc5 | cvc5 | Bitwuzla | cvc5 | YicesQS |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 952 | 33547.27 | 33669.48 | 952 | 225 | 727 | 88 | 0 | 80 | 0 |
| YicesQS | 0 | 886 | 18086.23 | 18198.41 | 886 | 230 | 656 | 154 | 0 | 144 | 1 |
| Bitwuzla | 0 | 839 | 8895.96 | 9001.83 | 839 | 232 | 607 | 201 | 0 | 193 | 0 |
| UltimateEliminator+MathSAT | 0 | 336 | 3698.71 | 2637.22 | 336 | 32 | 304 | 704 | 0 | 119 | 21 |
| SMTInterpol | 0 | 281 | 347.45 | 218.44 | 281 | 1 | 280 | 759 | 0 | 188 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 952 | 33547.27 | 33669.48 | 952 | 225 | 727 | 88 | 0 | 80 | 0 |
| YicesQS | 0 | 886 | 18086.23 | 18198.41 | 886 | 230 | 656 | 154 | 0 | 144 | 1 |
| Bitwuzla | 0 | 839 | 8895.96 | 9001.83 | 839 | 232 | 607 | 201 | 0 | 193 | 0 |
| UltimateEliminator+MathSAT | 0 | 336 | 3698.71 | 2637.22 | 336 | 32 | 304 | 704 | 0 | 119 | 21 |
| SMTInterpol | 0 | 281 | 347.45 | 218.44 | 281 | 1 | 280 | 759 | 0 | 188 | 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 | 232 | 2676.45 | 2705.68 | 232 | 232 | 0 | 23 | 785 | 15 | 0 |
| YicesQS | 0 | 230 | 10124.95 | 10154.84 | 230 | 230 | 0 | 25 | 785 | 17 | 0 |
| cvc5 | 0 | 225 | 14908.57 | 14938.38 | 225 | 225 | 0 | 30 | 785 | 22 | 0 |
| UltimateEliminator+MathSAT | 0 | 32 | 1471.50 | 1231.60 | 32 | 32 | 0 | 223 | 785 | 76 | 9 |
| SMTInterpol | 0 | 1 | 0.86 | 0.59 | 1 | 1 | 0 | 254 | 785 | 95 | 0 |
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 | 727 | 18638.70 | 18731.10 | 727 | 0 | 727 | 35 | 278 | 35 | 0 |
| YicesQS | 0 | 656 | 7961.28 | 8043.57 | 656 | 0 | 656 | 106 | 278 | 104 | 1 |
| Bitwuzla | 0 | 607 | 6219.51 | 6296.15 | 607 | 0 | 607 | 155 | 278 | 155 | 0 |
| UltimateEliminator+MathSAT | 0 | 304 | 2227.21 | 1405.62 | 304 | 0 | 304 | 458 | 278 | 31 | 11 |
| SMTInterpol | 0 | 280 | 346.59 | 217.86 | 280 | 0 | 280 | 482 | 278 | 82 | 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 |
|---|
| YicesQS | 0 | 842 | 341.85 | 445.96 | 842 | 206 | 636 | 8 | 190 | 0 | 0 |
| Bitwuzla | 0 | 792 | 512.12 | 610.06 | 792 | 218 | 574 | 8 | 240 | 0 | 0 |
| cvc5 | 0 | 689 | 1076.69 | 1161.81 | 689 | 62 | 627 | 8 | 343 | 0 | 0 |
| UltimateEliminator+MathSAT | 0 | 323 | 1676.98 | 815.98 | 323 | 25 | 298 | 523 | 194 | 0 | 0 |
| SMTInterpol | 0 | 280 | 295.28 | 179.89 | 280 | 1 | 279 | 511 | 249 | 0 | 0 |