SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

NIA (Unsat Core Track)

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

Results were generated on 2025-08-11

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

Winners

Sequential Performance Parallel Performance SAT Performance (parallel) UNSAT Performance (parallel) 24 seconds Performance (parallel)
cvc5 cvc5 - cvc5 cvc5

Sequential Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
cvc5 0 260 23833.32 23854.35 140 140 19 0 19 0
SMTInterpol 0 7 4.52 3.05 5 5 154 0 1 0
UltimateEliminator+MathSAT 2 230 453.34 203.07 93 93 66 0 15 0

Parallel Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
cvc5 0 260 23833.32 23854.35 140 140 19 0 19 0
SMTInterpol 0 7 4.52 3.05 5 5 154 0 1 0
UltimateEliminator+MathSAT 2 230 453.34 203.07 93 93 66 0 15 0

UNSAT Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
cvc5 0 260 23833.32 23854.35 140 140 19 0 19 0
SMTInterpol 0 7 4.52 3.05 5 5 154 0 1 0
UltimateEliminator+MathSAT 2 230 453.34 203.07 93 93 66 0 15 0

24 seconds Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
cvc5 0 116 93.51 101.13 61 61 0 98 0 0
SMTInterpol 0 7 4.52 3.05 5 5 151 3 0 0
UltimateEliminator+MathSAT 2 230 453.34 203.07 93 93 51 15 0 0