SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

Biggest Lead Ranking - Cloud Track

Page generated on 2024-07-08

Winners

Sequential PerformanceParallel PerformanceSAT Performance (parallel)UNSAT Performance (parallel)24 seconds Performance (parallel)
-Z3-Parti-Z3++Z3-Parti-Z3++Z3-Parti-Z3++SMTS

Parallel Performance

DivisionSolverCorrect ScoreTime Score
QF_NonLinearIntArithZ3-Parti-Z3++5.1428570.84871
QF_LinearRealArithSMTS2.1666671.193104
QF_Equality_LinearArithSMTS1.642.033343
QF_NonLinearRealArithZ3-Parti-Z3++1.4545451.117258
QF_LinearIntArithSMTS1.0416674.251496

SAT Performance

DivisionSolverCorrect ScoreTime Score
QF_NonLinearIntArithZ3-Parti-Z3++3.52.795798
QF_LinearRealArithSMTS2.4285710.799553
QF_NonLinearRealArithZ3-Parti-Z3++2.40.345863
QF_LinearIntArithSMTS1.2647064.180671
QF_Equality_LinearArithSMTS114.086002

UNSAT Performance

DivisionSolverCorrect ScoreTime Score
QF_NonLinearIntArithZ3-Parti-Z3++80.088298
QF_LinearRealArithSMTS1.9166671.555999
QF_LinearIntArithZ3-Parti-Z3++1.8750.227487
QF_Equality_LinearArithSMTS1.7272731.737042
QF_NonLinearRealArithcvc5-cloud1.40.42497

24 seconds Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearRealArithSMTS70.010085
QF_LinearIntArithSMTS60.234062
QF_NonLinearRealArithZ3-Parti-Z3++1.3333330.406876