The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Suite Biere
Download(9660 Kb)
Submitter:
Armin Biere
Description:
Number of families:
3
Families:
Counter (
88
)
tipdiam (
203
)
tipfixpoint (
446
)
Results:
2020 - Track 1
2019 - Track 1
2018 - Track 1
2018 - Track 2
2018 - Track 5
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
Contact
|
Organization
|
Links
|
Citing QBFLIB