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

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