SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2019

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Biggest Lead Ranking- Model Validation Track (experimental)

Page generated on 2019-07-23 17:57:57 +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 1.00265623 1.44376058 QF_BV

Parallel Performance

Solver Correct Score Time Score Division
Boolector 1.00265623 1.44177292 QF_BV

n Non-competing.
e Experimental.