source: http://www.maxsat.udl.cat/15/results/index.html
authors: Marius Lindauer
translator in coseal format:  Marius Lindauer

The scenario consists of the instances and solvers from the industrial partial maxsat track of the MAXSAT Competition 2015.
There is no information concerning feature time -- also no time limit on the feature generation was used.
The feature generation was done with the generator from ISAC+.