QF_UFDTLIA (Model Validation Track)
Competition results for the QF_UFDTLIA
logic
in the Model Validation Track.
Results were generated on 2024-07-08
Benchmarks: 33
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 |
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 | 33 | 2516.775342 | 1736.837752 | 33 | 33 | 0 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 33 | 3942.216067 | 3946.581706 | 33 | 33 | 0 | 0 | 0 | 0 | 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 | 33 | 2516.775342 | 1736.837752 | 33 | 33 | 0 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 33 | 3942.216067 | 3946.581706 | 33 | 33 | 0 | 0 | 0 | 0 | 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 | 33 | 2516.775342 | 1736.837752 | 33 | 33 | 0 | 0 | 0 | 0 | 0 |
| cvc5 | 0 | 33 | 3942.216067 | 3946.581706 | 33 | 33 | 0 | 0 | 0 | 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 |
|---|
| SMTInterpol | 0 | 23 | 746.16672 | 292.772356 | 23 | 23 | 0 | 0 | 10 | 0 | 0 |
| cvc5 | 0 | 16 | 133.701955 | 135.332737 | 16 | 16 | 0 | 0 | 17 | 0 | 0 |