SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2014

Rules
Benchmarks
Tools
Specs
Participants
Results
Report

QF_NIA (Main Track)

Competition results for the QF_NIA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 8327 (total = 9359, unknown status = 927, trivial = 105)

Division COMPLETE: The winner is AProVE

SolverErrors Solved Not Solved Remaining CPU Time (on solved instances) Weighted Medal Score (weight = 3.920)
Z3n 0 8313 14 0 21332.20 3.907
AProVE 0 8172 155 0 8498.25 3.776
CVC3 0 148 8179 0 31.15 0.001
CVC4 0 33 8294 0 0.50 0.000

n. Non-competitive.