diff --git a/configurations.yml b/configurations.yml index 2fd1985b2..75cd1d589 100644 --- a/configurations.yml +++ b/configurations.yml @@ -70,4 +70,4 @@ configurations: 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"] + instanceSets: ["rintanen-aij-2012-interesting"]