SMT-COMP 2022 Results - Cloud Track (Summary)
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 | SMTS portfolio, SMTS cube-and-conquer, SMTS cube-and-conquer (fixed), cvc5-cloud |
SAT Performance | SMTS portfolio, SMTS cube-and-conquer, SMTS cube-and-conquer (fixed), cvc5-cloud |
UNSAT Performance | SMTS cube-and-conquer, SMTS cube-and-conquer (fixed), SMTS portfolio, cvc5-cloud |
24s Performance | SMTS cube-and-conquer, SMTS cube-and-conquer (fixed), SMTS portfolio, cvc5-cloud |
Scoring Scheme | Ranking |
Parallel Performance | SMTS cube-and-conquer (fixed), SMTS portfolio, cvc5-cloud, SMTS cube-and-conquer |
SAT Performance | SMTS cube-and-conquer (fixed), SMTS portfolio, SMTS cube-and-conquer, cvc5-cloud |
UNSAT Performance | cvc5-cloud, SMTS cube-and-conquer (fixed), SMTS cube-and-conquer, SMTS portfolio |
24s Performance | cvc5-cloud, SMTS portfolio, SMTS cube-and-conquer (fixed), SMTS cube-and-conquer |
Scoring Scheme | Ranking |
Parallel Performance | SMTS portfolio, SMTS cube-and-conquer, SMTS cube-and-conquer (fixed), cvc5-cloud |
SAT Performance | SMTS portfolio, SMTS cube-and-conquer (fixed), SMTS cube-and-conquer, cvc5-cloud |
UNSAT Performance | SMTS portfolio, SMTS cube-and-conquer, SMTS cube-and-conquer (fixed), cvc5-cloud |
24s Performance | SMTS portfolio, SMTS cube-and-conquer, cvc5-cloud, SMTS cube-and-conquer (fixed) |