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: