Results for instance s641_d7_u
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
qsts0.25UNSAT
xb-qsts0.96SAT
xb-bid-qsts0.97SAT
quabs-minisat3.66UNSAT
quabs-picosat13.94UNSAT
ghostq-plain23.63UNSAT
ghostq-cegar26.89UNSAT
rareqs-nn599.71FAIL