UFBV (Single Query Track)
Competition results for the UFBV
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 144
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| cvc5 | cvc5 | cvc5 | 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 |
|---|
| cvc5 | 0 | 99 | 6213.859123 | 6225.249789 | 99 | 20 | 79 | 45 | 0 | 18 | 0 |
| Bitwuzla | 0 | 95 | 273.775474 | 283.307528 | 95 | 19 | 76 | 49 | 0 | 49 | 0 |
| SMTInterpol | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144 | 0 | 86 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 99 | 6213.859123 | 6225.249789 | 99 | 20 | 79 | 45 | 0 | 18 | 0 |
| Bitwuzla | 0 | 95 | 273.775474 | 283.307528 | 95 | 19 | 76 | 49 | 0 | 49 | 0 |
| SMTInterpol | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 144 | 0 | 86 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 20 | 3523.308589 | 3525.801804 | 20 | 20 | 0 | 17 | 107 | 1 | 0 |
| Bitwuzla | 0 | 19 | 89.785921 | 91.69174 | 19 | 19 | 0 | 18 | 107 | 18 | 0 |
| SMTInterpol | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 37 | 107 | 26 | 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 | 79 | 2690.550534 | 2699.447986 | 79 | 0 | 79 | 7 | 58 | 3 | 0 |
| Bitwuzla | 0 | 76 | 183.989552 | 191.615789 | 76 | 0 | 76 | 10 | 58 | 10 | 0 |
| SMTInterpol | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 86 | 58 | 48 | 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 | 93 | 218.234207 | 227.564465 | 93 | 18 | 75 | 0 | 51 | 0 | 0 |
| cvc5 | 0 | 63 | 170.276181 | 176.585003 | 63 | 1 | 62 | 0 | 81 | 0 | 0 |
| SMTInterpol | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 26 | 118 | 0 | 0 |