QF_UFDTLIA (Single Query Track)
Competition results for the QF_UFDTLIA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 76
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| SMTInterpol | SMTInterpol | SMTInterpol | SMTInterpol | SMTInterpol |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 58 | 10229.279497 | 8456.728436 | 59 | 47 | 12 | 17 | 0 | 17 | 0 |
| cvc5 | 0 | 42 | 5452.868138 | 5457.947589 | 42 | 33 | 9 | 34 | 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 |
|---|
| SMTInterpol | 0 | 59 | 11473.92467 | 9620.653619 | 59 | 47 | 12 | 17 | 0 | 17 | 0 |
| cvc5 | 0 | 42 | 5452.868138 | 5457.947589 | 42 | 33 | 9 | 34 | 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 |
|---|
| SMTInterpol | 0 | 47 | 8287.122757 | 6842.969249 | 47 | 47 | 0 | 0 | 29 | 0 | 0 |
| cvc5 | 0 | 33 | 4013.49111 | 4017.318166 | 33 | 33 | 0 | 14 | 29 | 14 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| SMTInterpol | 0 | 12 | 3186.801913 | 2777.684369 | 12 | 0 | 12 | 1 | 63 | 1 | 0 |
| cvc5 | 0 | 9 | 1439.377028 | 1440.629423 | 9 | 0 | 9 | 4 | 63 | 4 | 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 |
|---|
| SMTInterpol | 0 | 27 | 773.775518 | 300.092817 | 27 | 23 | 4 | 0 | 49 | 0 | 0 |
| cvc5 | 0 | 21 | 175.087203 | 177.236857 | 21 | 15 | 6 | 0 | 55 | 0 | 0 |