SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP 2015

Rules
Benchmarks
Tools
Specs
Participants
Results
Slides
Report

SMT-COMP 2015

The 10th International Satisfiability Modulo Theories Competition (SMT-COMP 2015) is part of the SMT Workshop 2015, associated with CAV 2015. The SMT Workshop and the main CAV conference will include a block of time to present the competitors and results of the competition.

News

Key Dates

Organizers

The competition uses the StarExec service, which is hosted at the University of Iowa.