Equality_LinearArith (Unsat Core Track)
Competition results for the Equality_LinearArith
division
in the Unsat Core Track.
Results were generated on 2024-07-08
Benchmarks: 23325
Time Limit: 1200 seconds
Memory Limit: 20480 GB
Logics: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 SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|
| cvc5 | 0 | 1.337997e+06 | 41908.478697 | 44211.102203 | 23034 | 0 | 23034 | 291 | 0 | 288 | 1 |
| SMTInterpol | 0 | 1.074078e+06 | 205512.644006 | 152940.416617 | 20191 | 0 | 20191 | 3134 | 0 | 2790 | 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 | 1.337997e+06 | 41908.478697 | 44211.102203 | 23034 | 0 | 23034 | 291 | 0 | 288 | 1 |
| SMTInterpol | 0 | 1.075263e+06 | 246284.332291 | 179095.090371 | 20191 | 0 | 20191 | 3134 | 0 | 2790 | 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 | 1.337997e+06 | 41908.478697 | 44211.102203 | 23034 | 0 | 23034 | 291 | 0 | 288 | 1 |
| SMTInterpol | 0 | 1.075263e+06 | 246284.332291 | 179095.090371 | 20191 | 0 | 20191 | 3134 | 0 | 2790 | 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 | 1.314964e+06 | 6287.18712 | 8570.858983 | 22894 | 0 | 22894 | 2 | 429 | 0 | 0 |
| SMTInterpol | 0 | 1.038935e+06 | 54431.661493 | 26005.420965 | 19634 | 0 | 19634 | 58 | 3633 | 0 | 0 |