SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

LIA (Unsat Core Track)

Competition results for the LIA logic in the Unsat Core Track. Chart

Results were generated on 2025-08-11

Benchmarks: 227
Time Limit: 1200 seconds
Memory Limit: 30720 GB

Winners

Sequential PerformanceParallel PerformanceSAT Performance (parallel)UNSAT Performance (parallel)24 seconds Performance (parallel)
UltimateEliminator+MathSATUltimateEliminator+MathSAT-UltimateEliminator+MathSATUltimateEliminator+MathSAT

Sequential Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved UNSATUnsolvedAbstainedTimeoutMemout
UltimateEliminator+MathSAT081866.511087.142182189050
cvc50645.4573.822272270000
SMTInterpol0029.4826.2451511760120

Parallel Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved UNSATUnsolvedAbstainedTimeoutMemout
UltimateEliminator+MathSAT081866.511087.142182189050
cvc50645.4573.822272270000
SMTInterpol0029.4826.2451511760120

UNSAT Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved UNSATUnsolvedAbstainedTimeoutMemout
UltimateEliminator+MathSAT081866.511087.142182189050
cvc50645.4573.822272270000
SMTInterpol0029.4826.2451511760120

24 seconds Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved UNSATUnsolvedAbstainedTimeoutMemout
UltimateEliminator+MathSAT071267.12562.852142144900
cvc50645.4573.822272270000
SMTInterpol0029.4826.2451511463000