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_AUFNIA (Main Track)

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

Competition benchmarks = 21
Competition industrial benchmarks = 21

Non-Competitive division

Sequential Performance

SolverErrors Corrects CPU
CVC4 0 21 17.97
CVC4 (exp) 0 21 17.97
z3n 0 21 19.23

Sequential Performance (industrial)

SolverErrors Corrects CPU
CVC4 0 21 17.97
CVC4 (exp) 0 21 17.97
z3n 0 21 19.23

Parallel Performance

SolverErrors Corrects CPU WALL
CVC4 0 21 17.97 18.01
CVC4 (exp) 0 21 17.97 18.01
z3n 0 21 19.23 19.23

Parallel Performance (industrial)

SolverErrors Corrects CPU WALL
CVC4 0 21 17.97 18.01
CVC4 (exp) 0 21 17.97 18.01
z3n 0 21 19.23 19.23

Other Information

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

n. Non-competitive.