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: Tjark W. <tja...@it...> - 2015-03-17 17:10:07
|
On Tue, 2015-03-17 at 18:00 +0100, Matthias Heizmann wrote: > Will it increase the chances for including the unsat core track if I submit > benchmarks for the unsat core track soon? New benchmarks certainly won't hurt; but additional expressions of interest by other users and/or solver developers would be even more persuasive in my (personal) view. Best, Tjark |