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



Solver Time Result
qsts0.22UNSAT
rareqs-nn599.31FAIL
xb-qsts599.31FAIL
xb-bid-qsts599.43FAIL
ghostq-plain599.52FAIL
ghostq-cegar599.53FAIL
quabs-minisat599.71FAIL
quabs-picosat599.71FAIL