QF_ABVFP (Single Query Track)
Competition results for the QF_ABVFP
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 627
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 | 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 | 625 | 1325.03346 | 1387.974901 | 625 | 119 | 506 | 2 | 0 | 2 | 0 |
| cvc5 | 0 | 545 | 18287.530955 | 18346.242688 | 545 | 108 | 437 | 82 | 0 | 9 | 0 |
| COLIBRI | 0 | 509 | 2268.725709 | 2322.058596 | 509 | 106 | 403 | 118 | 0 | 34 | 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 | 625 | 1325.03346 | 1387.974901 | 625 | 119 | 506 | 2 | 0 | 2 | 0 |
| cvc5 | 0 | 545 | 18287.530955 | 18346.242688 | 545 | 108 | 437 | 82 | 0 | 9 | 0 |
| COLIBRI | 0 | 509 | 2268.725709 | 2322.058596 | 509 | 106 | 403 | 118 | 0 | 34 | 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 | 119 | 110.797152 | 122.729824 | 119 | 119 | 0 | 0 | 508 | 0 | 0 |
| cvc5 | 0 | 108 | 1750.553258 | 1761.847562 | 108 | 108 | 0 | 11 | 508 | 1 | 0 |
| COLIBRI | 0 | 106 | 555.773873 | 566.962313 | 106 | 106 | 0 | 13 | 508 | 3 | 0 |
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 | 506 | 1214.236308 | 1265.245076 | 506 | 0 | 506 | 1 | 120 | 1 | 0 |
| cvc5 | 0 | 437 | 16536.977697 | 16584.395125 | 437 | 0 | 437 | 70 | 120 | 7 | 0 |
| COLIBRI | 0 | 403 | 1712.951836 | 1755.096282 | 403 | 0 | 403 | 104 | 120 | 30 | 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 | 620 | 522.779253 | 584.929661 | 620 | 119 | 501 | 0 | 7 | 0 | 0 |
| COLIBRI | 0 | 501 | 1171.557906 | 1223.999294 | 501 | 102 | 399 | 84 | 42 | 0 | 0 |
| cvc5 | 0 | 432 | 1697.277342 | 1740.873588 | 432 | 88 | 344 | 73 | 122 | 0 | 0 |