Max-SAT 2016

Eleventh Max-SAT Evaluation

Rules

As in the previous evaluations, we will focus the attention on complete solvers. We have also a Special Track on incomplete solvers. Solvers requiring a commercial software license will not be considered.

There will be three categories:

• Max-SAT category: The input formula will be a CNF formula.
• Partial Max-SAT category: The input formula will be a CNF formula with hard and soft clauses.
• Weigthed Partial Max-SAT category: The input formula will be a CNF formula with hard and weigthed soft clauses.

Benchmark instances should be submitted in an extended DIMACS CNF format (see details), and submitted solvers should be able to read that format (see details).

Benchmarks and solvers should be submitted in a tar.gz or zip file along with a short description in a file with name 'README'. Instances used in the evaluation will be selected among the instances submitted (the organization may decide to not to take some instances from some sets for the sake of uniformity), and will not be published in advance.

In the submission of solvers, you should send an executable, statically linked, version of your solver.

Port-folio solvers will be in the Evaluation results but will not be cosidered for awards.