SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Previous Competitions
SMT-LIB

SMT-COMP 2018

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides

BV (Main Track)

Competition results for the BV division as of Fri Jul 13 00:02:11 GMT

Benchmarks in this division : 5751
Time limit: 1200s

Winners

Sequential PerformanceParallel Performance
CVC4CVC4

Result table1

Sequential Performance

Solver Error Score Correctly Solved Score CPU time Score Solved Unsolved
Boolector 0.000 4855.536 200.044 5488 263
CVC4 0.000 5112.622 163.866 5551 200
Q3B 97.845 5087.968 131.952 5397 354
z3-4.7.1n 0.000 4800.838 202.263 5476 275

Parallel Performance

Solver Error Score Correctly Solved Score CPU time Score WALL time Score Solved Unsolved
Boolector 0.0004885.129383.201191.6595498253
CVC4 0.0005112.622164.000169.7835551200
Q3B 97.8455145.308347.674116.8785410341
z3-4.7.1n 0.0004800.838202.264202.2725476275

n. Non-competing.

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