The International Satisfiability Modulo Theories (SMT) Competition.
Competition results for the QF_Equality_NonLinearArith division in the Incremental Track.
Results were generated on 2024-07-08
Benchmarks: 512
Time Limit: 1200 seconds
Memory Limit: 20480 GB
| winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
|---|---|---|---|---|
| cvc5 | cvc5 | - | - | SMTInterpol |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| cvc5 | 0 | 149496 | 10610.829545 | 10668.176254 | 0 | 0 | 0 | 512 | 0 | 7 | 0 |
| SMTInterpol | 0 | 148515 | 2136.36213 | 855.046515 | 0 | 0 | 0 | 512 | 0 | 0 | 0 |
| Yices2 | 0 | 34834 | 2258.842303 | 2311.323377 | 0 | 0 | 0 | 512 | 0 | 11 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| cvc5 | 0 | 149615 | 19017.77339 | 19080.294058 | 0 | 0 | 0 | 512 | 0 | 7 | 0 |
| SMTInterpol | 0 | 148515 | 2136.36213 | 855.046515 | 0 | 0 | 0 | 512 | 0 | 0 | 0 |
| Yices2 | 0 | 44682 | 14266.711224 | 14328.669974 | 0 | 0 | 0 | 512 | 0 | 11 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| SMTInterpol | 0 | 49934 | 1938.940751 | 754.940618 | 0 | 0 | 0 | 510 | 2 | 0 | 0 |
| cvc5 | 0 | 33348 | 1102.646369 | 1147.929825 | 0 | 0 | 0 | 451 | 61 | 0 | 0 |
| Yices2 | 0 | 11611 | 576.146287 | 625.137582 | 0 | 0 | 0 | 491 | 21 | 0 | 0 |