SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

UFDTNIRA (Single Query Track)

Competition results for the UFDTNIRA logic in the Single Query Track. Chart

Results were generated on 2025-08-11

Benchmarks: 2043
Time Limit: 1200 seconds
Memory Limit: 30720 GB

Winners

Sequential PerformanceParallel PerformanceSAT Performance (parallel)UNSAT Performance (parallel)24 seconds Performance (parallel)
cvc5cvc5-cvc5cvc5

Sequential Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc5018701679.431909.861870018701730790
iProver v3.9.30145460355.9816415.3915810158146204620
SMTInterpol0135410850.876972.9313540135468904190

Parallel Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc5018701679.431909.861870018701730790
iProver v3.9.301581436299.69111111.7715810158146204620
SMTInterpol0135410850.876972.9313540135468904190

UNSAT Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc5018701679.431909.86187001870416940
iProver v3.9.301581436299.69111111.771581015812931692930
SMTInterpol0135410850.876972.931354013545201692780

24 seconds Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc501866394.41624.08186601866948300
SMTInterpol013274611.542007.691327013278663000
iProver v3.9.30130410738.213620.85130401304073900