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):