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



Solver Time Result
qsts0.08UNSAT
xb-bid-qsts10.05SAT
xb-qsts10.06SAT
rareqs-nn599.52FAIL
ghostq-cegar599.71FAIL
ghostq-plain599.71FAIL
quabs-minisat599.71FAIL
quabs-picosat599.81FAIL