Results for instance C5315.blif_0.10_0.20_0_0_out_exact
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
xb-bid-qsts0.34SAT
xb-qsts0.43SAT
rareqs-nn599.61FAIL
quabs-minisat599.71FAIL
ghostq-cegar599.81FAIL
quabs-picosat599.81FAIL
qsts599.81FAIL
ghostq-plain599.91FAIL