Instances of family Tree solved by preQuantor
QBFEVAL'06

InstanceResultTime
tree-exa2-50UNSAT0