diff --git a/configurations.yml b/configurations.yml index 3fc2a1e26..b964986ad 100644 --- a/configurations.yml +++ b/configurations.yml @@ -3,6 +3,7 @@ options: - "--stats" - "--verbose" - "--print-call" + - "-m 8192" fastDownwardPreprocessing: &fastDownwardPreprocessing - "--translate" plannerSequential: &plannerSequential