The Quantified Boolean Formulas Satisfiability Library

  • Home
  • Instances
  • Solvers
  • Generators
  • QBF Evaluations
NEW!! Download the library
Tweets by @QbflibQbfeval

Detail page for mA-t2-7qbf-5cnf-20var-40cl family

Download (12 Kb)
Submitter:Armando Tacchella
Suite:Tacchella
Domain:Model A
Description:
Number of instances:10
Results:
    Instances:
    • 7qbf-5cnf-20var-40cl.0
    • 7qbf-5cnf-20var-40cl.1
    • 7qbf-5cnf-20var-40cl.2
    • 7qbf-5cnf-20var-40cl.3
    • 7qbf-5cnf-20var-40cl.4
    • 7qbf-5cnf-20var-40cl.5
    • 7qbf-5cnf-20var-40cl.6
    • 7qbf-5cnf-20var-40cl.7
    • 7qbf-5cnf-20var-40cl.8
    • 7qbf-5cnf-20var-40cl.9

      Contact | Organization | Links | Citing QBFLIB