[SMT-COMP] benchmarks and final solvers

[David Cok]

The link to the participants page is 
http://smtcomp.sourceforge.net/2014/participants.shtml
[It did not cut and paste correctly and because it linked to somewhere 
different that the text, it provoked at least my scam detector.] Apologies.

On 6/11/2014 1:55 PM, David Cok wrote:
> SMT Competitors:
>
> 1) The SMT coordinators have processed all of the comments on 
> main-track benchmarks (thanks to Clark and Morgan for work on 
> benchmarks, and to Aaron for resolving issues with StarExec). We 
> believe we have a stable, final version of the benchmarks now 
> available on StarExec. The changes in the past week or so have all 
> been to correct errors in the metadata or the benchmark itself, many 
> of them pointed out by participants in the competition. The benchmarks 
> can be downloaded from StarExec, or for convenience, from 
> http://www.cs.nyu.edu/~barrett/smtlib/ 
> <http://www.cs.nyu.edu/%7Ebarrett/smtlib/> (this may lag changes in 
> StarExec itself).
>
> 2) We are still (a) determining difficulty measurements for a small 
> number of the updated benchmarks and (b) checking the validity of the 
> incremental benchmarks.
>
> 3) You are all aware, I'm sure of the deadline on Sunday for the final 
> versions of the solvers. Please be sure to
> a) check that the chart at 
> http://smtcomp.sourceforge.net/2014/participants.shtml is accurate 
> with respect to your submission (in particular which logics you have 
> entered)
> b) upload your solver, make sure it is visible to the organizers, and 
> email us the id by the deadline. Early submissions will be much 
> appreciated.
>
> Best,
>
> The organizers: David, David, Tjark