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 | Vampire, iProver |
| SAT Performance | Vampire, iProver |
| UNSAT Performance | Vampire, iProver |
| 24s Performance | Vampire, iProver |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | iProver, Vampire |
| SAT Performance | Vampire, iProver |
| UNSAT Performance | iProver, Vampire |
| 24s Performance | Vampire, iProver |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Vampire, iProver |
| SAT Performance | Vampire, iProver |
| UNSAT Performance | Vampire, iProver |
| 24s Performance | iProver, Vampire |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | iProver, Vampire |
| SAT Performance | Vampire, iProver |
| UNSAT Performance | iProver, Vampire |
| 24s Performance | iProver, Vampire |
| Scoring Scheme | Ranking |
|---|---|
| Parallel Performance | Z3-Owl |
| SAT Performance | Z3-Owl |
| UNSAT Performance | Z3-Owl |
| 24s Performance | Z3-Owl |