MaxSAT Evaluation 2017
Affiliated with SAT 2017   ·   August 28 - September 1   ·   Melbourne, Australia

Benchmark Sets

A compilation of all descriptions of the individual solvers participating in the evaluation, together with descriptions of contributed benchmarks, is available here [MSE17 proceedings with will be made available on the week of Nov 6.].

The benchmark sets used in the individual evaluation tracks are available via the links below.

  • MSE17 complete unweighted benchmarks (1 GB) link
  • MSE17 complete weighted benchmarks (3 GB) link
  • MSE17 incomplete unweighted benchmarks (543 MB) link
  • MSE17 incomplete weighted benchmarks (418 MB) link