SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

AUFNIRA (Unsat Core Track)

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

Results were generated on 2025-08-11

Benchmarks: 533
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 21171 4815.69 4882.61 530 530 3 0 3 0
SMTInterpol 0 10526 1709.98 1383.83 484 484 49 0 28 0
UltimateEliminator+MathSAT 0 552 240.13 103.32 46 46 487 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 21171 4815.69 4882.61 530 530 3 0 3 0
SMTInterpol 0 10526 1709.98 1383.83 484 484 49 0 28 0
UltimateEliminator+MathSAT 0 552 240.13 103.32 46 46 487 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 21171 4815.69 4882.61 530 530 3 0 3 0
SMTInterpol 0 10526 1709.98 1383.83 484 484 49 0 28 0
UltimateEliminator+MathSAT 0 552 240.13 103.32 46 46 487 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 16744 139.55 203.71 513 513 0 20 0 0
SMTInterpol 0 10414 535.57 321.24 482 482 0 51 0 0
UltimateEliminator+MathSAT 0 552 240.13 103.32 46 46 487 0 0 0