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

QF_UFNIA (Main Track)

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

Competition benchmarks = 7
Competition industrial benchmarks = 7

Non-Competitive division

Sequential Performance

SolverErrors Corrects CPU
CVC3 0 0 0.06
CVC4 0 7 0.05
CVC4 (exp) 0 7 0.04
z3n 0 7 0.24

Sequential Performance (industrial)

SolverErrors Corrects CPU
CVC3 0 0 0.06
CVC4 0 7 0.05
CVC4 (exp) 0 7 0.04
z3n 0 7 0.24

Parallel Performance

SolverErrors Corrects CPU WALL
CVC3 0 0 0.06 0.06
CVC4 0 7 0.05 0.06
CVC4 (exp) 0 7 0.04 0.06
z3n 0 7 0.24 0.25

Parallel Performance (industrial)

SolverErrors Corrects CPU WALL
CVC3 0 0 0.06 0.06
CVC4 0 7 0.05 0.06
CVC4 (exp) 0 7 0.04 0.06
z3n 0 7 0.24 0.25

Other Information

Solver Not Solved Remaining
CVC3 7 0
CVC4 0 0
CVC4 (exp) 0 0
z3n 0 0

n. Non-competitive.