SMT-COMP 2024

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

SMT-COMP 2024

QF_Bitvec (Incremental Track)

Competition results for the QF_Bitvec division in the Incremental Track.

Results were generated on 2024-07-08

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

Logics:

Winners

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

Parallel Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
Bitwuzla02933320275.60632220377.6082990001295080
Yices202932423726.75639223833.7797600012950110
STP02904919705.39779119810.81570100012950120
cvc502898064688.16371164794.091700012950130
SMTInterpol021202479046.314438442633.03147000129503440

24 seconds Performance Performance

SolverError ScoreCorrect ScoreCPU Time ScoreWall Time ScoreSolvedSolved SATSolved UNSATUnsolvedAbstainedTimeoutMemout
STP0276142115.6565562212.0022600012623300
Yices20276112034.5340852132.65659300012306500
Bitwuzla0235681906.863212005.808091000117911600
SMTInterpol0130979060.9701353409.06263900080748800
cvc50113461057.315271148.478547000102726800