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

Call for Benchmarks

MaxSAT Evaluation invites submission of collections of MaxSAT instances in the standard WCNF submission format.

Submission Procedure

  • A benchmark submission should consist of a single zip or gzipped tar package, containing the WCNF instance files and a description of the benchmarks.
  • Please use appropriate file naming conventions. Ideally, each instance file name should contain a short descriptive part for the problem domain as well as the parameters used for generating the instance as applicable.
  • The benchmark description description must be formatted in IEEE Proceedings style, and submitted as PDF. The description should include author information with affiliations, a description of the problem domain in question, a description of the parameters used for generating the instances, and the file name convention. References should be used as appropriate.

The benchmark descriptions will be posted on the MaxSAT Evaluation 2017 website. Furthermore, the organizers are considering publishing the collection of system and benchmark descriptions as a report under the report series of Department of Computer Science, University of Helsinki (with ISSN and ISBN numbers).

Please submit benchmarks by email to using the subject title "MSE17 benchmark submission" by June 30 the latest.