Eleventh Max-SAT Evaluation
|Welcome. Please log in .
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:
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.
|Django Powered || Last modified: Apr. 16th, 2016.