DEVELOPMENT...
Issue | #Downvotes for this reason | By |
---|
cores | Number of available cores. | default: 8 |
max_mem_size_mb | Memory constraint in megabytes. | default: 32768 |
max_runtime_seconds | Maximum runtime in seconds. | default: 14400 |
seed | The random seed. | default: 42 |