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 | Par4n, Vampire, cvc5-gg |
| SAT Performance | Par4n, cvc5-gg, Vampire |
| UNSAT Performance | Vampire, Par4n, cvc5-gg |
| 24s Performance | Par4n, Vampire, cvc5-gg |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Par4n, cvc5-gg |
| SAT Performance | Par4n, cvc5-gg |
| UNSAT Performance | cvc5-gg, Par4n |
| 24s Performance | cvc5-gg, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Vampire, Par4n, cvc5-gg |
| SAT Performance | Par4n, cvc5-gg, Vampire |
| UNSAT Performance | Vampire, Par4n, cvc5-gg |
| 24s Performance | Vampire, Par4n, cvc5-gg |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | cvc5-gg, Par4n |
| SAT Performance | cvc5-gg, Par4n |
| UNSAT Performance | cvc5-gg, Par4n |
| 24s Performance | cvc5-gg, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Vampire, cvc5-gg, Par4n |
| SAT Performance | cvc5-gg, Par4n, Vampire |
| UNSAT Performance | Vampire, cvc5-gg, Par4n |
| 24s Performance | cvc5-gg, Vampire, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Vampire, Par4n, cvc5-gg |
| SAT Performance | Vampire, Par4n, cvc5-gg |
| UNSAT Performance | Vampire, cvc5-gg, Par4n |
| 24s Performance | Vampire, cvc5-gg, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | STP-CMS-Cloud, Par4n, cvc5-gg |
| SAT Performance | STP-CMS-Cloud, cvc5-gg, Par4n |
| UNSAT Performance | STP-CMS-Cloud, Par4n, cvc5-gg |
| 24s Performance | STP-CMS-Cloud, cvc5-gg, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Par4n, cvc5-gg |
| SAT Performance | Par4n, cvc5-gg |
| UNSAT Performance | Par4n, cvc5-gg |
| 24s Performance | cvc5-gg, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Par4n, cvc5-gg |
| SAT Performance | Par4n, cvc5-gg |
| UNSAT Performance | cvc5-gg, Par4n |
| 24s Performance | cvc5-gg, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | cvc5-gg, Par4n |
| SAT Performance | cvc5-gg, Par4n |
| UNSAT Performance | cvc5-gg, Par4n |
| 24s Performance | cvc5-gg, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Par4n, SMTS cube-and-conquer, SMTS portfolio, cvc5-gg |
| SAT Performance | SMTS cube-and-conquer, SMTS portfolio, Par4n, cvc5-gg |
| UNSAT Performance | Par4n, cvc5-gg, SMTS cube-and-conquer, SMTS portfolio |
| 24s Performance | SMTS cube-and-conquer, SMTS portfolio, cvc5-gg, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | SMTS portfolio, SMTS cube-and-conquer, Par4n, cvc5-gg |
| SAT Performance | Par4n, SMTS portfolio, SMTS cube-and-conquer, cvc5-gg |
| UNSAT Performance | SMTS portfolio, SMTS cube-and-conquer, Par4n, cvc5-gg |
| 24s Performance | Par4n, SMTS cube-and-conquer, SMTS portfolio, cvc5-gg |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Par4n, cvc5-gg |
| SAT Performance | Par4n, cvc5-gg |
| UNSAT Performance | Par4n, cvc5-gg |
| 24s Performance | Par4n, cvc5-gg |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Par4n, cvc5-gg |
| SAT Performance | Par4n, cvc5-gg |
| UNSAT Performance | Par4n, cvc5-gg |
| 24s Performance | cvc5-gg, Par4n |