[SMT-LIB] minor updates to benchmarks

[Domagoj Babic]

Hi,

On 6/18/07, Clark Barrett <barrett at cs.nyu.edu> wrote:
> Could it be that your parser doesn't like "and" taking more than two arguments?
> In fact, this is legal SMT-LIB format (if you check the grammar, you'll see
> that "and" and "or" can take any non-zero number of arguments).

Right, it's an AND with 297813 operands :-).

Anyways, all QF_BV benchmarks parse correctly now...

Regards,

-- 
        Domagoj Babic

        http://www.domagoj.info/