MaxSAT Evaluation 2021
Affiliated with SAT 2021   ·   July 5-9   ·   Barcelona, Spain

Call for Benchmarks

MaxSAT Evaluation invites submission of collections of MaxSAT instances in the standard WCNF submission format. Please note that the organizers are happy to provide advice about getting the benchmarks into the right format, and that we have some tools that can fix up certain problems.

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 2021 website.

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