SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

Arith (Unsat Core Track)

Competition results for the Arith division in the Unsat Core Track. Chart

Results were generated on 2025-08-11

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

Logics:

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 266 23878.77 23928.18 367 367 19 0 19 0
SMTInterpol 0 7 34.00 29.29 56 56 330 0 13 0
UltimateEliminator+MathSAT 2 238 2319.85 1290.21 311 311 75 0 20 0

Parallel Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
cvc5 0 266 23878.77 23928.18 367 367 19 0 19 0
SMTInterpol 0 7 34.00 29.29 56 56 330 0 13 0
UltimateEliminator+MathSAT 2 238 2319.85 1290.21 311 311 75 0 20 0

UNSAT Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
cvc5 0 266 23878.77 23928.18 367 367 19 0 19 0
SMTInterpol 0 7 34.00 29.29 56 56 330 0 13 0
UltimateEliminator+MathSAT 2 238 2319.85 1290.21 311 311 75 0 20 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 122 138.97 174.95 288 288 0 98 0 0
SMTInterpol 0 7 34.00 29.29 56 56 297 33 0 0
UltimateEliminator+MathSAT 2 237 1720.46 765.92 307 307 55 24 0 0