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



Solver Time Result
qsts0.01SAT
quabs-minisat0.02SAT
quabs-picosat0.02SAT
ghostq-plain0.18SAT
xb-bid-qsts0.18SAT
xb-qsts0.18SAT
ghostq-cegar0.23SAT
rareqs-nn0.46SAT