SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

UFLIA (Unsat Core Track)

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

Results were generated on 2025-08-11

Benchmarks: 3863
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 953548 30355.22 30834.20 3829 3829 34 0 29 0
SMTInterpol 0 583677 49961.26 40516.09 2443 2443 1420 0 1230 0
UltimateEliminator+MathSAT 1 1629 266.03 213.01 14 14 3849 0 6 0

Parallel Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
cvc5 0 953548 30355.22 30834.20 3829 3829 34 0 29 0
SMTInterpol 0 583824 52449.87 42430.80 2443 2443 1420 0 1230 0
UltimateEliminator+MathSAT 1 1629 266.03 213.01 14 14 3849 0 6 0

UNSAT Performance Performance

Solver Error Score Correct Score CPU Time Score Wall Time Score Solved Solved UNSAT Unsolved Abstained Timeout Memout
cvc5 0 953548 30355.22 30834.20 3829 3829 34 0 29 0
SMTInterpol 0 583824 52449.87 42430.80 2443 2443 1420 0 1230 0
UltimateEliminator+MathSAT 1 1629 266.03 213.01 14 14 3849 0 6 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 913712 2927.02 3384.31 3687 3687 3 173 0 0
SMTInterpol 0 560351 7217.05 3475.79 2299 2299 12 1552 0 0
UltimateEliminator+MathSAT 1 1044 91.14 46.98 13 13 3839 11 0 0