Master Set of MaxSat Instances

The master collection of over 30,000 instances occupying 61GB when unzipped (more space than this will be required if the individual instances are uncompressed). This collection contains no symlinks and no duplicated instances. It includes all instances used in recent evaluations. The collection is divided into unweighed and weighted categories, and different families of instances within each category. Each category or family can be downloaded individually.

Unweighted instances.

To download the unweighted instances you can use the following commands:

  1. Change to a directory where you want to store the instances. The instances will be unzipped into a subdirectory called maxsat-instances
  2. Run the following wget command
  3. wget -r -nd -np -erobots=off http://www.cs.toronto.edu/maxsat-lib/maxsat-instances/downloads/unweighted/ -A zip
  4. Unzip all of the downloaded zip files. They will unzip into the maxsat-instances directory

Weighted instances.

To download the weighted instances you can use the following commands:

  1. Change to a directory where you want to store the instances. The instances will be unzipped into a subdirectory called maxsat-instances
  2. Run the following wget command
  3. wget -r -nd -np -erobots=off http://www.cs.toronto.edu/maxsat-lib/maxsat-instances/downloads/weighted/ -A zip
  4. Unzip all of the downloaded zip files. They will unzip into the maxsat-instances directory