source: http://maxsat.ia.udl.cat/results/
authors: Rolf-David Bergdoll

PAR10 performances of Eleventh Max-SAT Evaluation, category Weighted Partial 
Max-SAT industrial.

All runtimes were taken from the competition website, using all instances and
(complete) solvers from the category.

The feature generation was done with the generator from ISAC+.

Part of Open Algorithm Challenge 2017 ("Monty").