The International Satisfiability Modulo Theories (SMT) Competition.
Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions
Summary of all competition results for the Parallel 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 | cvc5-gg, Vampire, Par4n |
| SAT Performance | cvc5-gg, Par4n, Vampire |
| UNSAT Performance | cvc5-gg, Vampire, Par4n |
| 24s Performance | cvc5-gg, Vampire, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Vampire, cvc5-gg, Par4n |
| SAT Performance | Vampire, Par4n, cvc5-gg |
| UNSAT Performance | Vampire, cvc5-gg, Par4n |
| 24s Performance | Vampire, cvc5-gg, Par4n |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Par4n, STP-parallel, cvc5-gg |
| SAT Performance | STP-parallel, cvc5-gg, Par4n |
| UNSAT Performance | Par4n, STP-parallel, cvc5-gg |
| 24s Performance | STP-parallel, 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, 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 | 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 | 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 |