The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Tree family
Download (30 Kb)
Submitter:
Letz
Suite:
Letz
Domain:
Miscellanea
Description:
Number of instances:
14
Results:
2016 - Track 1
2016 - Track 2
2016 - Track 3
2016 - Track 5
2016 - Track 6
2016 - Track 7
2008 - Track 1
2006 - Track 1
2005 - Track 1
2004 - Track 1
Instances:
tree-exa10-10
tree-exa10-15
tree-exa10-20
tree-exa10-25
tree-exa10-30
tree-exa2-10
tree-exa2-15
tree-exa2-20
tree-exa2-25
tree-exa2-30
tree-exa2-35
tree-exa2-40
tree-exa2-45
tree-exa2-50
Contact
|
Organization
|
Links
|
Citing QBFLIB