Thread: [Smtcomp-discussion] Benchmarks for SMT competition
Tools and documentation of the annual SMT competition
Brought to you by:
webertj
From: Indranil S. <sah...@gm...> - 2015-02-12 20:40:34
|
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 |
From: Tjark W. <tja...@it...> - 2015-03-16 13:52:20
|
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 |
From: David D. <da...@di...> - 2015-03-16 12:25:29
|
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 |