The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
Generators
QBF Evaluations
Tweets by @QbflibQbfeval
Suite Faber-Leone-Maratea-Ricca
Download(68630 Kb)
Submitter:
Marco Maratea
Description:
Number of families:
1
Families:
Strategic_Companies (
1060
)
Results:
2017 - Track 5
2016 - Track 8
2010 - Track 4
2006 - Track 1
Contact
|
Organization
|
Links
|
Citing QBFLIB
