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_AUFLIA (Application Track)

Competition results for the QF_AUFLIA division as of Jul 17 2014
Competition benchmarks = 72 (check-sat commands = 4699864)

Division COMPLETE: The winner is Yices2

Parallel Performance

Solver Errors Solved Not Solved CPU Time
Z3n 0 3244375 1455489 8564.30
MathSATn 0 377 4699487 115202.00
SMTInterpol 0 3244375 1455489 9442.86
CVC4 0 1051256 3648608 38764.30
Yices2 0 3244375 1455489 2182.63

n. Non-competitive.