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

AUFNIRA (Application Track)

Competition results for the AUFNIRA division as of Jul 17 2014
Competition benchmarks = 165 (check-sat commands = 0)

Division COMPLETE: The winner is CVC4

Parallel Performance

Solver Errors Solved Not Solved CPU Time
Z3n 0 0 0 3.52
CVC3 0 0 0 3.41
CVC4 0 0 0 2.99

n. Non-competitive.