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

Benchmark Sets

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

  • mse17-complete-unweighted-benchmarks.zip (1 GB) link
  • mse17-complete-weighted-benchmarks.zip (3 GB) link
  • mse17-incomplete-unweighted-benchmarks.zip (543 MB) link
  • mse17-incomplete-weighted-benchmarks.zip (418 MB) link