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



Solver Time Result
qsts0.07UNSAT
quabs-minisat0.25UNSAT
quabs-picosat0.58UNSAT
xb-bid-qsts1.32SAT
xb-qsts1.34SAT
ghostq-plain2.14UNSAT
ghostq-cegar2.47UNSAT
rareqs-nn15.63UNSAT