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- Model Validation Track (experimental)

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

Winners

Sequential Performance Parallel Performance
Boolector Boolector

Sequential Performance

Solver Correct Score Time Score Division
Boolector 1.00265623 1.44376058 QF_BV

Parallel Performance

Solver Correct Score Time Score Division
Boolector 1.00265623 1.44177292 QF_BV

n Non-competing.