Instances of family Tree solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
tree-exa2-25UNSAT0
tree-exa2-35UNSAT0
tree-exa2-15UNSAT0
tree-exa2-20UNSAT0
tree-exa10-10SAT0
tree-exa2-45UNSAT0
tree-exa2-40UNSAT0
tree-exa2-30UNSAT0.01
tree-exa2-10UNSAT0.01
tree-exa2-50UNSAT0.01
tree-exa10-15SAT0.19
tree-exa10-20SAT6.9
tree-exa10-25SAT248.85
tree-exa10-30FAIL863.4