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



Solver Time Result
qsts0.04UNSAT
quabs-minisat0.32SAT
quabs-picosat0.4SAT
ghostq-cegar2.51SAT
ghostq-plain4SAT
rareqs-nn206.57SAT
xb-qsts599.61FAIL
xb-bid-qsts599.62FAIL