QF_BV (Unsat Core Track)
Competition results for the QF_BV
logic
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 2947
Time Limit: 1200 seconds
Memory Limit: 20480 GB
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 | 1 | 2.146414e+06 | 40196.791521 | 40467.693327 | 2617 | 1 | 2616 | 330 | 0 | 330 | 0 |
cvc5 | 1 | 1.037781e+06 | 210764.344196 | 211022.540181 | 2326 | 0 | 2326 | 621 | 0 | 613 | 7 |
Bitwuzla | 3 | 2.370855e+06 | 80058.713798 | 80352.417923 | 2807 | 1 | 2806 | 140 | 0 | 137 | 1 |
Parallel Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
Yices2 | 1 | 3.047972e+06 | 436506.27788 | 436884.335165 | 2617 | 1 | 2616 | 330 | 0 | 330 | 0 |
cvc5 | 1 | 2.002948e+06 | 946972.067034 | 947692.594259 | 2326 | 0 | 2326 | 621 | 0 | 613 | 7 |
Bitwuzla | 3 | 2.910067e+06 | 243392.269891 | 243728.931433 | 2807 | 1 | 2806 | 140 | 0 | 137 | 1 |
UNSAT Performance
Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
---|
Yices2 | 1 | 3.047972e+06 | 436506.27788 | 436884.335165 | 2617 | 1 | 2616 | 330 | 0 | 330 | 0 |
cvc5 | 1 | 2.002948e+06 | 946972.067034 | 947692.594259 | 2326 | 0 | 2326 | 621 | 0 | 613 | 7 |
Bitwuzla | 3 | 2.910067e+06 | 243392.269891 | 243728.931433 | 2807 | 1 | 2806 | 140 | 0 | 137 | 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 | 2.111442e+06 | 1918.08798 | 2166.84742 | 2487 | 0 | 2487 | 0 | 460 | 0 | 0 |
Bitwuzla | 0 | 1.986098e+06 | 3091.515994 | 3340.88699 | 2493 | 0 | 2493 | 0 | 454 | 0 | 0 |
cvc5 | 0 | 348486 | 5318.513482 | 5479.280593 | 1605 | 0 | 1605 | 0 | 1342 | 0 | 0 |