[SMT-COMP] Procedure for the Submission of new Benchmarks

[Tjark Weber]

Paulo,

On Sat, 2018-03-17 at 14:58 +0100, Matthias Heizmann wrote:
> TLDR: Sumit a pull request, but respect the requirements for syntax and
> folder names.

That's one (and perhaps the best) option.

If you don't want to create a pull request, you can also contact one of
the SMT-LIB maintainers (your best choice would probably be Clark
Barrett) with information about your benchmark submission. See
http://smtlib.cs.uiowa.edu/contact.shtml for further details.

You could also contact one of the SMT-COMP organizers (but we would
essentially just forward your submission).

Best,
Tjark