[SMTCOMP] Timeline doubt

[Clark Barrett]

Paulo,

We are still finalizing a couple of new divisions for this year.  Once those
are finalized, we will issue a broad call for benchmarks and solvers.  This
should occur within the next month or so.  We encourage people to submit
solvers early, but we will accept solvers up until August 8.

-Clark

> 
> Hi all,
> 
> Systems should be sent in until 8th August? Seems too late compared to
> last year.
> Still I can't see anything resembling a deadline for solver registration.
> 
> Cheers,
> --
> Paulo Jorge Matos - pocm at sat inesc-id pt
> Web: http://sat.inesc-id.pt/~pocm
> Computer and Software Engineering
> INESC-ID - SAT Group
> 
>