diff --git a/configurations.yml b/configurations.yml index 01cec24fe..2fd1985b2 100644 --- a/configurations.yml +++ b/configurations.yml @@ -68,6 +68,6 @@ configurations: - id: "m-mp" options: [*basics, *madagascarMp] instanceSets: ["rintanen-aij-2012-interesting"] -#- id: "gc-ta1-tt1" -# options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1] -# instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable", "rintanen-aij-2012"] +- id: "gc-ta1-tt1" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1] + instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable", "rintanen-aij-2012"]