tplp-planning-benchmark/configurations.yml

options:
  basics: &basics
  - "--stats"
  - "--stats-iter"
  - "--verbose"
  - "--print-call"
  - "-m 8192"
  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"
  configurationJumpy: &configurationJumpy
  - "--configuration=jumpy"
  configurationFrumpy: &configurationFrumpy
  - "--configuration=frumpy"
  configurationTrendy: &configurationTrendy
  - "--configuration=trendy"
  leaveOpenRestartPolicy: &leaveOpenRestartPolicy
  - "-i 0"

configurations:
- id: "m-mp"
  options: [*basics, *madagascarMp]
  instanceSets: ["rintanen-aij-2012-interesting"]
- id: "gc-ta1-tt1"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1]
  instanceSets: ["rintanen-aij-2012-interesting"]
- id: "m-mp-single-shot"
  options: [*basics, *madagascarMp]
  instanceSets: ["rintanen-aij-2012-interesting"]
  fixedHorizon: true
- id: "gc-ta1-tt1-single-shot"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1, *leaveOpenRestartPolicy]
  instanceSets: ["rintanen-aij-2012-interesting"]
  fixedHorizon: true
- id: "gc-ta1-tt1-jumpy"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1, *configurationJumpy, *leaveOpenRestartPolicy]
  instanceSets: ["rintanen-aij-2012-interesting"]
- id: "gc-ta1-tt1-frumpy"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1, *configurationFrumpy, *leaveOpenRestartPolicy]
  instanceSets: ["rintanen-aij-2012-interesting"]
- id: "gc-ta1-tt1-trendy"
  options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1, *configurationTrendy, *leaveOpenRestartPolicy]
  instanceSets: ["rintanen-aij-2012-interesting"]
Add LPNMR benchmark configurations 2017-11-19 18:03:55 +01:00			`options:`
			`basics: &basics`
			`- "--stats"`
Adjust config for testing purposes 2018-01-31 18:37:36 +01:00			`- "--stats-iter"`
Add LPNMR benchmark configurations 2017-11-19 18:03:55 +01:00			`- "--verbose"`
Print the planner call to the log files In order to inspect what the planner actually executed, this lets the planner print the actual call so that it can be easily reproduced. 2017-11-21 01:57:44 +01:00			`- "--print-call"`
Set soft memory limit of 8192 MB This sets a soft memory limit of 8192 MB on all configurations. This is a hint to the planners that they shouldn’t surpass this limit. Should planners still consume more memory, there is a 1024 MB tolerance margin (configured in the benchmark runner’s configuration) after which the measurement is counted as a memout. Note that this 8192 MB is the default for Madagascar, which is why this addition doesn’t have an influence on prior results obtained for Madagascar. 2017-11-29 18:06:47 +01:00			`- "-m 8192"`
Add LPNMR benchmark configurations 2017-11-19 18:03:55 +01:00			`fastDownwardPreprocessing: &fastDownwardPreprocessing`
			`- "--translate"`
			`plannerSequential: &plannerSequential`
			`- "-A 1"`
			`plannerA: &plannerA`
			`- "-A 16"`
			`plannerB: &plannerB`
Make options of planner B explicit 2017-11-19 18:42:23 +01:00			`- "-B 0.9"`
Add LPNMR benchmark configurations 2017-11-19 18:03:55 +01:00			`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"`
Add configurations with --shallow This adds new configurations with --shallow requested by Martin and Javier as well as the missing configurations with the sequential encoding. 2017-11-21 01:23:59 +01:00			`t0: &t0`
			`- "-T 0"`
Add LPNMR benchmark configurations 2017-11-19 18:03:55 +01:00			`heuristics: &heuristics`
Use --use-heuristic for proper heuristic encoding Instead of specifying the heuristic encoding manually, this lets the planner define its location. This is to make sure that an incorrect encoding isn’t applied accidentally. 2017-11-21 01:43:45 +01:00			`- "--use-heuristic"`
Add LPNMR benchmark configurations 2017-11-19 18:03:55 +01:00			`madagascarM: &madagascarM`
			`- "--madagascar-M"`
			`madagascarMp: &madagascarMp`
			`- "--madagascar-Mp"`
			`madagascarMpC: &madagascarMpC`
			`- "--madagascar-MpC"`
Add configurations for generate-and-check planner This adds multiple configuration variations for the generate-and-check planning strategy on the instances where the first found plan is not serializable, with the comparison to Madagascar. 2017-11-27 01:22:46 +01:00			`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"`
Add multiple clasp search configurations 2018-02-14 17:07:20 +01:00			`configurationJumpy: &configurationJumpy`
Add single-shot configurations 2018-02-14 18:33:41 +01:00			`- "--configuration=jumpy"`
Add multiple clasp search configurations 2018-02-14 17:07:20 +01:00			`configurationFrumpy: &configurationFrumpy`
Add single-shot configurations 2018-02-14 18:33:41 +01:00			`- "--configuration=frumpy"`
Add multiple clasp search configurations 2018-02-14 17:07:20 +01:00			`configurationTrendy: &configurationTrendy`
Add single-shot configurations 2018-02-14 18:33:41 +01:00			`- "--configuration=trendy"`
			`leaveOpenRestartPolicy: &leaveOpenRestartPolicy`
			`- "-i 0"`
Add LPNMR benchmark configurations 2017-11-19 18:03:55 +01:00
			`configurations:`
			`- id: "m-mp"`
			`options: [basics, madagascarMp]`
Adjust config for testing purposes 2018-01-31 18:37:36 +01:00			`instanceSets: ["rintanen-aij-2012-interesting"]`
Enable plasp planning configuration 2018-02-01 18:28:09 +01:00			`- id: "gc-ta1-tt1"`
			`options: [basics, fastDownwardPreprocessing, plannerB, encoding0, shallow, heuristics, generateAndCheck, testAdd1, *testTimes1]`
Fix instance sets By mistake, the instance sets for the plasp planner configuration were incorrect. 2018-02-01 21:04:36 +01:00			`instanceSets: ["rintanen-aij-2012-interesting"]`
Add single-shot configurations 2018-02-14 18:33:41 +01:00			`- id: "m-mp-single-shot"`
			`options: [basics, madagascarMp]`
			`instanceSets: ["rintanen-aij-2012-interesting"]`
			`fixedHorizon: true`
			`- id: "gc-ta1-tt1-single-shot"`
			`options: [basics, fastDownwardPreprocessing, plannerB, encoding0, shallow, heuristics, generateAndCheck, testAdd1, testTimes1, leaveOpenRestartPolicy]`
			`instanceSets: ["rintanen-aij-2012-interesting"]`
			`fixedHorizon: true`
Add multiple clasp search configurations 2018-02-14 17:07:20 +01:00			`- id: "gc-ta1-tt1-jumpy"`
Add single-shot configurations 2018-02-14 18:33:41 +01:00			`options: [basics, fastDownwardPreprocessing, plannerB, encoding0, shallow, heuristics, generateAndCheck, testAdd1, testTimes1, configurationJumpy, *leaveOpenRestartPolicy]`
Add multiple clasp search configurations 2018-02-14 17:07:20 +01:00			`instanceSets: ["rintanen-aij-2012-interesting"]`
			`- id: "gc-ta1-tt1-frumpy"`
Add single-shot configurations 2018-02-14 18:33:41 +01:00			`options: [basics, fastDownwardPreprocessing, plannerB, encoding0, shallow, heuristics, generateAndCheck, testAdd1, testTimes1, configurationFrumpy, *leaveOpenRestartPolicy]`
Add multiple clasp search configurations 2018-02-14 17:07:20 +01:00			`instanceSets: ["rintanen-aij-2012-interesting"]`
			`- id: "gc-ta1-tt1-trendy"`
Add single-shot configurations 2018-02-14 18:33:41 +01:00			`options: [basics, fastDownwardPreprocessing, plannerB, encoding0, shallow, heuristics, generateAndCheck, testAdd1, testTimes1, configurationTrendy, *leaveOpenRestartPolicy]`
Add multiple clasp search configurations 2018-02-14 17:07:20 +01:00			`instanceSets: ["rintanen-aij-2012-interesting"]`