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+.