SMT-COMP 2022 Results - Parallel Track (Summary)

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.

Arith

Scoring Scheme	Ranking
Parallel Performance	Vampire
SAT Performance	Vampire
UNSAT Performance	Vampire
24s Performance	Vampire

Equality+LinearArith

Scoring Scheme	Ranking
Parallel Performance	Vampire
SAT Performance	Vampire
UNSAT Performance	Vampire
24s Performance	Vampire

Equality+NonLinearArith

Scoring Scheme	Ranking
Parallel Performance	Vampire
SAT Performance	Vampire
UNSAT Performance	Vampire
24s Performance	Vampire

Equality

Scoring Scheme	Ranking
Parallel Performance	Vampire
SAT Performance	Vampire
UNSAT Performance	Vampire
24s Performance	Vampire

QF_Equality+LinearArith

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

QF_LinearIntArith

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)

QF_LinearRealArith

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)