Arith (Unsat Core Track)
Competition results for the Arith
division
in the Unsat Core Track. Chart
Results were generated on 2025-08-11
Benchmarks: 386
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Logics:- LIA : 227 benchmarks
- NIA : 159 benchmarks
Winners
| Sequential Performance | Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|
| cvc5 | cvc5 | - | cvc5 | cvc5 |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 266 | 23878.77 | 23928.18 | 367 | 367 | 19 | 0 | 19 | 0 |
| SMTInterpol | 0 | 7 | 34.00 | 29.29 | 56 | 56 | 330 | 0 | 13 | 0 |
| UltimateEliminator+MathSAT | 2 | 238 | 2319.85 | 1290.21 | 311 | 311 | 75 | 0 | 20 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 266 | 23878.77 | 23928.18 | 367 | 367 | 19 | 0 | 19 | 0 |
| SMTInterpol | 0 | 7 | 34.00 | 29.29 | 56 | 56 | 330 | 0 | 13 | 0 |
| UltimateEliminator+MathSAT | 2 | 238 | 2319.85 | 1290.21 | 311 | 311 | 75 | 0 | 20 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 266 | 23878.77 | 23928.18 | 367 | 367 | 19 | 0 | 19 | 0 |
| SMTInterpol | 0 | 7 | 34.00 | 29.29 | 56 | 56 | 330 | 0 | 13 | 0 |
| UltimateEliminator+MathSAT | 2 | 238 | 2319.85 | 1290.21 | 311 | 311 | 75 | 0 | 20 | 0 |
24 seconds Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 122 | 138.97 | 174.95 | 288 | 288 | 0 | 98 | 0 | 0 |
| SMTInterpol | 0 | 7 | 34.00 | 29.29 | 56 | 56 | 297 | 33 | 0 | 0 |
| UltimateEliminator+MathSAT | 2 | 237 | 1720.46 | 765.92 | 307 | 307 | 55 | 24 | 0 | 0 |