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 Scheme	Ranking
Sequential Performance	Boolector, 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 Performance	Boolector, 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