[SMT-LIB] Final Benchmarks

[Domagoj Babic]

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/