The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Summary of all competition results for the Cloud Track.
Results are given ranked by performance for each scoring scheme
(best solver is given as left-most solver).
This track is experimental. Solvers are only ranked by performance, but no
winner is selected.
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Vampire, cvc5 |
| SAT Performance | Vampire, cvc5 |
| UNSAT Performance | Vampire, cvc5 |
| 24s Performance | Vampire, cvc5 |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | cvc5, Vampire |
| SAT Performance | cvc5, Vampire |
| UNSAT Performance | cvc5, Vampire |
| 24s Performance | cvc5, Vampire |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Vampire, cvc5 |
| SAT Performance | cvc5, Vampire |
| UNSAT Performance | Vampire, cvc5 |
| 24s Performance | cvc5, Vampire |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | cvc5, Vampire |
| SAT Performance | Vampire, cvc5 |
| UNSAT Performance | cvc5, Vampire |
| 24s Performance | cvc5, Vampire |