Execution Environment

The preliminary plan (subject to changes) is to execute ICCMA 2023 at a computing cluster of University of Helsinki, Finland, with the following specifications:

• 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

Resource Limits

The memory limit is 16GB per instance for all tracks.

The time limit for all but the approximate and no-limit tracks is 1200 seconds CPU time per instance. For the approximate tracks, the time limit is 60 seconds CPU time and for the no-limits track it is 1200 seconds wall-clock time per instance.