The Quantified Boolean Formulas Satisfiability Library

  • Home
  • Instances
  • Solvers
  • Generators
  • QBF Evaluations
Tweets by @QbflibQbfeval

Suite Mangassarian-Veneris

Download(264545.78 Kb)
Submitter: Hratch Mangassarian
Description:
Number of families: 2
Families:
  • BMC (132)
  • Debug (38)
    Results:
    • 2017 - Track 1
    • 2017 - Track 2
    • 2016 - Track 1
    • 2016 - Track 2
    • 2016 - Track 5
    • 2016 - Track 6
    • 2016 - Track 7
    • 2010 - Track 1
    • 2008 - Track 1
    • 2007 - Track 1


    Contact | Organization | Links | Citing QBFLIB