Detail page for benchmark DeQuBlRaGe_800_1500_3545957297944811252.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: