- August 1: Benchmarks submitted to the MSE18 are available in a single file.
- July 21: MSE18 solver and benchmark descriptions are available.
- July 21: Slides of the MSE18 presentation at SAT'18 are available.
- July 21: Solver sources are available for download.
- July 21: Benchmarks used in the evaluations are available.
- July 12: Results of the evaluations are available.
- May 29: Submission deadline for both solvers and benchmarks extended to June 7.
- April 12: Webpage online.
About MSE 2018
The 2018 MaxSAT Evaluation (MSE 2018) is the 13th 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 2018 (MSE 2018) are
- to assess the state of the art in the field of MaxSAT solvers,
- to collect and re-distribute a heterogeneous MaxSAT benchmark set for further scientific evaluations, and
- to promote MaxSAT as a viable option for solving instances of a wide range of NP-hard optimization problems.
MSE 2018 welcomes contributions of two types from the community at large:
- New MaxSAT benchmarks encoding instances of interesting NP-hard optimization problems, and
- implementations of MaxSAT solvers that will be evaluated within MSE 2018 on a heterogeneous collection of benchmarks.
MSE 2018 is run as a collaboration between Carnegie Mellon University (USA), University of Helsinki (Finland), and University of Toronto (Canada).