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



Solver Time Result
ghostq-cegar305.22FAIL
ghostq-plain337.63FAIL
rareqs-nn599.52FAIL
xb-qsts599.52FAIL
xb-bid-qsts599.53FAIL
quabs-minisat599.71FAIL
quabs-picosat599.81FAIL
qsts599.81FAIL