From a84a240b65b41ac0df6825674c4f334a0502c61a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Sun, 19 Nov 2017 18:03:55 +0100
Subject: [PATCH] Add LPNMR benchmark configurations

---
 configurations.yaml | 110 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 110 insertions(+)
 create mode 100644 configurations.yaml

diff --git a/configurations.yaml b/configurations.yaml
new file mode 100644
index 000000000..3c4622d35
--- /dev/null
+++ b/configurations.yaml
@@ -0,0 +1,110 @@
+options:
+  basics: &basics
+  - "--stats"
+  - "--verbose"
+  fastDownwardPreprocessing: &fastDownwardPreprocessing
+  - "--translate"
+  plannerSequential: &plannerSequential
+  - "-A 1"
+  plannerA: &plannerA
+  - "-A 16"
+  plannerB: &plannerB
+  plannerC: &plannerC
+  - "-C 1.41"
+  - "-F 5"
+  # parallel actions *without* checking for mutual disablement
+  encoding0: &encoding0
+  - "--parallel=0"
+  # “forall” parallel actions that can be arranged in any sequence
+  encoding1: &encoding1
+  - "--parallel=1"
+  # “exists” parallel actions that can be arranged in some sequence
+  encoding2: &encoding2
+  - "--parallel=2"
+  # “exists” parallel actions omitting achievement of preconditions
+  encoding3: &encoding3
+  - "--parallel=3"
+  # “exists” parallel actions like 3 implemented by acyclicity
+  encoding4: &encoding4
+  - "--parallel=4"
+  # sequential actions
+  encodingSequential: &encodingSequential
+  - "--parallel=5"
+  shallow: &shallow
+  - "--shallow"
+  heuristics: &heuristics
+  - "--heuristic=Domain"
+  - "heuristic.lp"
+  madagascarM: &madagascarM
+  - "--madagascar-M"
+  madagascarMp: &madagascarMp
+  - "--madagascar-Mp"
+  madagascarMpC: &madagascarMpC
+  - "--madagascar-MpC"
+
+configurations:
+- id: "m-m"
+  options: [*basics, *madagascarM]
+  instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"]
+- id: "m-mp"
+  options: [*basics, *madagascarMp]
+  instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"]
+- id: "m-mpc"
+  options: [*basics, *madagascarMpC]
+  instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"]
+
+- id: "fd-ps-e3"
+  options: [*basics, *fastDownwardPreprocessing, *plannerSequential, *encoding3]
+  instanceSets: ["lpnmr-hard-instances"]
+- id: "fd-pa-e3"
+  options: [*basics, *fastDownwardPreprocessing, *plannerA, *encoding3]
+  instanceSets: ["lpnmr-hard-instances"]
+- id: "fd-pb-e0"
+  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0]
+  instanceSets: ["lpnmr-hard-instances"]
+- id: "fd-pb-e1"
+  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding1]
+  instanceSets: ["lpnmr-hard-instances"]
+- id: "fd-pb-e2"
+  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding2]
+  instanceSets: ["lpnmr-hard-instances"]
+- id: "fd-pb-e3"
+  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding3]
+  instanceSets: ["lpnmr-hard-instances", "lpnmr-easy-instances"]
+- id: "fd-pb-e3-h"
+  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding3, *heuristics]
+  instanceSets: ["lpnmr-hard-instances"]
+- id: "fd-pb-e4"
+  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding4]
+  instanceSets: ["lpnmr-hard-instances"]
+- id: "fd-pc-e3"
+  options: [*basics, *fastDownwardPreprocessing, *plannerC, *encoding3]
+  instanceSets: ["lpnmr-hard-instances"]
+
+- id: "ps-e3"
+  options: [*basics, *plannerSequential, *encoding3]
+  instanceSets: ["lpnmr-easy-instances"]
+- id: "pa-e3"
+  options: [*basics, *plannerA, *encoding3]
+  instanceSets: ["lpnmr-easy-instances"]
+- id: "pb-e0"
+  options: [*basics, *plannerB, *encoding0]
+  instanceSets: ["lpnmr-easy-instances"]
+- id: "pb-e1"
+  options: [*basics, *plannerB, *encoding1]
+  instanceSets: ["lpnmr-easy-instances"]
+- id: "pb-e2"
+  options: [*basics, *plannerB, *encoding2]
+  instanceSets: ["lpnmr-easy-instances"]
+- id: "pb-e3"
+  options: [*basics, *plannerB, *encoding3]
+  instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"]
+- id: "pb-e3-h"
+  options: [*basics, *plannerB, *encoding3, *heuristics]
+  instanceSets: ["lpnmr-easy-instances"]
+- id: "pb-e4"
+  options: [*basics, *plannerB, *encoding4]
+  instanceSets: ["lpnmr-easy-instances"]
+- id: "pc-e3"
+  options: [*basics, *plannerC, *encoding3]
+  instanceSets: ["lpnmr-easy-instances"]