Detail page for benchmark strips-gripper-12t23.shuffled-as.sat05-1144-qd


Download(4 Kb)
Submitter: SAT Competition 2005
Suite:SAT_competition_2005
Family:SAT
Domain:Miscellanea
Structure:Fixed
Classification:
    Description:

    Results: