QF_Bitvec (Unsat Core Track)
Competition results for the QF_Bitvec
division
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 2947
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 | Yices2 |
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 | 2.370581e+06 | 78406.508407 | 78700.412841 | 2808 | 0 | 2808 | 139 | 0 | 137 | 1 |
| Yices2 | 0 | 2.146412e+06 | 39010.516632 | 39281.13911 | 2616 | 0 | 2616 | 331 | 0 | 330 | 0 |
| cvc5 | 0 | 1.037741e+06 | 209137.991512 | 209407.572472 | 2327 | 0 | 2327 | 620 | 0 | 612 | 7 |
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 | 2.370581e+06 | 78406.508407 | 78700.412841 | 2808 | 0 | 2808 | 139 | 0 | 137 | 1 |
| Yices2 | 0 | 2.146412e+06 | 39010.516632 | 39281.13911 | 2616 | 0 | 2616 | 331 | 0 | 330 | 0 |
| cvc5 | 0 | 1.037741e+06 | 209137.991512 | 209407.572472 | 2327 | 0 | 2327 | 620 | 0 | 612 | 7 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Bitwuzla | 0 | 2.370581e+06 | 78406.508407 | 78700.412841 | 2808 | 0 | 2808 | 139 | 0 | 137 | 1 |
| Yices2 | 0 | 2.146412e+06 | 39010.516632 | 39281.13911 | 2616 | 0 | 2616 | 331 | 0 | 330 | 0 |
| cvc5 | 0 | 1.037741e+06 | 209137.991512 | 209407.572472 | 2327 | 0 | 2327 | 620 | 0 | 612 | 7 |
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 | 2.111442e+06 | 1918.08798 | 2166.84742 | 2487 | 0 | 2487 | 1 | 459 | 0 | 0 |
| Bitwuzla | 0 | 1.986098e+06 | 3091.515994 | 3340.88699 | 2493 | 0 | 2493 | 1 | 453 | 0 | 0 |
| cvc5 | 0 | 348486 | 5318.513482 | 5479.280593 | 1605 | 0 | 1605 | 1 | 1341 | 0 | 0 |