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 . Note that the people maintaining the SMT-LIB benchmarks are not in general the same as the ones organizing the competition.