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