Instances of family Tree solved by aqua-s2v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
tree-exa2-40UNSAT0
tree-exa10-30SAT0
tree-exa2-30UNSAT0
tree-exa2-45UNSAT0
tree-exa2-35UNSAT0
tree-exa2-25UNSAT0
tree-exa2-10UNSAT0
tree-exa2-20UNSAT0
tree-exa10-10SAT0
tree-exa2-50UNSAT0