QF_Equality_Bitvec (Unsat Core Track)
Competition results for the QF_Equality_Bitvec
division
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 2231
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Logics:Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| cvc5 | cvc5 | - | cvc5 | Yices2 |
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 | 961335 | 20537.48361 | 20760.749427 | 2199 | 0 | 2199 | 32 | 0 | 32 | 0 |
| Yices2 | 0 | 837358 | 14538.051456 | 14756.955589 | 2153 | 0 | 2153 | 75 | 3 | 74 | 1 |
| Bitwuzla | 0 | 573808 | 20862.067832 | 21086.484128 | 2212 | 0 | 2212 | 16 | 3 | 15 | 1 |
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 | 961335 | 20537.48361 | 20760.749427 | 2199 | 0 | 2199 | 32 | 0 | 32 | 0 |
| Yices2 | 0 | 837358 | 14538.051456 | 14756.955589 | 2153 | 0 | 2153 | 75 | 3 | 74 | 1 |
| Bitwuzla | 0 | 573808 | 20862.067832 | 21086.484128 | 2212 | 0 | 2212 | 16 | 3 | 15 | 1 |
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 | 961335 | 20537.48361 | 20760.749427 | 2199 | 0 | 2199 | 32 | 0 | 32 | 0 |
| Yices2 | 0 | 837358 | 14538.051456 | 14756.955589 | 2153 | 0 | 2153 | 75 | 3 | 74 | 1 |
| Bitwuzla | 0 | 573808 | 20862.067832 | 21086.484128 | 2212 | 0 | 2212 | 16 | 3 | 15 | 1 |
24 seconds Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 819516 | 2104.266879 | 2316.381551 | 2119 | 0 | 2119 | 0 | 112 | 0 | 0 |
| Bitwuzla | 0 | 188477 | 517.916336 | 719.70774 | 2022 | 0 | 2022 | 0 | 209 | 0 | 0 |
| cvc5 | 0 | 123090 | 1219.119287 | 1417.694179 | 1987 | 0 | 1987 | 0 | 244 | 0 | 0 |