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

Largest Contribution Ranking - Model Validation Track

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

Winners

Sequential Performance Parallel Performance
CVC4-mv CVC4-mv

Sequential Performance

Solver Correct Score Time Score Division
CVC4-mv 0.00659857 0.06546506 QF_LIA
Yices2 Model Validation 0.0042494 0.03188941 QF_IDL
Bitwuzla 0.00258886 0.30106396 QF_BV
CVC4-mv 0.00033284 0.01005156 QF_LRA
Yices2 Model Validation 0.000245 0.00827023 QF_RDL
Yices2 Model Validation 0.0 7.578e-05 QF_LIRA

Parallel Performance

Solver Correct Score Time Score Division
CVC4-mv 0.00659857 0.06515996 QF_LIA
Yices2 Model Validation 0.0042494 0.0318911 QF_IDL
Bitwuzla 0.00245218 0.29354561 QF_BV
CVC4-mv 0.00033284 0.01000434 QF_LRA
Yices2 Model Validation 0.000245 0.00826502 QF_RDL
Yices2 Model Validation 0.0 7.578e-05 QF_LIRA

n Non-competing.