Instances of family Tree solved by qube4.0
QBFEVAL'06

InstanceResultTime
tree-exa2-50UNSAT0