QF_UFNRA (Single Query Track)
Competition results for the QF_UFNRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 48
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| Yices2 | Yices2 | Yices2 | Yices2 | 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 | 47 | 221.49 | 227.30 | 47 | 31 | 16 | 1 | 0 | 1 | 0 |
| cvc5 | 0 | 37 | 3704.48 | 3709.43 | 37 | 29 | 8 | 11 | 0 | 11 | 0 |
| SMTInterpol | 0 | 3 | 22.82 | 8.32 | 3 | 1 | 2 | 45 | 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 |
|---|
| Yices2 | 0 | 47 | 221.49 | 227.30 | 47 | 31 | 16 | 1 | 0 | 1 | 0 |
| cvc5 | 0 | 37 | 3704.48 | 3709.43 | 37 | 29 | 8 | 11 | 0 | 11 | 0 |
| SMTInterpol | 0 | 3 | 22.82 | 8.32 | 3 | 1 | 2 | 45 | 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 |
|---|
| Yices2 | 0 | 31 | 217.99 | 221.83 | 31 | 31 | 0 | 0 | 17 | 0 | 0 |
| cvc5 | 0 | 29 | 3686.55 | 3690.54 | 29 | 29 | 0 | 2 | 17 | 2 | 0 |
| SMTInterpol | 0 | 1 | 0.44 | 0.45 | 1 | 1 | 0 | 30 | 17 | 0 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| Yices2 | 0 | 16 | 3.50 | 5.47 | 16 | 0 | 16 | 0 | 32 | 0 | 0 |
| cvc5 | 0 | 8 | 17.94 | 18.89 | 8 | 0 | 8 | 8 | 32 | 8 | 0 |
| SMTInterpol | 0 | 2 | 22.38 | 7.87 | 2 | 0 | 2 | 14 | 32 | 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 |
|---|
| Yices2 | 0 | 45 | 27.27 | 32.81 | 45 | 29 | 16 | 0 | 3 | 0 | 0 |
| cvc5 | 0 | 19 | 71.92 | 74.22 | 19 | 11 | 8 | 0 | 29 | 0 | 0 |
| SMTInterpol | 0 | 3 | 22.82 | 8.32 | 3 | 1 | 2 | 43 | 2 | 0 | 0 |