From 29be306a7d4dc7aafdb0404cfb6f8fc784f53658 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 1 Feb 2018 18:28:09 +0100 Subject: [PATCH] Enable plasp planning configuration --- configurations.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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"]