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

SMT-COMP 2019 Results - Model Validation Track (experimental) (Summary)

Summary of all competition results for the Model Validation Track (experimental).
Results are given ranked by performance for each scoring scheme (best solver is given as left-most solver).
This track is experimental. Solvers are only ranked by performance, but no winner is selected.

QF_BV

Scoring SchemeRanking
Sequential PerformanceBoolector, CVC4-mv, Yices 2.6.2 CaDiCal/SMT-LIB2 Models, Minkeyrink Solver, Yices 2.6.2 Model Validation, Yices 2.6.2 New Bvsolver with SMT2 Models, Minkeyrink Solver MT, Yices 2.6.2 Cryptominisat/SMT-LIB2 Models, STP-incremental, STP-mt
Parallel PerformanceBoolector, CVC4-mv, Minkeyrink Solver MT, Yices 2.6.2 CaDiCal/SMT-LIB2 Models, Minkeyrink Solver, Yices 2.6.2 Model Validation, Yices 2.6.2 New Bvsolver with SMT2 Models, Yices 2.6.2 Cryptominisat/SMT-LIB2 Models, STP-incremental, STP-mt