Instances of family Tree solved by QUANTOR
QBFEVAL'04

InstanceResultTime
tree-exa2-30UNSAT0
tree-exa2-35UNSAT0
tree-exa2-45UNSAT0
tree-exa10-25SAT0
tree-exa2-25UNSAT0
tree-exa2-15UNSAT0
tree-exa2-40UNSAT0
tree-exa10-30SAT0.01