SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Competitions by Year

SMT-COMP 2020

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Biggest Lead Ranking- Model Validation Track

Page generated on 2020-07-04 11:50:14 +0000

Winners

Sequential Performance Parallel Performance
Yices2 Model Validation Yices2 Model Validation

Sequential Performance

Solver Correct Score Time Score Division
Yices2 Model Validation 1.1040724 3.68968229 QF_IDL
CVC4-mv 1.0927357 1.85490248 QF_LIA
Yices2 Model Validation 1.02803738 14.06711398 QF_RDL
OpenSMT 1.01381215 1.17391999 QF_LRA
Bitwuzla 1.00667369 2.17918592 QF_BV
Yices2 Model Validation 1.0 2.14728184 QF_LIRA

Parallel Performance

Solver Correct Score Time Score Division
Yices2 Model Validation 1.1040724 3.69005962 QF_IDL
CVC4-mv 1.0927357 1.85741325 QF_LIA
Yices2 Model Validation 1.02803738 14.06627461 QF_RDL
OpenSMT 1.01381215 1.17598456 QF_LRA
Bitwuzla 1.00262375 1.43850991 QF_BV
Yices2 Model Validation 1.0 2.14716827 QF_LIRA

n Non-competing.