SMT-COMP 2019

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Papers
Benchmark Submission
Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

Previous Competitions

SMT-LIB

QF_ABV (Unsat Core Track)

Competition results for the QF_ABV division in the Unsat Core Track.

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

Benchmarks: 1865
Time Limit: 2400 seconds
Memory Limit: 60 GB

Winners

Sequential PerformanceParallel Performance
Yices 2.6.2Yices 2.6.2

Sequential Performance

Solver Error Score Correct Score CPU Time Score Wall Time ScoreTimeout Memout
Z3n 0 189583 66031.008 66039.45221 0
2018-Yices (unsat core)n 0 187918 46606.165 46622.34213 0
Yices 2.6.2 0 187871 48866.196 48869.9214 0
CVC4-uc 0 173705 82518.546 82508.93930 0

Parallel Performance

Solver Error Score Correct Score CPU Time Score Wall Time ScoreTimeout Memout
Z3n 0 189583 66036.458 66038.10221 0
2018-Yices (unsat core)n 0 187918 46608.185 46621.83213 0
Yices 2.6.2 0 187871 48871.366 48869.3914 0
CVC4-uc 0 173705 82529.056 82507.56930 0

n Non-competing.