Results for instance ev-pr-8x8-15-7-0-1-2-lg
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
qsts284.2FAIL
ghostq-plain370.52FAIL
ghostq-cegar429.83FAIL
rareqs-nn599.21FAIL
xb-qsts599.31FAIL
xb-bid-qsts599.32FAIL
quabs-minisat599.71FAIL
quabs-picosat599.71FAIL