Re: [Smtcomp-discussion] [SMT-COMP] SMT-COMP 2015: Call for Comments, Benchmarks, Solvers

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

Matthias,

On Tue, 2015-03-17 at 17:18 +0100, Matthias Heizmann wrote:
> I would like to contribute new benchmarks for this year's competition.

Excellent. We are looking forward to receiving your benchmarks.

> 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).

Note that we have not yet made a final decision on whether an unsat core
track will be included in SMT-COMP this year.

> When do you need these benchmarks?

The deadline for benchmark submission (has not been finalized yet, but)
will likely be around May 1. Earlier submission is encouraged (and
appreciated).

Best,
Tjark