options:
  basics: &basics
  - "--stats"
  - "--verbose"
  - "--print-call"
  fastDownwardPreprocessing: &fastDownwardPreprocessing
  - "--translate"
  plannerSequential: &plannerSequential
  - "-A 1"
  plannerA: &plannerA
  - "-A 16"
  plannerB: &plannerB
  - "-B 0.9"
  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"
  t0: &t0
  - "-T 0"
  heuristics: &heuristics
  - "--use-heuristic"
  madagascarM: &madagascarM
  - "--madagascar-M"
  madagascarMp: &madagascarMp
  - "--madagascar-Mp"
  madagascarMpC: &madagascarMpC
  - "--madagascar-MpC"
  generateAndCheck: &generateAndCheck
  - "--test-until-not-sat"
  - "--test=0"
  testAdd1: &testAdd1
  - "--test-add=1"
  testAdd3: &testAdd3
  - "--test-add=3"
  testAdd4: &testAdd4
  - "--test-add=4"
  testAdd5: &testAdd5
  - "--test-add=5"
  testAdd7: &testAdd7
  - "--test-add=7"
  testTimes0: &testTimes0
  - "--test-times=0"
  testTimes1: &testTimes1
  - "--test-times=1"

configurations:
- id: "m-m"
  options: [*basics, *madagascarM]
  instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable"]
- id: "m-mp"
  options: [*basics, *madagascarMp]
  instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable"]
- id: "m-mpc"
  options: [*basics, *madagascarMpC]
  instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable"]

- id: "fd-ps-e1-sh"
  options: [*basics, *fastDownwardPreprocessing, *plannerSequential, *encoding1, *shallow]
  instanceSets: ["lpnmr-hard-instances"]
- id: "fd-pa-e1-sh"
  options: [*basics, *fastDownwardPreprocessing, *plannerA, *encoding1, *shallow]
  instanceSets: ["lpnmr-hard-instances"]
- id: "fd-pb-e0-sh"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow]
  instanceSets: ["lpnmr-hard-instances"]
- id: "fd-pb-e0-sh-h"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics]
  instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"]
- id: "fd-pb-e1-sh"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding1, *shallow]
  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"]
- id: "fd-pb-e3-t0"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding3, *t0]
  instanceSets: ["lpnmr-hard-instances"]
- id: "fd-pb-e1-sh-h"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding1, *shallow, *heuristics]
  instanceSets: ["lpnmr-hard-instances", "lpnmr-easy-instances"]
- id: "fd-pb-e4"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding4]
  instanceSets: ["lpnmr-hard-instances"]
- id: "fd-pb-es"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encodingSequential]
  instanceSets: ["lpnmr-hard-instances"]
- id: "fd-pc-e1-sh"
  options: [*basics, *fastDownwardPreprocessing, *plannerC, *encoding1, *shallow]
  instanceSets: ["lpnmr-hard-instances"]

- id: "ps-e1-sh"
  options: [*basics, *plannerSequential, *encoding1, *shallow]
  instanceSets: ["lpnmr-easy-instances"]
- id: "pa-e1-sh"
  options: [*basics, *plannerA, *encoding1, *shallow]
  instanceSets: ["lpnmr-easy-instances"]
- id: "pb-e0-sh"
  options: [*basics, *plannerB, *encoding0, *shallow]
  instanceSets: ["lpnmr-easy-instances"]
- id: "pb-e1-sh"
  options: [*basics, *plannerB, *encoding1, *shallow]
  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"]
- id: "pb-e3-t0"
  options: [*basics, *plannerB, *encoding3, *t0]
  instanceSets: ["lpnmr-easy-instances"]
- id: "pb-e1-sh-h"
  options: [*basics, *plannerB, *encoding1, *shallow, *heuristics]
  instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"]
- id: "pb-e4"
  options: [*basics, *plannerB, *encoding4]
  instanceSets: ["lpnmr-easy-instances"]
- id: "pb-es"
  options: [*basics, *plannerB, *encodingSequential]
  instanceSets: ["lpnmr-easy-instances"]
- id: "pc-e1-sh"
  options: [*basics, *plannerC, *encoding1, *shallow]
  instanceSets: ["lpnmr-easy-instances"]

- id: "gc-ta1-tt0"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes0]
  instanceSets: ["lpnmr-first-plan-not-serializable"]
- id: "gc-ta1-tt1"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1]
  instanceSets: ["lpnmr-first-plan-not-serializable"]
- id: "gc-ta3-tt0"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd3, *testTimes0]
  instanceSets: ["lpnmr-first-plan-not-serializable"]
- id: "gc-ta3-tt1"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd3, *testTimes1]
  instanceSets: ["lpnmr-first-plan-not-serializable"]
- id: "gc-ta4-tt0"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd4, *testTimes0]
  instanceSets: ["lpnmr-first-plan-not-serializable"]
- id: "gc-ta4-tt1"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd4, *testTimes1]
  instanceSets: ["lpnmr-first-plan-not-serializable"]
- id: "gc-ta5-tt0"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd5, *testTimes0]
  instanceSets: ["lpnmr-first-plan-not-serializable"]
- id: "gc-ta5-tt1"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd5, *testTimes1]
  instanceSets: ["lpnmr-first-plan-not-serializable"]
- id: "gc-ta7-tt0"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd7, *testTimes0]
  instanceSets: ["lpnmr-first-plan-not-serializable"]
- id: "gc-ta7-tt1"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd7, *testTimes1]
  instanceSets: ["lpnmr-first-plan-not-serializable"]