options: basics: &basics - "--stats" - "--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" 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", "rintanen-aij-2012"] - 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-easy-instances", "lpnmr-hard-instances", "lpnmr-first-plan-not-serializable", "rintanen-aij-2012"] - 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"] - id: "no-fd-gc-ta1-tt1" options: [*basics, *plannerB, *encoding0, *shallow, *heuristics, *generateAndCheck, *testAdd1, *testTimes1] instanceSets: ["lpnmr-easy-instances", "lpnmr-hard-instances"]