SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2015

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

BV (Main Track)

Competition results for the BV division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 85
Competition industrial benchmarks = 85

Non-Competitive division

Sequential Performance

SolverErrors Corrects CPU
CVC3 0 0 66322.94
CVC4 0 82 8519.90
CVC4 (exp) 0 82 8520.01
z3n 0 85 11.88

Sequential Performance (industrial)

SolverErrors Corrects CPU
CVC3 0 0 66322.94
CVC4 0 82 8519.90
CVC4 (exp) 0 82 8520.01
z3n 0 85 11.88

Parallel Performance

SolverErrors Corrects CPU WALL
CVC3 0 0 66333.94 66350.66
CVC4 0 82 8521.55 8520.46
CVC4 (exp) 0 82 8521.82 8520.45
z3n 0 85 11.88 11.90

Parallel Performance (industrial)

SolverErrors Corrects CPU WALL
CVC3 0 0 66333.94 66350.66
CVC4 0 82 8521.55 8520.46
CVC4 (exp) 0 82 8521.82 8520.45
z3n 0 85 11.88 11.90

Other Information

Solver Not Solved Remaining
CVC3 85 0
CVC4 3 0
CVC4 (exp) 3 0
z3n 0 0

n. Non-competitive.