- Final results, solvers, benchmarks, solver and benchmark descriptions and slides of the MSE presentation given at SAT'22 are available. .
- May 11: The deadline for submitting solvers and benchmarks has been extended to June 7.
- March 18: IPAMIR has been updated, please download the latest version of the IPAMIR repository. Especially note that the return codes for ipamir_solve() have been fixed to be analogous to IPASIR.
- New for this year:
- Deadline for submitting solvers and benchmarks: June 7.
About MSE 2022
The 2022 MaxSAT Evaluation (MSE 2022) is the 17th 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 2022 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 2022 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 2022 on a heterogeneous collection of benchmarks.
MSE 2022 is run as a collaboration between Carnegie Mellon University (USA), University of Helsinki (Finland), and University of Toronto (Canada).