[SMT-LIB] status of LRA benchmarks

[Morgan Deters]

Jochen,

On Mon, Nov 09, 2009 at 07:48:28PM +0100, Jochen Eisinger wrote:
> Did I make a mistake there? How did you classify the LRA benchmarks?

Thanks for the report.  This family was initially classified UNKNOWN
but in preparation for SMT-COMP'09, and since, we've determined the
status for many benchmarks based on agreement of solvers.  Checks
exist to keep benchmarks from incorrectly/hastily being assigned a
status; I'll look into this further to determine if/how an error
occurred in this case.

Thanks,
Morgan
-- 
Morgan Deters
mdeters at cs.nyu.edu