Detail page for benchmark DeQuBlRaGe_400_700_3545989440129390151.dqdimacs


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

    Results: