The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for k_branch_n family
Download (5870 Kb)
Submitter:
Pan
Suite:
Pan
Domain:
Miscellanea
Description:
Number of instances:
21
Results:
2020 - Track 1
2019 - Track 1
2018 - Track 1
2018 - Track 2
2017 - Track 1
2017 - Track 2
2016 - Track 1
2016 - Track 2
2016 - Track 5
2016 - Track 6
2016 - Track 7
2010 - Track 1
2010 - Track 3
2008 - Track 1
2007 - Track 1
2006 - Track 1
2005 - Track 1
2004 - Track 1
Instances:
k_branch_n-1
k_branch_n-10
k_branch_n-11
k_branch_n-12
k_branch_n-13
k_branch_n-14
k_branch_n-15
k_branch_n-16
k_branch_n-17
k_branch_n-18
k_branch_n-19
k_branch_n-2
k_branch_n-20
k_branch_n-21
k_branch_n-3
k_branch_n-4
k_branch_n-5
k_branch_n-6
k_branch_n-7
k_branch_n-8
k_branch_n-9
Contact
|
Organization
|
Links
|
Citing QBFLIB