SMT-COMP 2022 Results - Unsat Core Track (Summary)
Summary of all competition results for the Unsat Core Track.
Results are given ranked by performance for each scoring scheme
(best solver is given as left-most solver).
Scoring Scheme | Winner | Ranking |
Sequential Performance | cvc5 | cvc5, 2020-CVC4-ucn, z3-4.8.17n, Vampire, smtinterpol, UltimateEliminator+MathSAT |
Parallel Performance | cvc5 | cvc5, 2020-CVC4-ucn, z3-4.8.17n, Vampire, smtinterpol, UltimateEliminator+MathSAT |
Scoring Scheme | Winner | Ranking |
Sequential Performance | cvc5 | 2021-cvc5-ucn, z3-4.8.17n, cvc5, Vampire, smtinterpol, UltimateEliminator+MathSAT |
Parallel Performance | cvc5 | 2021-cvc5-ucn, z3-4.8.17n, cvc5, Vampire, smtinterpol, UltimateEliminator+MathSAT |
Scoring Scheme | Winner | Ranking |
Sequential Performance | cvc5 | 2020-CVC4-ucn, cvc5, Vampire, z3-4.8.17n, smtinterpol, UltimateEliminator+MathSAT |
Parallel Performance | Vampire | Vampire, 2020-CVC4-ucn, cvc5, z3-4.8.17n, smtinterpol, UltimateEliminator+MathSAT |
Scoring Scheme | Winner | Ranking |
Sequential Performance | Bitwuzla | Bitwuzla, 2020-Bitwuzla-fixedn, Yices2, z3-4.8.17n, cvc5, MathSATn |
Parallel Performance | Bitwuzla | Bitwuzla, 2020-Bitwuzla-fixedn, Yices2, z3-4.8.17n, cvc5, MathSATn |
Scoring Scheme | Winner | Ranking |
Sequential Performance | Bitwuzla | Bitwuzla, 2021-Bitwuzlan, Yices2, z3-4.8.17n, cvc5, MathSATn |
Parallel Performance | Bitwuzla | Bitwuzla, 2021-Bitwuzlan, Yices2, z3-4.8.17n, cvc5, MathSATn |
Scoring Scheme | Winner | Ranking |
Sequential Performance | Yices2 | Yices2, MathSATn, 2021-MathSAT5n, z3-4.8.17n, smtinterpol, cvc5 |
Parallel Performance | Yices2 | Yices2, MathSATn, 2021-MathSAT5n, z3-4.8.17n, smtinterpol, cvc5 |
Scoring Scheme | Winner | Ranking |
Sequential Performance | Yices2 | z3-4.8.17n, 2021-z3n, Yices2, MathSATn, smtinterpol, cvc5 |
Parallel Performance | Yices2 | z3-4.8.17n, 2021-z3n, Yices2, MathSATn, smtinterpol, cvc5 |
Scoring Scheme | Winner | Ranking |
Sequential Performance | Yices2 | MathSATn, Yices2, z3-4.8.17n, 2021-cvc5-ucn, smtinterpol, cvc5 |
Parallel Performance | Yices2 | MathSATn, Yices2, z3-4.8.17n, 2021-cvc5-ucn, smtinterpol, cvc5 |
Scoring Scheme | Winner | Ranking |
Sequential Performance | Yices2 | 2020-Yices2n, Yices2, cvc5, z3-4.8.17n, MathSATn, smtinterpol |
Parallel Performance | Yices2 | 2020-Yices2n, Yices2, cvc5, z3-4.8.17n, smtinterpol, MathSATn |