QF_ABV (Model Validation Track)
Competition results for the QF_ABV
logic
in the Model Validation Track.
Results were generated on 2024-07-08
Benchmarks: 5213
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 |
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 | 5191 | 5186.945008 | 5708.887426 | 5191 | 5191 | 0 | 22 | 0 | 0 | 0 |
| cvc5 | 0 | 4924 | 123735.934835 | 124248.685322 | 4924 | 4924 | 0 | 289 | 0 | 275 | 9 |
| SMTInterpol | 0 | 4335 | 378875.60869 | 323783.654168 | 4339 | 4339 | 0 | 874 | 0 | 792 | 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 | 5191 | 5186.945008 | 5708.887426 | 5191 | 5191 | 0 | 22 | 0 | 0 | 0 |
| cvc5 | 0 | 4924 | 123735.934835 | 124248.685322 | 4924 | 4924 | 0 | 289 | 0 | 275 | 9 |
| SMTInterpol | 0 | 4339 | 383766.963843 | 328474.454909 | 4339 | 4339 | 0 | 874 | 0 | 792 | 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 | 5191 | 5186.945008 | 5708.887426 | 5191 | 5191 | 0 | 22 | 0 | 0 | 0 |
| cvc5 | 0 | 4924 | 123735.934835 | 124248.685322 | 4924 | 4924 | 0 | 289 | 0 | 275 | 9 |
| SMTInterpol | 0 | 4339 | 383766.963843 | 328474.454909 | 4339 | 4339 | 0 | 874 | 0 | 792 | 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 | 5167 | 1242.41514 | 1760.68658 | 5167 | 5167 | 0 | 18 | 28 | 0 | 0 |
| cvc5 | 0 | 4150 | 5806.251161 | 6221.197038 | 4150 | 4150 | 0 | 2 | 1061 | 0 | 0 |
| SMTInterpol | 0 | 3225 | 21987.148728 | 8676.932758 | 3225 | 3225 | 0 | 43 | 1945 | 0 | 0 |