Instances of family Tree solved by semprop
QBFEVAL'06

InstanceResultTime
tree-exa2-50UNSAT0