Results for instance ev-pr-4x4-13-3-0-0-1-lg
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
ghostq-plain8.85SAT
xb-qsts38.23SAT
xb-bid-qsts38.94SAT
qsts267.83FAIL
rareqs-nn599.61FAIL
quabs-minisat599.71FAIL
ghostq-cegar599.81FAIL
quabs-picosat599.81FAIL