From 6c63dfa53b04e01bf8139bacc56387a5f78d4ae0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 14 Dec 2017 16:56:32 +0100 Subject: [PATCH] Add configuration This adds our most successful generate-and-check configuration, but without preprocessing by Fast Downward. --- configurations.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/configurations.yml b/configurations.yml index 84d1bdeba..a63d4fd2e 100644 --- a/configurations.yml +++ b/configurations.yml @@ -175,3 +175,7 @@ configurations: - id: "gc-ta7-tt1" options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd7, *testTimes1] instanceSets: ["lpnmr-first-plan-not-serializable"] + +- id: "no-fd-gc-ta1-tt1" + options: [*basics, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1] + instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"]