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

Biggest Lead Ranking- Challenge Track (incremental)

Page generated on 2019-07-23 17:57:31 +0000

Winners

Parallel Performance
Yices 2.6.2 Incremental

Parallel Performance

Solver Correct Score Time Score Division
Yices 2.6.2 Incremental 1.89130435 4.78770879 QF_AUFBV
Boolector (incremental) 1.0776699 7.16597099 QF_BV
Boolector (incremental) 1.03816794 14.35677401 QF_ABV

n Non-competing.