[SMT-LIB] update on SMTCOMP 2014; deadline changes, benchmarks, rules

[David Cok]

PS. I should have added that based on informal preliminary statements of 
intentions, we expect about a dozen solvers participating in the 
competition, including some brand-new participants and some who have not 
participated for a few years. Welcome to all. It will be a robust 
competition.

- David

On 5/19/2014 11:49 AM, David Cok wrote:
> Preparations for SMTCOMP 2014 are in full swing:
>
> - Per requests, we have adjusted the deadlines. In particular the 
> initial solver deadline is now June 1 and the final deadline is June 
> 15. This allows more time for solver preparation and adapting solvers 
> to the StarExec framework. Also the organizers will use the time to 
> curate the many new benchmarks that have been submitted and to improve 
> and test the competition infrastructure.
>
> - The revised rules are now posted to the competition website. It 
> contains the revised deadlines and the details of competition scoring 
> for the FLoC Olympic Games. Comments are still welcome until the June 
> 1 solver deadline.
>
> - The deadline for new benchmarks was May 15. We received 
> contributions from many sources - thanks to all contributors. More 
> details on the size and content of the benchmark set will be provided 
> once we curate and enter them all.
>
> David Cok
> for the organizers