From 267263e45eb95c4c2ab5764101057f65f82a4c9f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Wed, 14 Feb 2018 17:07:20 +0100 Subject: [PATCH] Add multiple clasp search configurations --- configurations.yml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/configurations.yml b/configurations.yml index 75cd1d589..0a7a29708 100644 --- a/configurations.yml +++ b/configurations.yml @@ -63,6 +63,12 @@ options: - "--test-times=0" testTimes1: &testTimes1 - "--test-times=1" + configurationJumpy: &configurationJumpy + - "--configuration=jumpy -i 0" + configurationFrumpy: &configurationFrumpy + - "--configuration=frumpy -i 0" + configurationTrendy: &configurationTrendy + - "--configuration=trendy -i 0" configurations: - id: "m-mp" @@ -71,3 +77,12 @@ configurations: - id: "gc-ta1-tt1" options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1] instanceSets: ["rintanen-aij-2012-interesting"] +- id: "gc-ta1-tt1-jumpy" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1, *configurationJumpy] + instanceSets: ["rintanen-aij-2012-interesting"] +- id: "gc-ta1-tt1-frumpy" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1, *configurationFrumpy] + instanceSets: ["rintanen-aij-2012-interesting"] +- id: "gc-ta1-tt1-trendy" + options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1, *configurationTrendy] + instanceSets: ["rintanen-aij-2012-interesting"]