Detail page for benchmark horn_400CNF1760_2aQBF_846


Download(85.4 Kb)
Submitter:Florian Letombe
Suite:Letombe
Family:horn
Domain:qHorn
Structure:Probabilistic
Classification:
  • 2005 - Track 1 : MEDIUM HARD
    Description:

    Results: