BVFPLRA (Single Query Track)
Competition results for the BVFPLRA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 266
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 | cvc5 | 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 | 258 | 134.751331 | 160.593392 | 258 | 233 | 25 | 8 | 0 | 8 | 0 |
| cvc5 | 0 | 251 | 504.683358 | 529.882354 | 251 | 226 | 25 | 15 | 0 | 15 | 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 | 258 | 134.751331 | 160.593392 | 258 | 233 | 25 | 8 | 0 | 8 | 0 |
| cvc5 | 0 | 251 | 504.683358 | 529.882354 | 251 | 226 | 25 | 15 | 0 | 15 | 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 | 233 | 92.747383 | 116.061893 | 233 | 233 | 0 | 0 | 33 | 0 | 0 |
| cvc5 | 0 | 226 | 483.55297 | 506.259832 | 226 | 226 | 0 | 7 | 33 | 7 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 25 | 21.130388 | 23.622522 | 25 | 0 | 25 | 0 | 241 | 0 | 0 |
| Bitwuzla | 0 | 25 | 42.003948 | 44.531499 | 25 | 0 | 25 | 0 | 241 | 0 | 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 | 256 | 56.020784 | 81.611102 | 256 | 232 | 24 | 0 | 10 | 0 | 0 |
| cvc5 | 0 | 250 | 144.48745 | 169.44635 | 250 | 225 | 25 | 0 | 16 | 0 | 0 |