SMT-COMP

The International Satisfiability Modulo Theories (SMT) Competition.

GitHub

Home
Introduction
Benchmark Submission
Publications
SMT-LIB
Previous Editions

SMT-COMP

Benchmark submission

To submit new benchmarks, please follow the detailed instructions available at the SMT-LIB benchmark submission repository.

We encourage to distribute benchmarks under the Creative Commons Attribution 4.0 International License, but submitters can specify their own licence in the benchmark itself using the (set-info :license "licence string") command.

If you have any questions please contact one of the SMT-LIB maintainers [1]. Note that the people maintaining the SMT-LIB benchmarks are not in general the same as the ones organizing the competition.

  1. The SMT-LIB benchmark collection is co-managed by