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
winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
---|
Yices2 | Yices2 | - | Yices2 | Yices2 |
Sequential Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
Yices2 | 0 | 1.119027e+06 | 14615.267128 | 14832.48558 | 2153 | 0 | 2153 | 75 | 3 | 74 | 1 |
cvc5 | 0 | 961335 | 20537.48361 | 20760.749427 | 2199 | 0 | 2199 | 32 | 0 | 32 | 0 |
Bitwuzla | 0 | 855477 | 21054.890894 | 21277.752093 | 2212 | 0 | 2212 | 16 | 3 | 15 | 1 |
Parallel Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
Yices2 | 0 | 1.984283e+06 | 103488.373935 | 103728.614696 | 2153 | 0 | 2153 | 75 | 3 | 74 | 1 |
cvc5 | 0 | 1.325169e+06 | 58974.046145 | 59217.46666 | 2199 | 0 | 2199 | 32 | 0 | 32 | 0 |
Bitwuzla | 0 | 1.263639e+06 | 39070.03712 | 39296.899954 | 2212 | 0 | 2212 | 16 | 3 | 15 | 1 |
UNSAT Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
Yices2 | 0 | 1.984283e+06 | 103488.373935 | 103728.614696 | 2153 | 0 | 2153 | 75 | 3 | 74 | 1 |
cvc5 | 0 | 1.325169e+06 | 58974.046145 | 59217.46666 | 2199 | 0 | 2199 | 32 | 0 | 32 | 0 |
Bitwuzla | 0 | 1.263639e+06 | 39070.03712 | 39296.899954 | 2212 | 0 | 2212 | 16 | 3 | 15 | 1 |
24 seconds 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 |