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.

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