Max-SAT 2012

Seventh Max-SAT Evaluation

Welcome. Please log in or sign up.

Machine Specifications

Only two versions of the same solver will be accepted for each category. For each instance and solver there will be a time limit of 30 minutes. 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:

  • Operating System: Rocks Cluster 5.2 Linux 2.6.18
  • Processor: AMD Opteron 242 Processor, 1.5 GHz
  • Memory: 450 MB
  • Cache: 1024 KB
  • Compilers: GCC 4.1.2 javac JDK 1.6.0
Django Powered || Last modified: Feb 7th, 2012.