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



Solver Time Result
qsts0.08UNSAT
quabs-minisat2.92SAT
quabs-picosat4.24SAT
xb-qsts10.2SAT
xb-bid-qsts10.53SAT
ghostq-cegar33.25SAT
ghostq-plain39.22SAT
rareqs-nn483.5SAT