1
0
Fork 0

Add LPNMR benchmark configurations

This commit is contained in:
Patrick Lühne 2017-11-19 18:03:55 +01:00
parent 3366b074c1
commit a84a240b65
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
1 changed files with 110 additions and 0 deletions

110
configurations.yaml Normal file
View File

@ -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"]