MaxSat 2020 Submitted Benchmarks Weighted Instances

Families

The unweighted instances are divided into the following families.

Downloads

To download all 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
• wget -r -nd -np -erobots=off http://www.cs.toronto.edu/maxsat-lib/maxsat-instances/2020/weighted/ -A zip
• Unzip all of the downloaded zip files. They will unzip into the current directory as separate directories for each family. (Not yet integrated with the master collection)

The following links will allow you to download the instances from individual families. These also will unzip into the current directory.

1. binaryNN_sakai
2. csg_xiaojuan
3. max-prob-min-cuts_barrere
4. railroad_reisch
5. RBAC_marco.mori
6. scSequencing_Mehrabadi
7. security-witness_paxian
8. setcover-rail_zhendong