SMT-COMP 2019

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Papers
Benchmark Submission
Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Previous Competitions

SMT-LIB

Biggest Lead 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 Yices 2.6.2

Sequential Performance

Solver Correct Score Time Score Division
Yices 2.6.2 1.83333333 0.76363539 QF_AUFBV
Boolector 1.0 3.74721173 QF_ABV
Boolector 1.0 1.01023888 QF_BV

Parallel Performance

Solver Correct Score Time Score Division
Yices 2.6.2 1.83333333 0.76365115 QF_AUFBV
Minkeyrink Solver MT 1.0 1.44274805 QF_BV
Boolector 1.0 1.04872049 QF_ABV

SAT Performance

Solver Correct Score Time Score Division
Yices 2.6.2 2.0 0.00653686 QF_AUFBV
Minkeyrink Solver MT 1.0 1.44274805 QF_BV
Boolector 1.0 1.04872049 QF_ABV

UNSAT Performance

Solver Correct Score Time Score Division
Poolector 1.0 1.15015227 QF_AUFBV

24s Performance

Solver Correct Score Time Score Division
Yices 2.6.2 1.33333333 0.60453756 QF_AUFBV
Poolector 1.25 0.99184363 QF_ABV
Minkeyrink Solver MT 1.25 0.90694275 QF_BV

n Non-competing.