The First Evaluation of Max-SAT Solvers (MaxSAT-2006) is organized as an affiliated event of the Ninth International Conference on Theory and Applications of Satisfiability Testing (SAT-2006).
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.
|Submission of benchmarks||April 3rd, 2006|
|First submission of solvers||April 3rd, 2006|
|Testing and bug fixing||April 10th-30th, 2006|
|Submission of definitive solvers||May 5th, 2006|
|Results of the evaluation||August 12th-15th, 2006|
In the first evaluation we will focus the attention on exact solvers. We plan to allow non-exact solvers in future evaluations.
There will be two categories:
Benchmark instances should be submitted in DIMACS CNF format and weighted CNF format (see details), and submitted solvers should be able to read that format (see details). Submissions should be sent by e-mail to email@example.com.
Benchmarks should be submitted in a tar.gz file along with a short description of the instances. Instances used in the evaluation will be selected among the instances submitted, and will not be published in advance.
In the first submission of solvers, you should send a description of the solver and the affiliation of the authors, but not the solver itself. A few days after the submission, you will receive a sample of the submitted instances that will allow you to test your solver and fix possible bugs.
In the submission of definitive solvers, you should send an executable, statically linked, version of your solver.
Only one version of the same solver will be accepted for each category. For each instance and solver there will be a time limit between 15 and 30 minutes, depending on the number of submitted solvers. Assessment of solvers will be based on the number of successfully solved instances and the time needed to solve them.
Solvers will run on machines with the following specification:
Josep Argelich, University of Lleida, Spain
Chu Min Li, University of Picardie, France
Felip Manya, IIIA-CSIC, Spain
Jordi Planes, University of Lleida, Spain
To reach the organizers, send an e-mail to firstname.lastname@example.org.