QF_Equality_NonLinearArith (Model Validation Track)
Competition results for the QF_Equality_NonLinearArith
division
in the Model Validation Track.
Results were generated on 2024-07-08
Benchmarks: 477
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 | 351 | 25260.608703 | 25300.623319 | 351 | 351 | 0 | 126 | 0 | 92 | 0 |
| SMTInterpol | 0 | 301 | 21355.643335 | 17358.132382 | 301 | 301 | 0 | 176 | 0 | 0 | 0 |
| Yices2 | 104 | 175 | 4830.129365 | 4848.655425 | 175 | 175 | 0 | 156 | 146 | 0 | 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 | 351 | 25260.608703 | 25300.623319 | 351 | 351 | 0 | 126 | 0 | 92 | 0 |
| SMTInterpol | 0 | 301 | 21355.643335 | 17358.132382 | 301 | 301 | 0 | 176 | 0 | 0 | 0 |
| Yices2 | 104 | 175 | 4830.129365 | 4848.655425 | 175 | 175 | 0 | 156 | 146 | 0 | 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 | 351 | 25260.608703 | 25300.623319 | 351 | 351 | 0 | 126 | 0 | 92 | 0 |
| SMTInterpol | 0 | 301 | 21355.643335 | 17358.132382 | 301 | 301 | 0 | 176 | 0 | 0 | 0 |
| Yices2 | 104 | 175 | 4830.129365 | 4848.655425 | 175 | 175 | 0 | 156 | 146 | 0 | 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 | 276 | 422.45082 | 450.092536 | 276 | 276 | 0 | 31 | 170 | 0 | 0 |
| SMTInterpol | 0 | 220 | 1055.866729 | 445.535722 | 220 | 220 | 0 | 164 | 93 | 0 | 0 |
| Yices2 | 90 | 149 | 210.561032 | 225.513431 | 149 | 149 | 0 | 140 | 188 | 0 | 0 |