[SMT-LIB] Final Benchmarks

[Clark Barrett]

Aaron is right--solvers must be submitted by June 25.

To respond to your other concern--this is why I posted the new bitvector theory
and logic early.  After posting the new benchmarks, I asked if anyone is
concerned and so far I haven't gotten any responses...

-Clark

> 
> Hi Clark,
> 
> On 6/14/07, Clark Barrett <barrett at cs.nyu.edu> wrote:
> > This has been fixed.
> > -Clark
> 
> Thx for fixing it quickly. QF_BV benchmarks now pass all the checks in
> my parser.
> 
> Question:
> In the original competition announcement you said that the deadline for
> system descriptions is June 25th:
> 
>    * June 25:   Final system descriptions due, with magic numbers for
>                 pseudo-random selection of benchmarks.
> 
> but when's the deadline for solver submissions? If it's also on 25th, that
> leaves only 10 days for people to update their parsers and debug handling
> of expensive operators (mul|div|rem) in the case the benchmarks they used
> before didn't have those operators.
> 
> Thx,
> 
> -- 
>         Domagoj Babic
> 
>         http://www.domagoj.info/
>