[SMT-LIB] :status unknown AUFLIA benchmarks

Michal Moskal michal.moskal at gmail.com
Tue Nov 14 10:26:21 EST 2006

Previous message: [SMT-LIB] (distinct ...) in AUFLIA/simplify benchmarks
Next message: [SMT-LIB] :status unknown AUFLIA benchmarks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

there are 19 benchmarks in the AUFLIA tarball are marked "unknown". My
prover says there are all unsat (and rather easy except for
AUFLIA/simplify/javafe.PrintSpec.12.smt).

I wonder how was the status determined? Can anyone confirm the unsat status?

-- 
   Michał

Previous message: [SMT-LIB] (distinct ...) in AUFLIA/simplify benchmarks
Next message: [SMT-LIB] :status unknown AUFLIA benchmarks
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the SMT-LIB mailing list