[Smtcomp-discussion] SMT-LIB benchmarks and SMT-COMP 2015

[David D. <da...@di...>]

Dear Coordinators of the SMT-LIB and Maintainer of the SMT-LIB Benchmarks Repository,

As a responsible for handling the submissions of benchmarks for the 2015 edition of SMT-COMP, I am contacting you to obtain informations on the procedure to get new benchmarks to the SMT-LIB repository. In particular, I would like to know if there is an official tool to check well-formedness of the benchmarks, and a standard way to decide the status of the benchmarks.

We (the SMT-COMP organisers) have established May 1st as deadline for benchmark submissions. We would like to handle such submissions as early as possible so that any problem that may happen can be solved and have as wide a variety of benchmarks as possible for the next edition of our contest. 

Best regards,

— David.