The International Satisfiability Modulo Theories (SMT) Competition.
Competition results for the Equality_NonLinearArith division in the Incremental Track.
Results were generated on 2024-07-08
Benchmarks: 2342
Time Limit: 1200 seconds
Memory Limit: 20480 GB
| winner_seq | winner_par | winner_sat | winner_unsat | winner_24s |
|---|---|---|---|---|
| cvc5 | cvc5 | - | - | cvc5 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| cvc5 | 0 | 57328 | 48906.936335 | 49048.25927 | 0 | 0 | 0 | 2342 | 0 | 978 | 2 |
| SMTInterpol | 0 | 38170 | 45542.842252 | 35393.337853 | 0 | 0 | 0 | 2342 | 0 | 1864 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| cvc5 | 0 | 63054 | 1.22354793546e+06 | 1.224379044695e+06 | 0 | 0 | 0 | 2342 | 0 | 978 | 2 |
| SMTInterpol | 0 | 45157 | 5.262145863651e+06 | 2.322772204009e+06 | 0 | 0 | 0 | 2342 | 0 | 1864 | 0 |
| Solver | Error Score | Correct Score | CPU Time Score | Wall Time Score | Solved | Solved SAT | Solved UNSAT | Unsolved | Abstained | Timeout | Memout |
|---|---|---|---|---|---|---|---|---|---|---|---|
| cvc5 | 0 | 45883 | 3189.949823 | 3305.713864 | 0 | 0 | 0 | 1142 | 1200 | 0 | 0 |
| SMTInterpol | 0 | 22026 | 2742.968155 | 1069.223028 | 0 | 0 | 0 | 291 | 2051 | 0 | 0 |