Instances of family Tree solved by qsts
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
tree-exa10-10SAT0
tree-exa2-25UNSAT0.02
tree-exa2-20UNSAT0.02
tree-exa2-35UNSAT0.03
tree-exa2-45UNSAT0.04