SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

AUFLIRA (Unsat Core Track)

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

Results were generated on 2025-08-11

Benchmarks: 9885
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 182436 11618.67 12854.72 9879 9879 6 0 6 0
SMTInterpol 0 152634 34891.85 24950.73 9372 9372 513 0 331 0
UltimateEliminator+MathSAT 0 7080 3039.43 1324.38 590 590 9295 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 182436 11618.67 12854.72 9879 9879 6 0 6 0
SMTInterpol 0 152698 42358.04 30128.43 9372 9372 513 0 331 0
UltimateEliminator+MathSAT 0 7080 3039.43 1324.38 590 590 9295 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 182436 11618.67 12854.72 9879 9879 6 0 6 0
SMTInterpol 0 152698 42358.04 30128.43 9372 9372 513 0 331 0
UltimateEliminator+MathSAT 0 7080 3039.43 1324.38 590 590 9295 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 181531 1681.38 2909.48 9828 9828 0 57 0 0
SMTInterpol 0 149553 13300.16 8146.32 9218 9218 0 667 0 0
UltimateEliminator+MathSAT 0 7080 3039.43 1324.38 590 590 9295 0 0 0