SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Previous Competitions
SMT-LIB

SMT-COMP 2019

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Largest Contribution Ranking - Challenge Track (non-incremental)

Page generated on 2019-07-23 17:57:30 +0000

Winners

Sequential Performance Parallel Performance SAT Performance (parallel) UNSAT Performance (parallel) 24 seconds Performance (parallel)
Yices 2.6.2 Yices 2.6.2 Yices 2.6.2 Poolector Minkeyrink Solver

Sequential Performance

Solver Correct Score Time Score Division
Yices 2.6.2 0.16957136 0.18206042 QF_AUFBV
Yices 2.6.2 New Bvsolver 0.0 0.15272754 QF_BV
Boolector 0.0 0.08758821 QF_ABV

Parallel Performance

Solver Correct Score Time Score Division
Yices 2.6.2 0.16957136 0.18206079 QF_AUFBV
Yices 2.6.2 New Bvsolver 0.0 0.14160252 QF_BV
Boolector 0.0 0.02121921 QF_ABV

SAT Performance

Solver Correct Score Time Score Division
Yices 2.6.2 0.1865285 0.16552785 QF_AUFBV
Yices 2.6.2 New Bvsolver 0.0 0.14160252 QF_BV
Boolector 0.0 0.02121921 QF_ABV

UNSAT Performance

Solver Correct Score Time Score Division
Poolector 0.0 1.25e-06 QF_AUFBV

24s Performance

Solver Correct Score Time Score Division
Minkeyrink Solver 0.10880829 0.1812378 QF_BV
Yices 2.6.2 0.10362694 0.02391312 QF_AUFBV
Poolector 0.03626943 0.03624849 QF_ABV

n Non-competing.