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

UFBV (Main Track)

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

Competition benchmarks = 71
Competition industrial benchmarks = 71

Non-Competitive division

Sequential Performance

SolverErrors Corrects CPU
CVC3 0 0 26534.40
CVC4 0 69 4760.26
CVC4 (exp) 0 69 4796.48
z3n 0 71 363.81

Sequential Performance (industrial)

SolverErrors Corrects CPU
CVC3 0 0 26534.40
CVC4 0 69 4760.26
CVC4 (exp) 0 69 4796.48
z3n 0 71 363.81

Parallel Performance

SolverErrors Corrects CPU
CVC3 0 0 26541.10 26557.85
CVC4 0 69 4760.92 4760.32
CVC4 (exp) 0 69 4797.31 4796.79
z3n 0 71 363.81 363.76

Parallel Performance (industrial)

SolverErrors Corrects CPU WALL
CVC3 0 0 26541.10 26557.85
CVC4 0 69 4760.92 4760.32
CVC4 (exp) 0 69 4797.31 4796.79
z3n 0 71 363.81 363.76

Other Information

Solver Not Solved Remaining
CVC3 71 0
CVC4 2 0
CVC4 (exp) 2 0
z3n 0 0

n. Non-competitive.