Detail page for SAT family

Download (12 Kb)
Submitter: SAT Competition 2005
Suite:SAT_competition_2005
Domain:Miscellanea
Description: Some benchmarks from the set sabharwal05 of the SAT competition 2005.
Number of instances:21
Results:
    Instances: