Sota solver results for family Tree
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.


InstanceSolverResultTime
tree-exa10-10caqe-minisat-parSAT0
tree-exa10-30caqe-minisat-parSAT0
tree-exa2-10caqe-minisat-parUNSAT0
tree-exa2-20caqe-minisat-parUNSAT0
tree-exa2-25caqe-minisat-parUNSAT0
tree-exa2-30caqe-minisat-parUNSAT0
tree-exa2-35caqe-minisat-parUNSAT0
tree-exa2-40caqe-picosat-parUNSAT0
tree-exa2-45caqe-minisat-parUNSAT0
tree-exa2-50caqe-minisat-parUNSAT0