[SMT-LIB] :status unknown AUFLIA benchmarks

Clark Barrett barrett at cs.nyu.edu
Wed Nov 15 17:21:13 EST 2006


At the time these benchmarks were added to the library, no tool parsimg smt-lib
format could prove these unsat.  I plan to revisit these with updated tools in
the near future.

Is your tool available?  I like to get confirmation from more than one tool
whenever possible.

-Clark Barrett

> 
> 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³
> 
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib
> 
> 



More information about the SMT-LIB mailing list