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

[Matthias H. <hei...@in...>]

Hi Tjark,

On Tuesday 17 March 2015 17:26:33 Tjark Weber wrote:
> Note that we have not yet made a final decision on whether an unsat core
> track will be included in SMT-COMP this year.
I know. That was the main reason for to mention that we can provide benchmarks 
for this track.

> > 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).
Ok, I will try to submit (at least some of them) earlier.

Will it increase the chances for including the unsat core track if I submit 
benchmarks for the unsat core track soon?

Best,
Matthias