MaxSAT Evaluation 2018
Affiliated with SAT 2018 at the Federated Logic Conference 2018   ·   July 9-12   ·   Oxford, UK

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 2018 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 an ISSN number).

Please submit benchmarks by email to using the subject title "MSE18 benchmark submission" by May 31 June 7 the latest.