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



Solver Time Result
xb-bid-qsts0.07SAT
xb-qsts0.07SAT
ghostq-cegar4.67UNSAT
ghostq-plain5UNSAT
quabs-picosat18.71UNSAT
quabs-minisat45.64UNSAT
rareqs-nn289.15UNSAT
qsts599.81FAIL