SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

Largest Contribution Ranking - Cloud Track

Page generated on 2024-07-08

Winners

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

Parallel Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearRealArithSMTS0.1184620.028995
QF_LinearIntArithSMTS0.0904350.15567
QF_LinearIntArithZ3-Parti-Z3++0.070338-0.232578
QF_LinearIntArithcvc5-cloud0.020097-0.034637
QF_LinearRealArithZ3-Parti-Z3++00.018806
QF_LinearRealArithcvc5-cloud0-0

SAT Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearRealArithSMTS0.142353-0.07408
QF_LinearIntArithSMTS0.1011110.23674
QF_LinearIntArithZ3-Parti-Z3++0.036111-0.137615
QF_LinearIntArithcvc5-cloud0.007222-0.016577
QF_LinearRealArithZ3-Parti-Z3++00.031049
QF_LinearRealArithcvc5-cloud00

UNSAT Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearIntArithZ3-Parti-Z3++0.148571-0.309698
QF_LinearRealArithSMTS0.10.078837
QF_LinearIntArithSMTS0.0660320.004438
QF_LinearIntArithcvc5-cloud0.049524-0.046345
QF_LinearRealArithZ3-Parti-Z3++00.004757
QF_LinearRealArithcvc5-cloud00

24 seconds Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearIntArithSMTS0.310175-1.508944
QF_LinearIntArithZ3-Parti-Z3++0.036491-0.079644
QF_LinearIntArithcvc5-cloud00