[Smtcomp-discussion] Benchmarks for SMT competition

[Indranil S. <sah...@gm...>]

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