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 |
SAT Performance | Vampire |
UNSAT Performance | Vampire |
24s Performance | Vampire |
Scoring Scheme | Ranking |
---|---|
Parallel Performance | Vampire |
SAT Performance | Vampire |
UNSAT Performance | Vampire |
24s Performance | Vampire |
Scoring Scheme | Ranking |
---|---|
Parallel Performance | Vampire |
SAT Performance | Vampire |
UNSAT Performance | Vampire |
24s Performance | Vampire |
Scoring Scheme | Ranking |
---|---|
Parallel Performance | Vampire |
SAT Performance | Vampire |
UNSAT Performance | Vampire |
24s Performance | Vampire |
Scoring Scheme | Ranking |
---|---|
Parallel Performance | SMTS portfolio, SMTS cube-and-conquer (fixed), SMTS cube-and-conquer |
SAT Performance | SMTS portfolio, SMTS cube-and-conquer (fixed), SMTS cube-and-conquer |
UNSAT Performance | SMTS cube-and-conquer, SMTS cube-and-conquer (fixed), SMTS portfolio |
24s Performance | SMTS cube-and-conquer, SMTS cube-and-conquer (fixed), SMTS portfolio |
Scoring Scheme | Ranking |
---|---|
Parallel Performance | SMTS cube-and-conquer (fixed), SMTS cube-and-conquer, SMTS portfolio |
SAT Performance | SMTS cube-and-conquer (fixed), SMTS cube-and-conquer, SMTS portfolio |
UNSAT Performance | SMTS cube-and-conquer, SMTS portfolio, SMTS cube-and-conquer (fixed) |
24s Performance | SMTS portfolio, SMTS cube-and-conquer, SMTS cube-and-conquer (fixed) |
Scoring Scheme | Ranking |
---|---|
Parallel Performance | SMTS portfolio, SMTS cube-and-conquer, SMTS cube-and-conquer (fixed) |
SAT Performance | SMTS portfolio, SMTS cube-and-conquer, SMTS cube-and-conquer (fixed) |
UNSAT Performance | SMTS portfolio, SMTS cube-and-conquer, SMTS cube-and-conquer (fixed) |
24s Performance | SMTS portfolio, SMTS cube-and-conquer, SMTS cube-and-conquer (fixed) |