Detail page for benchmark DeQuBlRaGe_28_57_3551281699345079872.dqdimacs


Download(0 Kb)
Submitter:Ankit Shukla
Suite:Kullmann-Shukla
Family:(D)-QBF_Autarkies
Domain:Miscellanea
Structure:Fixed
Classification:
  • 2020 - Track 4 : MEDIUM
    Description:

    Results: