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

Competition results for the QF_LRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 1343 (total = 1682, unknown status = 208, trivial = 131)

Division COMPLETE: The winner is CVC4

SolverErrors Solved Not Solved Remaining CPU Time (on solved instances) Weighted Medal Score (weight = 3.128)
CVC4 0 1333 10 0 69426.83 3.082
Yices2 0 1313 30 0 28691.25 2.990
MathSATn 0 1305 38 0 88009.83 2.954
SMTInterpol 0 1298 45 0 88941.60 2.922
veriT 0 1295 48 0 73697.95 2.908
Z3n 0 1222 121 0 108486.36 2.590

n. Non-competitive.