tplp-planning-benchmark/configurations.yml

99 lines
3.3 KiB
YAML
Raw Permalink Normal View History

2017-11-19 18:03:55 +01:00
options:
basics: &basics
- "--stats"
2018-01-31 18:37:36 +01:00
- "--stats-iter"
2017-11-19 18:03:55 +01:00
- "--verbose"
- "--print-call"
- "-m 8192"
2017-11-19 18:03:55 +01:00
fastDownwardPreprocessing: &fastDownwardPreprocessing
- "--translate"
plannerSequential: &plannerSequential
- "-A 1"
plannerA: &plannerA
- "-A 16"
plannerB: &plannerB
2017-11-19 18:42:23 +01:00
- "-B 0.9"
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"
t0: &t0
- "-T 0"
2017-11-19 18:03:55 +01:00
heuristics: &heuristics
- "--use-heuristic"
2017-11-19 18:03:55 +01:00
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
2018-02-14 18:33:41 +01:00
- "--configuration=jumpy"
configurationFrumpy: &configurationFrumpy
2018-02-14 18:33:41 +01:00
- "--configuration=frumpy"
configurationTrendy: &configurationTrendy
2018-02-14 18:33:41 +01:00
- "--configuration=trendy"
leaveOpenRestartPolicy: &leaveOpenRestartPolicy
- "-i 0"
2017-11-19 18:03:55 +01:00
configurations:
- id: "m-mp"
options: [*basics, *madagascarMp]
2018-01-31 18:37:36 +01:00
instanceSets: ["rintanen-aij-2012-interesting"]
2018-02-01 18:28:09 +01:00
- id: "gc-ta1-tt1"
options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1]
instanceSets: ["rintanen-aij-2012-interesting"]
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
- id: "gc-ta1-tt1-jumpy"
2018-02-14 18:33:41 +01:00
options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1, *configurationJumpy, *leaveOpenRestartPolicy]
instanceSets: ["rintanen-aij-2012-interesting"]
- id: "gc-ta1-tt1-frumpy"
2018-02-14 18:33:41 +01:00
options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1, *configurationFrumpy, *leaveOpenRestartPolicy]
instanceSets: ["rintanen-aij-2012-interesting"]
- id: "gc-ta1-tt1-trendy"
2018-02-14 18:33:41 +01:00
options: [*basics, *fastDownwardPreprocessing, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1, *configurationTrendy, *leaveOpenRestartPolicy]
instanceSets: ["rintanen-aij-2012-interesting"]