SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2012

Rules
Benchmarks
Tools
Specs
Participants
Results
Report

SMT-COMP 2012 Results

NOTE: SMT-COMP 2012 was divided into four tracks: Main Track (competitive), Application Track (competitive), Unsat Core Track (non-competitive), Exhibition Track (non-competitive). Unfortunately, results data for all tracks but the Main Track is lost.

Individual results pages can be found from this list: