Instances of family Tree solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
tree-exa10-30SAT0.12
tree-exa2-45UNSAT0.12
tree-exa2-35UNSAT0.12
tree-exa2-25UNSAT0.12
tree-exa2-10UNSAT0.12
tree-exa2-20UNSAT0.12
tree-exa10-10SAT0.12
tree-exa2-50UNSAT0.12
tree-exa2-40UNSAT0.12
tree-exa2-30UNSAT0.13