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

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