The International Satisfiability Modulo Theories (SMT) Competition.
Competition results for the Equality_LinearArith division in the Incremental Track. Chart
Results were generated on 2025-08-11
Benchmarks: 959
Time Limit: 1200 seconds
Memory Limit: 30720 GB
| Parallel Performance | SAT Performance (parallel) | UNSAT Performance (parallel) | 24 seconds Performance (parallel) |
|---|---|---|---|
| cvc5 | - | - | SMTInterpol |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|
| cvc5 | 0 | 343940 | 30483.78 | 30483.78 | 0 | 959 | 0 | 7 | 0 |
| SMTInterpol | 0 | 332802 | 260796.48 | 260796.48 | 0 | 959 | 0 | 169 | 0 |
| UltimateEliminator+MathSAT | 0 | 154648 | 8707.11 | 7271.38 | 0 | 959 | 0 | 0 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|
| SMTInterpol | 0 | 296428 | 1417.97 | 1417.97 | 0 | 512 | 447 | 0 | 0 |
| cvc5 | 0 | 296118 | 3460.03 | 3460.03 | 0 | 809 | 150 | 0 | 0 |
| UltimateEliminator+MathSAT | 0 | 491 | 3356.05 | 1920.32 | 0 | 939 | 20 | 0 | 0 |