SMT-COMP 2025

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2025

QF_ABVFP (Incremental Track)

Competition results for the QF_ABVFP logic in the Incremental Track. Chart

Results were generated on 2025-08-11

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

Winners

Parallel PerformanceSAT Performance (parallel)UNSAT Performance (parallel)24 seconds Performance (parallel)
Bitwuzla--Bitwuzla

Parallel Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedUnsolvedAbstainedTimeoutMemout
Bitwuzla027387848006.3648017.10092140230
cvc502437791086437.291086442.6509214012672

24 seconds Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedUnsolvedAbstainedTimeoutMemout
Bitwuzla02686694095.004095.000907214220
cvc5015692414166.8414166.840698122331450