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



Solver Time Result
quabs-minisat599.71FAIL
quabs-picosat599.71FAIL
qsts599.71FAIL
rareqs-nn599.71FAIL
xb-bid-qsts599.71FAIL
xb-qsts599.72FAIL
ghostq-cegar600.01FAIL
ghostq-plain600.01FAIL