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



Solver Time Result
qsts0.05SAT
quabs-minisat0.37SAT
quabs-picosat0.41SAT
xb-bid-qsts0.82SAT
xb-qsts0.82SAT
ghostq-plain0.98SAT
ghostq-cegar1.46SAT
rareqs-nn102.82SAT