The Quantified Boolean Formulas Satisfiability Library

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

Detail page for Qq3k3k1k1v40v40v40m8 family

Download (0 Kb)
Submitter:Yannet Interian
Suite:Interian
Domain:Chen-Interian
Description:
Number of instances:10
Results:
  • 2006 - Track 1
Instances:
  • Qq3k3k1k1v40v40v40m8s0
  • Qq3k3k1k1v40v40v40m8s1
  • Qq3k3k1k1v40v40v40m8s2
  • Qq3k3k1k1v40v40v40m8s3
  • Qq3k3k1k1v40v40v40m8s4
  • Qq3k3k1k1v40v40v40m8s5
  • Qq3k3k1k1v40v40v40m8s6
  • Qq3k3k1k1v40v40v40m8s7
  • Qq3k3k1k1v40v40v40m8s8
  • Qq3k3k1k1v40v40v40m8s9

    Contact | Organization | Links | Citing QBFLIB