Re: [Smtcomp-discussion] Benchmarks for SMT competition

[Tjark W. <tja...@it...>]

Dear Indranil,

On Thu, 2015-02-12 at 15:40 -0500, Indranil Saha wrote:

> My name is Indranil Saha. I am a postdoc with the ExCAPE project led
> by Prof. Rajeev Alur. I am working on a project where the goal is to
> generate motion plans for a group of robots automatically from LTL
> specifications. I reduce the problem to an SMT solving problem. From
> the project, I have a set of benchmarks that might be interesting for
> the SMT competition. The benchmarks use linear arithmetic and equality
> with uninterpreted functions. If you are interested in such
> benchmarks, please let me know the process of submitting the
> benchmarks and the deadline.

We would be happy to take a look at your benchmarks and, if possible,
integrate them into SMT-LIB in collaboration with the SMT-LIB
maintainers.

Please make your benchmarks available to us (e.g., by providing a URL)
in SMT-LIB v2 format, and in as polished a form as possible.

The deadline for submission of benchmarks to SMT-COMP 2015 will likely
be around May 1. Of course, earlier submissions are welcome.

Best,
Tjark