Sota solver results for family Tree
QBFEVAL'16 - Solver Portfolio Track.


InstanceSolverResultTime
tree-exa10-10caqe-portfolioSAT0.12
tree-exa10-30caqe-portfolioSAT0.12
tree-exa2-10caqe-portfolioUNSAT0.12
tree-exa2-20caqe-portfolioUNSAT0.12
tree-exa2-25caqe-portfolioUNSAT0.12
tree-exa2-30caqe-portfolioUNSAT0.13
tree-exa2-35caqe-portfolioUNSAT0.12
tree-exa2-40caqe-portfolioUNSAT0.12
tree-exa2-45caqe-portfolioUNSAT0.12
tree-exa2-50caqe-portfolioUNSAT0.12