SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

QF_Equality (Incremental Track)

Competition results for the QF_Equality division in the Incremental Track.

Results were generated on 2024-07-08

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

Logics:

Winners

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

Parallel Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
Yices2014468193.495177273.986753000889000
plat-smt014468197.544097278.156104000889000
cvc5014468552.618072630.853486000889000
SMTInterpol0144684039.8678651529.595756000889000
OpenSMT0144581024.0877911099.513669000889000

24 seconds Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
Yices2014468193.495177273.986753000889000
plat-smt014468197.544097278.156104000889000
cvc5014468552.618072630.853486000889000
SMTInterpol0144663963.5504481478.966961000888100
OpenSMT014448552.867189628.755118000884500