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
   • Clark Barrett, barrett@cs.stanford.edu
   • Pascal Fontaine, pascal.fontaine@uliege.be
   • Aina Niemetz, niemetz@cs.stanford.edu
   • Mathias Preiner, preiner@cs.stanford.edu
   • Hans-Jörg Schurr, hans-jorg.schurr@inria.fr