QF_ADT_BitVec (Model Validation Track)
Competition results for the QF_ADT_BitVec
division
in the Model Validation Track.
Results were generated on 2024-07-08
Benchmarks: 5247
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Logics:Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| 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 | 5215 | 5869.301564 | 6393.845715 | 5215 | 5215 | 0 | 23 | 9 | 0 | 1 |
| cvc5 | 0 | 4946 | 125436.818371 | 125952.135716 | 4946 | 4946 | 0 | 301 | 0 | 285 | 11 |
| SMTInterpol | 0 | 4347 | 380109.380455 | 324687.573592 | 4351 | 4351 | 0 | 896 | 0 | 807 | 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 | 5215 | 5869.301564 | 6393.845715 | 5215 | 5215 | 0 | 23 | 9 | 0 | 1 |
| cvc5 | 0 | 4946 | 125436.818371 | 125952.135716 | 4946 | 4946 | 0 | 301 | 0 | 285 | 11 |
| SMTInterpol | 0 | 4351 | 385000.735608 | 329378.374333 | 4351 | 4351 | 0 | 896 | 0 | 807 | 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 | 5215 | 5869.301564 | 6393.845715 | 5215 | 5215 | 0 | 23 | 9 | 0 | 1 |
| cvc5 | 0 | 4946 | 125436.818371 | 125952.135716 | 4946 | 4946 | 0 | 301 | 0 | 285 | 11 |
| SMTInterpol | 0 | 4351 | 385000.735608 | 329378.374333 | 4351 | 4351 | 0 | 896 | 0 | 807 | 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 | 5182 | 1265.037155 | 1784.828162 | 5182 | 5182 | 0 | 18 | 47 | 0 | 0 |
| cvc5 | 0 | 4164 | 5865.563325 | 6281.932728 | 4164 | 4164 | 0 | 2 | 1081 | 0 | 0 |
| SMTInterpol | 0 | 3230 | 22052.360475 | 8699.233837 | 3230 | 3230 | 0 | 49 | 1968 | 0 | 0 |