Equality_LinearArith (Single Query Track)
Competition results for the Equality_LinearArith
division
in the Single Query Track. Chart
Results were generated on 2025-08-11
Benchmarks: 16936
Time Limit: 1200 seconds
Memory Limit: 30720 GB
Logics: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 | 13158 | 172759.48 | 174403.67 | 13158 | 866 | 12292 | 3778 | 0 | 2891 | 7 |
| iProver v3.9.3 | 0 | 10081 | 462761.07 | 127843.03 | 10597 | 0 | 10597 | 6339 | 0 | 6214 | 0 |
| UltimateEliminator+MathSAT | 0 | 253 | 1082.74 | 504.87 | 253 | 160 | 93 | 7506 | 9177 | 1 | 0 |
| SMTInterpol | 1 | 9424 | 123710.57 | 91610.57 | 9434 | 576 | 8858 | 7502 | 0 | 4612 | 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 | 13158 | 172759.48 | 174403.67 | 13158 | 866 | 12292 | 3778 | 0 | 2891 | 7 |
| iProver v3.9.3 | 0 | 10597 | 1901532.52 | 491707.38 | 10597 | 0 | 10597 | 6339 | 0 | 6214 | 0 |
| UltimateEliminator+MathSAT | 0 | 253 | 1082.74 | 504.87 | 253 | 160 | 93 | 7506 | 9177 | 1 | 0 |
| SMTInterpol | 1 | 9433 | 136639.72 | 100911.09 | 9434 | 576 | 8858 | 7502 | 0 | 4612 | 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 | 866 | 57143.55 | 57254.98 | 866 | 866 | 0 | 197 | 15873 | 50 | 0 |
| SMTInterpol | 0 | 561 | 424.02 | 356.85 | 561 | 561 | 0 | 502 | 15873 | 80 | 0 |
| UltimateEliminator+MathSAT | 0 | 160 | 658.35 | 311.41 | 160 | 160 | 0 | 265 | 16511 | 0 | 0 |
| iProver v3.9.3 | 0 | 0 | 0.00 | 0.00 | 0 | 0 | 0 | 1063 | 15873 | 959 | 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 | 12292 | 115615.93 | 117148.69 | 12292 | 0 | 12292 | 216 | 4428 | 184 | 0 |
| iProver v3.9.3 | 0 | 10597 | 1901532.52 | 491707.38 | 10597 | 0 | 10597 | 1911 | 4428 | 1902 | 0 |
| UltimateEliminator+MathSAT | 0 | 93 | 424.39 | 193.46 | 93 | 0 | 93 | 4838 | 12005 | 1 | 0 |
| SMTInterpol | 1 | 8855 | 135569.74 | 100037.05 | 8856 | 1 | 8855 | 3652 | 4428 | 2900 | 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 | 12563 | 6458.28 | 8008.22 | 12563 | 716 | 11847 | 356 | 4017 | 0 | 0 |
| iProver v3.9.3 | 0 | 8684 | 81061.24 | 27761.55 | 8684 | 0 | 8684 | 97 | 8155 | 0 | 0 |
| UltimateEliminator+MathSAT | 0 | 253 | 1082.74 | 504.87 | 253 | 160 | 93 | 7497 | 9186 | 0 | 0 |
| SMTInterpol | 1 | 8991 | 28395.66 | 14572.79 | 8992 | 574 | 8418 | 1599 | 6345 | 0 | 0 |