The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Qshifter family
Download (5080 Kb)
Submitter:
Pan
Suite:
Pan
Domain:
Miscellanea
Description:
Number of instances:
6
Results:
2018 - Track 2
2017 - Track 2
2016 - Track 1
2016 - Track 2
2016 - Track 3
2016 - Track 5
2016 - Track 6
2016 - Track 7
2010 - Track 2
2008 - Track 1
2007 - Track 1
2006 - Track 1
2005 - Track 1
Instances:
qshifter_3
qshifter_4
qshifter_5
qshifter_6
qshifter_7
qshifter_8
Contact
|
Organization
|
Links
|
Citing QBFLIB