The Quantified Boolean Formulas Satisfiability Library

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

Detail page for hwmcc family

Download (0 Kb)
Submitter:Leander Tentrup
Suite:Tentrup
Domain:Miscellanea
Description:
Number of instances:8
Results:
  • 2017 - Track 1
  • 2017 - Track 2
  • 2017 - Track 3
Instances:
  • 6s289rb05233_c0to63.sat
  • beemldelec4b1_c0to127.sat
  • beemldelec4b1_c0to127.unsat
  • beemskbn1f1_c0to7.sat
  • oski3ub5i_c0to255.sat
  • oski3ub5i_c0to255.unsat
  • oski3ub5i_c0to511.sat
  • oski3ub5i_c0to63.sat

    Contact | Organization | Links | Citing QBFLIB