SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

UF (Incremental Track)

Competition results for the UF logic in the Incremental Track.

Results were generated on 2024-07-08

Benchmarks: 2033
Time Limit: 1200 seconds
Memory Limit: 20480 GB

Winners

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

Parallel Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc50259601.154137110082e+061.154947600901e+06000203309370
SMTInterpol0180025.367894714816e+061.996162428458e+060002033015300

24 seconds Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
cvc50168142496.4571212593.01673000952108100
SMTInterpol071401791.819302784.794932000175185800