Re: [Smtcomp-discussion] [SMT-COMP] SMT-COMP 2015: Call for Comments, Benchmarks, Solvers
Tools and documentation of the annual SMT competition
Brought to you by:
webertj
From: Matthias H. <hei...@in...> - 2015-03-17 16:34:12
|
Hi, On Sunday 08 February 2015 16:18:21 Tjark Weber wrote: > If you have benchmarks that you think would be useful to SMT-LIB and > SMT-COMP (and may be made public), please let us know as soon as > possible, even if the material is not quite ready. We will work in > close cooperation with the SMT-LIB maintainers to include such > benchmarks in the SMT-LIB in time to be taken into account for the > competition. The deadline for benchmarks to be used in the 2015 > competition will be announced when the schedule and rules are > finalized. sorry for the late reply. I would like to contribute new benchmarks for this year's competition. I can generate benchmarks from different applications related to software verification. These include .smt2 scripts for the one-shot track, the application track and the unsat core track. (Since we have an application that relies on unsat cores, I like this track very much). Last year I already submitted benchmarks, hence I am a bit familiar with this process. I need some time to prepare the benchmarks. Especially because I would like to submit the (difficult) SMT problems that bother our tools the most. When do you need these benchmarks? Best, Matthias |