SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

Biggest Lead Ranking - Parallel Track

Page generated on 2025-08-11

Winners

Winners

Sequential PerformanceParallel PerformanceSAT Performance (parallel)UNSAT Performance (parallel)24 seconds Performance (parallel)
-Z3-Parti-Z3ppZ3-Parti-Z3ppSMTSZ3-Parti-Z3pp

Parallel Performance

DivisionSolverCorrect ScoreTime Score
QF_NonLinearRealArithZ3-Parti-Z3pp2.1250.01221
QF_NonLinearIntArithZ3-Parti-Z3pp20.479565
QF_LinearRealArithSMTS1.6428571.013739
QF_Equality_LinearArithSMTS1.4545450.723263
QF_BitvecSTP-Parti-Bitwuzla1.2727270.522612
QF_LinearIntArithSMTS1.2083331.464977
QF_Equality_BitvecBitwuzla1.0909091.328785

SAT Performance

DivisionSolverCorrect ScoreTime Score
QF_NonLinearRealArithZ3-Parti-Z3pp3.250.004461
QF_NonLinearIntArithZ3-Parti-Z3pp2.80.296723
QF_Equality_LinearArithYices22.6666670.086862
QF_LinearIntArithSMTS1.7692310.59306
QF_BitvecSTP-Parti-Bitwuzla1.5555560.398285
QF_Equality_BitvecBitwuzla1.50.250215
QF_LinearRealArithSMTS1.41.158349

UNSAT Performance

DivisionSolverCorrect ScoreTime Score
QF_Equality_LinearArithSMTS3.50.151856
QF_LinearRealArithSMTS20.70265
QF_LinearIntArithZ3-Parti-Z3pp1.7142860.306078
QF_NonLinearIntArithZ3-Parti-Z3pp1.2857140.858253
QF_Equality_BitvecYices21.1428570.280482
QF_BitvecSTP-Parti-Bitwuzla1.0714290.758541
QF_NonLinearRealArithYices2139.560568

24 seconds Performance

DivisionSolverCorrect ScoreTime Score
QF_NonLinearIntArithZ3-Parti-Z3pp3.3333330.356843
QF_Equality_BitvecBitwuzla2.50.159304
QF_LinearIntArithSMTS20.677416
QF_LinearRealArithSMTS20.052302
QF_Equality_LinearArithYices220.042071
QF_BitvecBitwuzla1.6666670.393272
QF_NonLinearRealArithYices21.1666671.136855