QF_UFDTNIA (Single Query Track)
Competition results for the QF_UFDTNIA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 80
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 | cvc5 |
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 | 45 | 9745.097867 | 9752.254922 | 45 | 33 | 12 | 35 | 0 | 35 | 0 |
| SMTInterpol | 0 | 28 | 1907.317512 | 1216.079356 | 28 | 19 | 9 | 52 | 0 | 7 | 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 | 45 | 9745.097867 | 9752.254922 | 45 | 33 | 12 | 35 | 0 | 35 | 0 |
| SMTInterpol | 0 | 28 | 1907.317512 | 1216.079356 | 28 | 19 | 9 | 52 | 0 | 7 | 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 | 33 | 6762.936541 | 6767.857334 | 33 | 33 | 0 | 0 | 47 | 0 | 0 |
| SMTInterpol | 0 | 19 | 813.441166 | 392.91106 | 19 | 19 | 0 | 14 | 47 | 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 |
|---|
| cvc5 | 0 | 12 | 2982.161326 | 2984.397588 | 12 | 0 | 12 | 3 | 65 | 3 | 0 |
| SMTInterpol | 0 | 9 | 1093.876347 | 823.168296 | 9 | 0 | 9 | 6 | 65 | 1 | 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 |
|---|
| cvc5 | 0 | 19 | 123.977501 | 125.911676 | 19 | 12 | 7 | 0 | 61 | 0 | 0 |
| SMTInterpol | 0 | 17 | 473.35929 | 177.475974 | 17 | 13 | 4 | 26 | 37 | 0 | 0 |