MaxSAT Evaluation 2019
Affiliated with SAT 2019   ·   July 7-12   ·   Lisbon, Portugal

Execution Environment

The evaluation tracks will be run on the StarExec cluster. The maching specifications for the StarExec cluster compute nodes are available here.