Re: [Smtcomp-discussion] Benchmarks for SMT competition

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

Dear Indranil Saha,

I am responsible to handle the benchmarks submission for the 2015 edition of SMTCOMP. I will work in cooperation with the SMT-LIB maintainers to guarantee that the submitted benchmarks are integrated in a suitable manner.

Are your benchmarks already available? If so, could you make them available on the internet so that I can download them?

Otherwise, the deadline for benchmark submission being May 1st, you still have plenty of time to prepare them. If you need my assistance to do so, please contact me.

Best regards,

— David Deharbe.

> On Feb 12, 2015, at 5:40 PM, Indranil Saha <sah...@gm...> wrote:
> 
> Hello SMTCOMP organizing team,
> 
> 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.
> 
> Thanks,
> Indranil Saha
> ------------------------------------------------------------------------------
> Dive into the World of Parallel Programming The Go Parallel Website, sponsored
> by Intel and developed in partnership with Slashdot Media, is your hub for all
> things parallel software development, from weekly thought leadership blogs to
> news, videos, case studies, tutorials and more. Take a look and join the 
> conversation now. http://goparallel.sourceforge.net/_______________________________________________
> Smtcomp-discussion mailing list
> Smt...@li...
> https://lists.sourceforge.net/lists/listinfo/smtcomp-discussion