SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

AUFLIA (Unsat Core Track)

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

Results were generated on 2025-08-11

Benchmarks: 1249
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 39408 8942.28 9096.44 1229 1229 20 0 20 0
SMTInterpol 0 27585 19913.24 15525.03 1007 1007 242 0 188 0
UltimateEliminator+MathSAT 0 683 149.60 67.61 32 32 1217 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 39408 8942.28 9096.44 1229 1229 20 0 20 0
SMTInterpol 0 27866 25463.76 20061.46 1007 1007 242 0 188 0
UltimateEliminator+MathSAT 0 683 149.60 67.61 32 32 1217 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 39408 8942.28 9096.44 1229 1229 20 0 20 0
SMTInterpol 0 27866 25463.76 20061.46 1007 1007 242 0 188 0
UltimateEliminator+MathSAT 0 683 149.60 67.61 32 32 1217 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 33525 333.47 475.45 1140 1140 0 109 0 0
SMTInterpol 0 24953 2963.18 1450.48 943 943 4 302 0 0
UltimateEliminator+MathSAT 0 683 149.60 67.61 32 32 1216 1 0 0