SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

ALIA (Unsat Core Track)

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

Results were generated on 2025-08-11

Benchmarks: 248
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 1279 10909.71 10939.20 225 225 23 0 21 0
SMTInterpol 0 1033 8424.16 6461.42 184 184 64 0 32 0
UltimateEliminator+MathSAT 0 11 77.47 35.38 17 17 231 0 0 0

Parallel Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
cvc5 0 1279 10909.71 10939.20 225 225 23 0 21 0
SMTInterpol 0 1041 9760.48 7422.56 184 184 64 0 32 0
UltimateEliminator+MathSAT 0 11 77.47 35.38 17 17 231 0 0 0

UNSAT Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
cvc5 0 1279 10909.71 10939.20 225 225 23 0 21 0
SMTInterpol 0 1041 9760.48 7422.56 184 184 64 0 32 0
UltimateEliminator+MathSAT 0 11 77.47 35.38 17 17 231 0 0 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 1160 151.84 175.40 190 190 0 58 0 0
SMTInterpol 0 909 282.45 168.78 146 146 15 87 0 0
UltimateEliminator+MathSAT 0 11 77.47 35.38 17 17 231 0 0 0