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"]