Results for instance Umbrella_tbm_14.tex.moduleQ2.1S.000812
QBFEVAL'16 - Prenex non-CNF Track.



Solver Time Result
xb-bid-qsts0.05SAT
xb-qsts0.05SAT
qsts0.17UNSAT
quabs-minisat0.49UNSAT
ghostq-cegar1.57UNSAT
rareqs-nn2.49UNSAT
quabs-picosat2.62UNSAT
ghostq-plain50.26UNSAT