Instances of family Tree solved by xb-qsts
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
tree-exa10-15SAT0
tree-exa10-25SAT0
tree-exa10-10SAT0
tree-exa10-20SAT0
tree-exa10-30SAT0