Max-SAT 2013

Eighth Max-SAT Evaluation



The Eighth Evaluation of Max-SAT Solvers (Max-SAT-2013) is organized as an affiliated event of the 16th International Conference on Theory and Applications of Satisfiability Testing (SAT-2013).

The objective of the evaluation is assessing the state of the art in the field of Max-SAT solvers, as well as creating a collection of publicly available Max-SAT benchmark instances.

The evaluation allows the submission of incomplete solvers in a Special Track, with the same four categories than for complete solvers, but with a reduced number of instances. You may check the Special Track rules for more details.


This year the MaxSat Evaluation is going to be performed in a new machine. Please, check the new hardware specifications.

Complete solvers - Results updated

We detected some enlarged times in the complete solver results due to some cluster misconfiguration. We have rerun all the experimentation again in another cluster and updated the results. We thank Ruben Martins to point out the problem.

The organizers thank the Université de Picardie Jules Verne and the Région Picardie in France for letting us use their computational resources.

Django Powered || Last modified: Feb 1st, 2013.