QF_BVFP (Single Query Track)
Competition results for the QF_BVFP
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 526
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 | 526 | 786.590488 | 839.419043 | 526 | 241 | 285 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 490 | 4696.491629 | 4746.8151 | 490 | 230 | 260 | 36 | 0 | 0 | 0 |
| COLIBRI | 0 | 457 | 1776.075707 | 1824.960979 | 457 | 229 | 228 | 69 | 0 | 19 | 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 | 526 | 786.590488 | 839.419043 | 526 | 241 | 285 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 490 | 4696.491629 | 4746.8151 | 490 | 230 | 260 | 36 | 0 | 0 | 0 |
| COLIBRI | 0 | 457 | 1776.075707 | 1824.960979 | 457 | 229 | 228 | 69 | 0 | 19 | 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 | 241 | 118.706032 | 142.856803 | 241 | 241 | 0 | 0 | 285 | 0 | 0 |
| cvc5 | 0 | 230 | 1548.973154 | 1572.338041 | 230 | 230 | 0 | 11 | 285 | 0 | 0 |
| COLIBRI | 0 | 229 | 1149.5586 | 1174.379517 | 229 | 229 | 0 | 12 | 285 | 1 | 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 | 285 | 667.884456 | 696.56224 | 285 | 0 | 285 | 0 | 241 | 0 | 0 |
| cvc5 | 0 | 260 | 3147.518475 | 3174.477059 | 260 | 0 | 260 | 25 | 241 | 0 | 0 |
| COLIBRI | 0 | 228 | 626.517107 | 650.581462 | 228 | 0 | 228 | 57 | 241 | 18 | 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 | 521 | 340.214852 | 392.437174 | 521 | 241 | 280 | 0 | 5 | 0 | 0 |
| cvc5 | 0 | 461 | 1037.758342 | 1084.068891 | 461 | 215 | 246 | 36 | 29 | 0 | 0 |
| COLIBRI | 0 | 452 | 429.97926 | 477.792131 | 452 | 228 | 224 | 50 | 24 | 0 | 0 |