From ef96f76dc2a30b128034e8b6ffd2e5d7d2f1153e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Thu, 1 Feb 2018 21:04:36 +0100 Subject: [PATCH] Fix instance sets By mistake, the instance sets for the plasp planner configuration were incorrect. --- configurations.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"]