Instances of family Tree solved by depqbf-v1
QBFEVAL'16 - 2QBF Track.

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