Instances of family Tree solved by squeezebf+struqs
QBFEVAL'16 - 2QBF Track.

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