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



Solver Time Result
xb-qsts0.4SAT
xb-bid-qsts0.41SAT
quabs-minisat599.71FAIL
quabs-picosat599.71FAIL
qsts599.71FAIL
rareqs-nn599.71FAIL
ghostq-cegar599.81FAIL
ghostq-plain599.81FAIL