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

Largest Contribution Ranking - Model Validation Track (experimental)

Page generated on 2019-07-23 17:58:02 +0000

Winners

Sequential Performance Parallel Performance
Boolector Boolector

Sequential Performance

Solver Correct Score Time Score Division
Boolector 0.00166991 0.23520658 QF_BV

Parallel Performance

Solver Correct Score Time Score Division
Boolector 0.00166922 0.23680591 QF_BV

n Non-competing.