MaxSAT Evaluation 2017
Affiliated with SAT 2017   ·   August 28 - September 1   ·   Melbourne, Australia

Execution Environment

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

Resource Limits

Main tracks: Per-instance time limit of 3600 seconds (1 hour), per-instance memory limit of 32 GB. Note that if the number of submissions is large we may have to use 1800 seconds as a per-instance time limit.

Incomplete track: Two distinct per-instance time limits: 60 seconds and 300 seconds. Per-instance memory limit of 32 GB.