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

UFNIA (Main Track)

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

Competition benchmarks = 2319
Competition industrial benchmarks = 2319

Non-Competitive division

Sequential Performance

SolverErrors Corrects CPU
CVC3 0 1170 1049725.37
CVC4 0 2173 684800.76
CVC4 (exp) 0 2170 693239.32
z3n 0 2114 356919.77

Sequential Performance (industrial)

SolverErrors Corrects CPU
CVC3 0 1170 1049725.37
CVC4 0 2173 684800.76
CVC4 (exp) 0 2170 693239.32
z3n 0 2114 356919.77

Parallel Performance

SolverErrors Corrects CPU WALL
CVC3 0 1170 1050619.62 1057518.57
CVC4 0 2173 684992.04 688720.55
CVC4 (exp) 0 2171 693597.32 696830.87
z3n 0 2114 357005.99 357023.65

Parallel Performance (industrial)

SolverErrors Corrects CPU WALL
CVC3 0 1170 1050619.62 1057518.57
CVC4 0 2173 684992.04 688720.55
CVC4 (exp) 0 2171 693597.32 696830.87
z3n 0 2114 357005.99 357023.65

Other Information

Solver Not Solved Remaining
CVC3 1149 0
CVC4 146 0
CVC4 (exp) 148 0
z3n 205 0

n. Non-competitive.