MaxSAT Evaluation 2022
Affiliated with SAT 2022   ·   August 2-5   ·   Haifa, Israel

Execution Environment

The main tracks (complete and incomplete) will be run on the StarExec cluster. The maching specifications for the StarExec cluster compute nodes are available here.

The special track on incremental MaxSAT will be run on a separate computing cluster of University of Helsinki, Finland, with the following specifications:

  • Intel(R) Xeon(R) CPU E5-2670 0 @ 2.60GHz
  • 57GB RAM
  • Red Hat Enterprise Linux 8.5
  • GCC 10.2.0
  • GNU libc 2.28