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 - Challenge Track (incremental) (Summary)

Summary of all competition results for the Challenge Track (incremental).
Results are given ranked by performance for each scoring scheme (best solver is given as left-most solver).

QF_ABV

Scoring SchemeWinnerRanking
Parallel PerformanceBoolector (incremental)Boolector (incremental), 2018-Boolector (incremental)n, Yices 2.6.2 Incremental, Z3n, CVC4-inc

QF_AUFBV

Scoring SchemeWinnerRanking
Parallel PerformanceYices 2.6.2 Incremental2018-Yices (incremental)n, Yices 2.6.2 Incremental, Z3n, CVC4-inc, Boolector (incremental)

QF_BV

Scoring SchemeWinnerRanking
Parallel PerformanceBoolector (incremental)Boolector (incremental), 2018-MathSAT (incremental)n, Yices 2.6.2 Incremental, STP-incremental, CVC4-inc-fixedn, Z3n, Minkeyrink Solver, Minkeyrink Solver MT, STP-mt, CVC4-inc