MaxSAT Evaluation 2023
Affiliated with SAT 2023   ·     ·   Italy

Execution Environment

The exact main track will be run on the StarExec cluster. The maching specifications for the StarExec cluster compute nodes are available here.

The anytime main track and the special track on incremental MaxSAT will be run on a separate computing cluster of University of Helsinki, Finland, with the following specifications (PRELIMINARY INFO SUBJECT TO CHANGE):

  • 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