Families of MaxSat Instances submitted to the MaxSat evaluations

Almost all of these instances are in the master set except for a few instances. The original submitted files have been standardized. In some cases the submitted collections contained duplicates with different file names. The files names have been preserved but duplicates replaced by symlinks to a single file.

Note, the master collection must be downloaded and unzipped first. This file unzips into subdirectory called maxsat-instances

Instances from submitted families.