SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

SMT-COMP 2024 Results - Parallel Track

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).

QF_Equality_LinearArith

Scoring SchemeWinnerRanking
Sequential Performance-
Parallel Performance-SMTS
SAT Performance-SMTS
UNSAT Performance-SMTS
24 seconds Performance-SMTS

QF_LinearIntArith

Scoring SchemeWinnerRanking
Sequential Performance-
Parallel PerformanceSMTSSMTS, Z3-Parti-Z3++
SAT PerformanceZ3-Parti-Z3++Z3-Parti-Z3++, SMTS
UNSAT PerformanceSMTSSMTS, Z3-Parti-Z3++
24 seconds PerformanceSMTSSMTS, Z3-Parti-Z3++

QF_LinearRealArith

Scoring SchemeWinnerRanking
Sequential Performance-
Parallel PerformanceSMTSSMTS, Z3-Parti-Z3++
SAT PerformanceSMTSSMTS, Z3-Parti-Z3++
UNSAT PerformanceSMTSSMTS, Z3-Parti-Z3++
24 seconds PerformanceSMTSSMTS

QF_NonLinearIntArith

Scoring SchemeWinnerRanking
Sequential Performance-
Parallel Performance-Z3-Parti-Z3++
SAT Performance-Z3-Parti-Z3++
UNSAT Performance-Z3-Parti-Z3++
24 seconds Performance-Z3-Parti-Z3++

QF_NonLinearRealArith

Scoring SchemeWinnerRanking
Sequential Performance-
Parallel Performance-Z3-Parti-Z3++
SAT Performance-Z3-Parti-Z3++
UNSAT Performance-
24 seconds Performance-Z3-Parti-Z3++