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

AUFLIRA (Main Track)

Competition results for the AUFLIRA division as of Fri Jun 27 16:49:23 EDT 2014
Competition benchmarks = 10791 (total = 20014, unknown status = 168, trivial = 9055)

Division COMPLETE: The winner is CVC4

SolverErrors Solved Not Solved Remaining CPU Time (on solved instances) Weighted Medal Score (weight = 4.033)
Z3n 0 10787 4 0 308.31 4.030
CVC4 0 10683 108 0 29122.58 3.953
CVC3 0 10647 144 0 23941.17 3.926
veriT 0 10189 602 0 303.48 3.596

n. Non-competitive.