AUFBV (Single Query Track)
Competition results for the AUFBV
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 761
Time Limit: 1200 seconds
Memory Limit: 20480 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 | 517 | 28669.955494 | 28728.530045 | 517 | 140 | 377 | 244 | 0 | 235 | 0 |
| cvc5 | 0 | 207 | 25250.164984 | 25276.585005 | 207 | 5 | 202 | 554 | 0 | 447 | 0 |
| SMTInterpol | 0 | 30 | 9616.1538 | 8522.894677 | 31 | 0 | 31 | 730 | 0 | 633 | 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 | 517 | 28669.955494 | 28728.530045 | 517 | 140 | 377 | 244 | 0 | 235 | 0 |
| cvc5 | 0 | 207 | 25250.164984 | 25276.585005 | 207 | 5 | 202 | 554 | 0 | 447 | 0 |
| SMTInterpol | 0 | 31 | 10872.160944 | 9721.725893 | 31 | 0 | 31 | 730 | 0 | 633 | 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 | 140 | 4880.355198 | 4895.244097 | 140 | 140 | 0 | 0 | 621 | 0 | 0 |
| cvc5 | 0 | 5 | 994.890342 | 995.77424 | 5 | 5 | 0 | 135 | 621 | 69 | 0 |
| SMTInterpol | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 140 | 621 | 85 | 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 | 377 | 23789.600296 | 23833.285948 | 377 | 0 | 377 | 2 | 382 | 2 | 0 |
| cvc5 | 0 | 202 | 24255.274642 | 24280.810765 | 202 | 0 | 202 | 177 | 382 | 149 | 0 |
| SMTInterpol | 0 | 31 | 10872.160944 | 9721.725893 | 31 | 0 | 31 | 348 | 382 | 316 | 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 | 393 | 1485.315425 | 1525.067599 | 393 | 119 | 274 | 9 | 359 | 0 | 0 |
| cvc5 | 0 | 160 | 609.347787 | 625.484241 | 160 | 2 | 158 | 10 | 591 | 0 | 0 |
| SMTInterpol | 0 | 7 | 199.170354 | 78.793953 | 7 | 0 | 7 | 26 | 728 | 0 | 0 |