MaxSAT Evaluation 2019
Affiliated with SAT 2019   ·   July 7-12   ·   Lisbon, Portugal

    NEWS

    • Solver and benchmark descriptions from the evaluation are available: http://hdl.handle.net/10138/306989
    • August 16: Solver sources are available for download.
    • August 16: Extended results and benchmarks for the incomplete tracks are available.
    • August 15: Slides of the MSE19 presentation at SAT'19 are available.
    • August 13: Extended results and benchmarks for the complete track are available.
    • July 12: Summary of the results of the evaluations are available.
    • June 7: Solver submission deadline postponed until June 11. This is a firm deadline for all solvers aiming to participate.
    • February 11: Preliminary webpage online. Details on tracks, solver submissions and rules to be updated shortly. MSE 2019 will mostly follow MSE 2018.

    About MSE 2019

    The 2019 MaxSAT Evaluation (MSE 2019) is the 14th edition of MaxSAT evaluations, the primary competition-style event focusing on the evaluation of MaxSAT solvers organized yearly since 2006.

    The main goals of MaxSAT Evaluation 2019 (MSE 2019) are

    1. to assess the state of the art in the field of MaxSAT solvers,
    2. to collect and re-distribute a heterogeneous MaxSAT benchmark set for further scientific evaluations, and
    3. to promote MaxSAT as a viable option for solving instances of a wide range of NP-hard optimization problems.

    MSE 2019 welcomes contributions of two types from the community at large:

    1. New MaxSAT benchmarks encoding instances of interesting NP-hard optimization problems, and
    2. implementations of MaxSAT solvers that will be evaluated within MSE 2019 on a heterogeneous collection of benchmarks.

    MSE 2019 is run as a collaboration between Carnegie Mellon University (USA), University of Helsinki (Finland), and University of Toronto (Canada).