SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2017

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

BV (Main Track)

Competition results for the BV division as of Fri Jul 21 10:18:02 GMT

Benchmarks in this division : 5150
Time Limit: 1200s

Winners

Sequential Performance Parallel Performance
Q3B Q3B

Result table1

Sequential Performance

Solver Error Score Correct Score CPU Time Unsolved
Boolector 0.000 3935.059 227.994 337
CVC4 0.000 3739.053 349.175 432
Q3B 0.000 4103.292 256.403 503
z3-4.5.0n 0.000 4208.878 216.492 236

Parallel Performance

Solver Error Score Correct Score CPU Score WALL Score Unsolved
Boolector 0.000 3978.696 421.307 218.289 326
CVC4 0.000 3739.053 349.399 352.755 432
Q3B 0.000 4138.335 725.453 243.961 494
z3-4.5.0n 0.000 4208.878 216.492 216.499 236

n. Non-competing.

1. Scores are computed according to Section 7 of the rules.