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



Solver Time Result
xb-bid-qsts0.05SAT
xb-qsts0.05SAT
ghostq-plain6.86UNSAT
ghostq-cegar16.66UNSAT
rareqs-nn599.61FAIL
quabs-minisat599.71FAIL
quabs-picosat599.71FAIL
qsts599.71FAIL