SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

Biggest Lead Ranking - Parallel Track

Page generated on 2024-07-08

Winners

Sequential PerformanceParallel PerformanceSAT Performance (parallel)UNSAT Performance (parallel)24 seconds Performance (parallel)
-SMTSSMTSSMTSSMTS

Parallel Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearRealArithSMTS30.687563
QF_LinearIntArithSMTS1.1184211.393043

SAT Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearRealArithSMTS3.40.407001
QF_LinearIntArithZ3-Parti-Z3++1.0769230.862097

UNSAT Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearRealArithSMTS2.5555561.0432
QF_LinearIntArithSMTS0.5909095.145741

24 seconds Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearIntArithSMTS1.0769231.000178