QF_UFNIA (Single Query Track)
Competition results for the QF_UFNIA
logic
in the Single Query Track.
Results were generated on 2024-07-08
Benchmarks: 339
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| Yices2 | Yices2 | Yices2 | cvc5 | Yices2 |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 236 | 10844.257679 | 10870.32492 | 236 | 212 | 24 | 103 | 0 | 102 | 1 |
| cvc5 | 0 | 158 | 13914.827147 | 13934.235598 | 158 | 126 | 32 | 181 | 0 | 181 | 0 |
| SMTInterpol | 0 | 143 | 24584.615769 | 20166.203516 | 143 | 116 | 27 | 196 | 0 | 75 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 236 | 10844.257679 | 10870.32492 | 236 | 212 | 24 | 103 | 0 | 102 | 1 |
| cvc5 | 0 | 158 | 13914.827147 | 13934.235598 | 158 | 126 | 32 | 181 | 0 | 181 | 0 |
| SMTInterpol | 0 | 143 | 24584.615769 | 20166.203516 | 143 | 116 | 27 | 196 | 0 | 75 | 0 |
SAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 212 | 10326.93725 | 10350.460908 | 212 | 212 | 0 | 11 | 116 | 11 | 0 |
| cvc5 | 0 | 126 | 12990.606159 | 13006.564574 | 126 | 126 | 0 | 97 | 116 | 97 | 0 |
| SMTInterpol | 0 | 116 | 21302.23131 | 17672.400561 | 116 | 116 | 0 | 107 | 116 | 19 | 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 | 32 | 924.220987 | 927.671024 | 32 | 0 | 32 | 11 | 296 | 11 | 0 |
| SMTInterpol | 0 | 27 | 3282.384458 | 2493.802955 | 27 | 0 | 27 | 16 | 296 | 2 | 0 |
| Yices2 | 0 | 24 | 517.320429 | 519.864012 | 24 | 0 | 24 | 19 | 296 | 18 | 1 |
24 seconds Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 176 | 415.064339 | 432.793166 | 176 | 153 | 23 | 0 | 163 | 0 | 0 |
| cvc5 | 0 | 115 | 163.590299 | 175.107795 | 115 | 88 | 27 | 0 | 224 | 0 | 0 |
| SMTInterpol | 0 | 53 | 487.288133 | 212.042086 | 53 | 36 | 17 | 97 | 189 | 0 | 0 |