SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

UF (Unsat Core Track)

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

Results were generated on 2025-08-11

Benchmarks: 1704
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 518162 16403.22 16616.94 1685 1685 19 0 18 0
SMTInterpol 0 281210 50173.07 40101.71 951 951 753 0 404 0
UltimateEliminator+MathSAT 0 0 0.00 0.00 0 0 1704 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 518162 16403.22 16616.94 1685 1685 19 0 18 0
SMTInterpol 0 281381 53032.00 41870.10 951 951 753 0 404 0
UltimateEliminator+MathSAT 0 0 0.00 0.00 0 0 1704 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 518162 16403.22 16616.94 1685 1685 19 0 18 0
SMTInterpol 0 281381 53032.00 41870.10 951 951 753 0 404 0
UltimateEliminator+MathSAT 0 0 0.00 0.00 0 0 1704 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 482266 750.54 946.70 1562 1562 1 141 0 0
SMTInterpol 0 239436 5066.65 2495.96 777 777 2 925 0 0
UltimateEliminator+MathSAT 0 0 0.00 0.00 0 0 1704 0 0 0