Instances of family Tree solved by yQuaffle
QBFEVAL'05

InstanceResultTime
tree-exa2-10UNSAT0
tree-exa2-20UNSAT0
tree-exa2-45UNSAT0
tree-exa2-40UNSAT0
tree-exa2-30UNSAT0
tree-exa2-35UNSAT0
tree-exa2-15UNSAT0.01
tree-exa10-10SAT0.01
tree-exa2-50UNSAT0.01
tree-exa10-15SAT0.01
tree-exa2-25UNSAT0.01
tree-exa10-20SAT0.04
tree-exa10-25SAT0.68
tree-exa10-30SAT38.4