SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

Largest Contribution Ranking - Parallel Track

Page generated on 2025-08-11

Winners

Winners

Sequential PerformanceParallel PerformanceSAT Performance (parallel)UNSAT Performance (parallel)24 seconds Performance (parallel)
-SMTSSMTSZ3-Parti-Z3ppSMTS

Parallel Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearIntArithSMTS0.08725-0.073969
QF_LinearIntArithZ3-Parti-Z3pp0.07089-0.244677
QF_LinearRealArithSMTS0.064740.019615
QF_LinearRealArithYices20.019422-0.002532
QF_LinearRealArithZ3-Parti-Z3pp0.006474-0.007392
QF_LinearIntArithYices200

SAT Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearIntArithSMTS0.102473-0.206627
QF_LinearRealArithSMTS0.0466120.043527
QF_LinearIntArithZ3-Parti-Z3pp0.018631-0.009582
QF_LinearRealArithYices20.011653-0.005155
QF_LinearRealArithZ3-Parti-Z3pp0.011653-0.012415
QF_LinearIntArithYices200

UNSAT Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearIntArithZ3-Parti-Z3pp0.144668-0.730685
QF_LinearRealArithSMTS0.087398-0.042865
QF_LinearIntArithSMTS0.065758-0.03387
QF_LinearRealArithYices20.0291330.001449
QF_LinearRealArithZ3-Parti-Z3pp00
QF_LinearIntArithYices200

24 seconds Performance

DivisionSolverCorrect ScoreTime Score
QF_LinearIntArithSMTS0.159698-0.333265
QF_LinearIntArithZ3-Parti-Z3pp0.063879-0.149991
QF_LinearIntArithYices200