Max-SAT 2012

Seventh Max-SAT Evaluation

Welcome. Please log in or sign up.

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 four categories:

  • Max-SAT category: The input formula will be a CNF formula.
  • Weigthed Max-SAT category: The input formula will be a CNF formula in which each clause has a weight.
  • 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.

Django Powered || Last modified: Feb 7th, 2012.