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

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

This track is experimental. Solvers are only ranked by performance, but no winner is selected.

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.