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 Performance Parallel Performance SAT Performance (parallel) UNSAT Performance (parallel) 24 seconds Performance (parallel)
UltimateEliminator+MathSAT UltimateEliminator+MathSAT - UltimateEliminator+MathSAT UltimateEliminator+MathSAT

Sequential Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
UltimateEliminator+MathSAT 0 8 1866.51 1087.14 218 218 9 0 5 0
cvc5 0 6 45.45 73.82 227 227 0 0 0 0
SMTInterpol 0 0 29.48 26.24 51 51 176 0 12 0

Parallel Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
UltimateEliminator+MathSAT 0 8 1866.51 1087.14 218 218 9 0 5 0
cvc5 0 6 45.45 73.82 227 227 0 0 0 0
SMTInterpol 0 0 29.48 26.24 51 51 176 0 12 0

UNSAT Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
UltimateEliminator+MathSAT 0 8 1866.51 1087.14 218 218 9 0 5 0
cvc5 0 6 45.45 73.82 227 227 0 0 0 0
SMTInterpol 0 0 29.48 26.24 51 51 176 0 12 0

24 seconds Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
UltimateEliminator+MathSAT 0 7 1267.12 562.85 214 214 4 9 0 0
cvc5 0 6 45.45 73.82 227 227 0 0 0 0
SMTInterpol 0 0 29.48 26.24 51 51 146 30 0 0