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



Solver Time Result
ghostq-cegar382.04SAT
rareqs-nn599.52FAIL
xb-bid-qsts599.61FAIL
xb-qsts599.61FAIL
ghostq-plain599.71FAIL
quabs-minisat599.71FAIL
quabs-picosat599.71FAIL
qsts599.71FAIL