UFLIA (Unsat Core Track)
Competition results for the UFLIA
logic
in the Unsat Core Track. Chart
Results were generated on 2025-08-11
Benchmarks: 3863
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 |
Sequential Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 953548 | 30355.22 | 30834.20 | 3829 | 3829 | 34 | 0 | 29 | 0 |
| SMTInterpol | 0 | 583677 | 49961.26 | 40516.09 | 2443 | 2443 | 1420 | 0 | 1230 | 0 |
| UltimateEliminator+MathSAT | 1 | 1629 | 266.03 | 213.01 | 14 | 14 | 3849 | 0 | 6 | 0 |
Parallel Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 953548 | 30355.22 | 30834.20 | 3829 | 3829 | 34 | 0 | 29 | 0 |
| SMTInterpol | 0 | 583824 | 52449.87 | 42430.80 | 2443 | 2443 | 1420 | 0 | 1230 | 0 |
| UltimateEliminator+MathSAT | 1 | 1629 | 266.03 | 213.01 | 14 | 14 | 3849 | 0 | 6 | 0 |
UNSAT Performance Performance
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 953548 | 30355.22 | 30834.20 | 3829 | 3829 | 34 | 0 | 29 | 0 |
| SMTInterpol | 0 | 583824 | 52449.87 | 42430.80 | 2443 | 2443 | 1420 | 0 | 1230 | 0 |
| UltimateEliminator+MathSAT | 1 | 1629 | 266.03 | 213.01 | 14 | 14 | 3849 | 0 | 6 | 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 | 913712 | 2927.02 | 3384.31 | 3687 | 3687 | 3 | 173 | 0 | 0 |
| SMTInterpol | 0 | 560351 | 7217.05 | 3475.79 | 2299 | 2299 | 12 | 1552 | 0 | 0 |
| UltimateEliminator+MathSAT | 1 | 1044 | 91.14 | 46.98 | 13 | 13 | 3839 | 11 | 0 | 0 |