SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

Equality_MachineArith (Incremental Track)

Competition results for the Equality_MachineArith division in the Incremental Track.

Results were generated on 2024-07-08

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

Logics:

Winners

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

Parallel Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
Bitwuzla02269110.342228110.8661920004000
cvc508181216.8550581217.8829340004010

24 seconds Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
Bitwuzla06243.8464144.1377830003100
cvc5062415.80882216.1632430003100