AUFNIRA (Single Query Track)
Competition results for the AUFNIRA
logic
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 300
Time Limit: 1200 seconds
Memory Limit: 30720 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 | 53 | 4576.23 | 4583.35 | 53 | 2 | 51 | 247 | 0 | 245 | 0 |
| iProver v3.9.3 | 0 | 30 | 6303.94 | 1628.61 | 38 | 0 | 38 | 262 | 0 | 262 | 0 |
| SMTInterpol | 0 | 6 | 1020.37 | 928.27 | 6 | 0 | 6 | 294 | 0 | 149 | 0 |
| UltimateEliminator+MathSAT | 0 | 2 | 19.59 | 7.26 | 2 | 0 | 2 | 298 | 0 | 2 | 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 | 53 | 4576.23 | 4583.35 | 53 | 2 | 51 | 247 | 0 | 245 | 0 |
| iProver v3.9.3 | 0 | 38 | 24078.84 | 6109.79 | 38 | 0 | 38 | 262 | 0 | 262 | 0 |
| SMTInterpol | 0 | 6 | 1020.37 | 928.27 | 6 | 0 | 6 | 294 | 0 | 149 | 0 |
| UltimateEliminator+MathSAT | 0 | 2 | 19.59 | 7.26 | 2 | 0 | 2 | 298 | 0 | 2 | 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 | 2 | 1080.37 | 1080.74 | 2 | 2 | 0 | 0 | 298 | 0 | 0 |
| SMTInterpol | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 2 | 298 | 0 | 0 |
| UltimateEliminator+MathSAT | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 2 | 298 | 0 | 0 |
| iProver v3.9.3 | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 2 | 298 | 2 | 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 | 51 | 3495.86 | 3502.61 | 51 | 0 | 51 | 5 | 244 | 5 | 0 |
| iProver v3.9.3 | 0 | 38 | 24078.84 | 6109.79 | 38 | 0 | 38 | 18 | 244 | 18 | 0 |
| SMTInterpol | 0 | 6 | 1020.37 | 928.27 | 6 | 0 | 6 | 50 | 244 | 35 | 0 |
| UltimateEliminator+MathSAT | 0 | 2 | 19.59 | 7.26 | 2 | 0 | 2 | 54 | 244 | 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 |
|---|
| cvc5 | 0 | 33 | 67.35 | 71.47 | 33 | 0 | 33 | 0 | 267 | 0 | 0 |
| iProver v3.9.3 | 0 | 19 | 587.95 | 168.47 | 19 | 0 | 19 | 0 | 281 | 0 | 0 |
| SMTInterpol | 0 | 5 | 35.79 | 17.57 | 5 | 0 | 5 | 5 | 290 | 0 | 0 |
| UltimateEliminator+MathSAT | 0 | 2 | 19.59 | 7.26 | 2 | 0 | 2 | 296 | 2 | 0 | 0 |