Instances of family Tree solved by QSAT
QBFEVAL'04

InstanceResultTime
tree-exa2-15UNSAT0.01
tree-exa2-25UNSAT0.48
tree-exa2-30UNSAT5.84
tree-exa10-25SAT26.76
tree-exa2-35UNSAT64.32
tree-exa2-40UNSAT725.85
tree-exa10-30FAIL901.01
tree-exa2-45FAIL901.01