Instances of family Tree solved by qbfbdd
QBFEVAL'05

InstanceResultTime
tree-exa10-10SAT0.01
tree-exa10-15SAT0.03
tree-exa2-10UNSAT0.13
tree-exa10-20SAT0.18
tree-exa10-25SAT1.31
tree-exa10-30SAT63.5
tree-exa2-15FAIL900.43
tree-exa2-40FAIL900.99
tree-exa2-25FAIL901
tree-exa2-35FAIL901
tree-exa2-20FAIL901
tree-exa2-50FAIL901
tree-exa2-30FAIL901
tree-exa2-45FAIL901.01