Ejemplos de default_configs_satisficing en Python

Ejemplo n.º 1

FAST_DOWNWARD = os.path.join(REPO, "fast-downward.py")
BUILD_DIR = os.path.join(REPO, "builds", "release")
DOWNWARD_BIN = os.path.join(BUILD_DIR, "bin", "downward")
SAS_FILE = os.path.join(REPO, "test.sas")
PLAN_FILE = os.path.join(REPO, "test.plan")
VALGRIND_GCC5_SUPPRESSION_FILE = os.path.join(
    REPO, "misc", "tests", "valgrind", "gcc5.supp")
VALGRIND_ERROR_EXITCODE = 99

TASKS = [os.path.join(BENCHMARKS_DIR, path) for path in [
    "miconic/s1-0.pddl",
]]

CONFIGS = {}
CONFIGS.update(configs.default_configs_optimal(core=True, extended=True))
CONFIGS.update(configs.default_configs_satisficing(core=True, extended=True))


def escape_list(l):
    return " ".join(pipes.quote(x) for x in l)


def get_compiler_and_version():
    output = subprocess.check_output(["cmake", "-LA", "-N", "../../src/"], cwd=BUILD_DIR)
    compiler = re.search("^DOWNWARD_CXX_COMPILER_ID:STRING=(.+)$", output, re.M).group(1)
    version = re.search("^DOWNWARD_CXX_COMPILER_VERSION:STRING=(.+)$", output, re.M).group(1)
    return compiler, version


def run_plan_script(task, config, suppression_files):
    assert "--alias" not in config, config

Ejemplo n.º 2

#! /usr/bin/env python
# -*- coding: utf-8 -*-

import downward.suites

import common_setup
import configs

CONFIGS = configs.default_configs_satisficing(ipc=False, extended=False)

# The following lines remove some configs that we don't currently
# support.

DISABLED = []
for key, value in list(CONFIGS.items()):
    if key in DISABLED or key.startswith(("lazy", "iterated", "ehc")):
        del CONFIGS[key]
print(sorted(CONFIGS.keys()))
print(len(CONFIGS))

SUITE = downward.suites.suite_satisficing_with_ipc11()

exp = common_setup.IssueExperiment(
    search_revisions=["issue77-v3", "issue77-v4"],
    configs=CONFIGS,
    suite=SUITE)
exp.add_absolute_report_step()
exp.add_comparison_table_step()
# exp.add_scatter_plot_step()

exp()

Ejemplo n.º 3

Archivo: test-standard-configs.py Proyecto: guicho271828/FastDownward

        "miconic/s1-0.pddl",
        "miconic/s10-0.pddl",
        "airport-adl/p01-airport1-p1.pddl",
        "elevators-opt08-strips/p01.pddl",
        # "elevators-opt11-strips/p01.pddl",
        "openstacks-opt08-strips/p01.pddl",
        "driverlog/pfile1",
        "parking-opt11-strips/pfile03-011.pddl",
        "driverlog/pfile1",
    ]
]

CONFIGS = {}
# CONFIGS.update(configs.default_configs_optimal(core=False, ipc=False, extended=False))
CONFIGS.update(
    configs.default_configs_satisficing(core=False, ipc=False, extended=True))
# CONFIGS.update(configs.task_transformation_test_configs())
# CONFIGS.update(configs.regression_test_configs())

if os.name == "nt":
    # No support for portfolios on Windows
    del CONFIGS["seq_opt_merge_and_shrink"]
    del CONFIGS["seq_opt_fdss_1"]
    del CONFIGS["seq_opt_fdss_2"]
    del CONFIGS["seq_sat_lama_2011"]
    del CONFIGS["seq_sat_fdss_1"]
    del CONFIGS["seq_sat_fdss_2"]


def run_plan_script(task, nick, config, debug):
    cmd = [sys.executable, FAST_DOWNWARD]

Ejemplo n.º 4

Archivo: sat-v1.py Proyecto: danfis/fast-downward-masters-thesis

#! /usr/bin/env python
# -*- coding: utf-8 -*-

from downward import suites
import configs

import common_setup


REVS = ["issue436-base", "issue436-v1"]
LIMITS = {"search_time": 1800}
SUITE = suites.suite_satisficing_with_ipc11()

default_configs_satisficing = configs.default_configs_satisficing(extended=True)
CONFIGS = {}
for name in ['lazy_greedy_add', 'eager_greedy_ff', 'eager_greedy_add', 'lazy_greedy_ff', 'pareto_ff']:
    CONFIGS[name] = default_configs_satisficing[name]
    
exp = common_setup.IssueExperiment(
    search_revisions=REVS,
    configs=CONFIGS,
    suite=SUITE,
    limits=LIMITS,
    )

exp.add_absolute_report_step()
exp.add_comparison_table_step()


exp()

Ejemplo n.º 5

Archivo: test-standard-configs.py Proyecto: Alfano93/AI

import sys

import configs

DIR = os.path.dirname(os.path.abspath(__file__))
REPO = os.path.dirname(os.path.dirname(DIR))
BENCHMARKS_DIR = os.path.join(REPO, "benchmarks")
FAST_DOWNWARD = os.path.join(REPO, "fast-downward.py")

TASKS = [os.path.join(BENCHMARKS_DIR, path) for path in [
    "miconic/s1-0.pddl",
]]

CONFIGS = {}
CONFIGS.update(configs.default_configs_optimal(core=True, ipc=True, extended=True))
CONFIGS.update(configs.default_configs_satisficing(core=True, ipc=True, extended=True))
CONFIGS.update(configs.task_transformation_test_configs())
CONFIGS.update(configs.regression_test_configs())

if os.name == "nt":
    # No support for portfolios on Windows
    del CONFIGS["seq_opt_merge_and_shrink"]
    del CONFIGS["seq_opt_fdss_1"]
    del CONFIGS["seq_opt_fdss_2"]
    del CONFIGS["seq_sat_lama_2011"]
    del CONFIGS["seq_sat_fdss_1"]
    del CONFIGS["seq_sat_fdss_2"]

def run_plan_script(task, nick, config, debug):
    cmd = [sys.executable, FAST_DOWNWARD]
    if os.name != "nt":

Ejemplo n.º 6

Archivo: issue77-v4-sat-lazy.py Proyecto: danfis/fast-downward-masters-thesis

#! /usr/bin/env python
# -*- coding: utf-8 -*-

import downward.suites

import common_setup
import configs

CONFIGS = configs.default_configs_satisficing(ipc=False, extended=False)

DISABLED = [
]
for key, value in list(CONFIGS.items()):
    if not key.startswith("lazy"):
        del CONFIGS[key]
print(sorted(CONFIGS.keys()))
print(len(CONFIGS))


SUITE = downward.suites.suite_satisficing_with_ipc11()

exp = common_setup.IssueExperiment(
    search_revisions=["issue77-base", "issue77-v4"],
    configs=CONFIGS,
    suite=SUITE
    )
exp.add_absolute_report_step()
exp.add_comparison_table_step()
# exp.add_scatter_plot_step()

exp()

Ejemplo n.º 7

Archivo: issue77-v5-sat-lazy.py Proyecto: danfis/fast-downward-masters-thesis

#! /usr/bin/env python
# -*- coding: utf-8 -*-

import downward.suites

import common_setup
import configs

CONFIGS = {}
INCLUDE = ("lazy", "lama")
EXCLUDE = ("lazy_greedy_add", "lazy_greedy_cea", "lazy_greedy_cg")
for key, value in configs.default_configs_satisficing(ipc=False, extended=True).items():
    if any(x in key for x in INCLUDE) and not any(x in key for x in EXCLUDE):
        CONFIGS[key] = value
print(sorted(CONFIGS.keys()))
print(len(CONFIGS))

SUITE = downward.suites.suite_satisficing_with_ipc11()

exp = common_setup.IssueExperiment(
    search_revisions=["issue77-v5-base", "issue77-v5"],
    configs=CONFIGS,
    suite=SUITE
    )
exp.add_absolute_report_step()
exp.add_comparison_table_step()
# exp.add_scatter_plot_step()

exp()

Ejemplo n.º 8

Archivo: sat-v2.py Proyecto: yanxi0830/downward

#! /usr/bin/env python
# -*- coding: utf-8 -*-

from downward import suites
import configs

import common_setup


REVS = ["issue436-base", "issue436-v2"]
LIMITS = {"search_time": 1800}
SUITE = suites.suite_satisficing_with_ipc11()

default_configs_satisficing = configs.default_configs_satisficing(extended=True)
CONFIGS = {}
for name in ['lazy_greedy_add', 'eager_greedy_ff', 'eager_greedy_add', 'lazy_greedy_ff', 'pareto_ff']:
    CONFIGS[name] = default_configs_satisficing[name]
    
exp = common_setup.IssueExperiment(
    search_revisions=REVS,
    configs=CONFIGS,
    suite=SUITE,
    limits=LIMITS,
    )

exp.add_absolute_report_step()
exp.add_comparison_table_step()
exp.add_scatter_plot_step(attributes=['total_time', 'memory'])


exp()

Ejemplo n.º 9

Archivo: issue77-v7-sat-eager.py Proyecto: yanxi0830/downward

#! /usr/bin/env python
# -*- coding: utf-8 -*-

import downward.suites

import common_setup
import configs

NICKS = [
    'eager_greedy_alt_ff_cg', 'eager_greedy_ff', 'eager_greedy_ff_no_pref',
    'eager_pareto_ff', 'eager_wa3_cg'
]
CONFIGS = {}
for nick in NICKS:
    CONFIGS[nick] = configs.default_configs_satisficing(ipc=False, extended=True)[nick]

print(sorted(CONFIGS.keys()))
print(len(CONFIGS))

SUITE = downward.suites.suite_satisficing_with_ipc11()

exp = common_setup.IssueExperiment(
    search_revisions=["issue77-v7-base", "issue77-v7"],
    configs=CONFIGS,
    suite=SUITE
    )
exp.add_absolute_report_step()
exp.add_comparison_table_step()
# exp.add_scatter_plot_step()

exp()

Ejemplo n.º 10

Archivo: issue77-v5-sat-lazy.py Proyecto: yanxi0830/downward

#! /usr/bin/env python
# -*- coding: utf-8 -*-

import downward.suites

import common_setup
import configs

CONFIGS = {}
INCLUDE = ("lazy", "lama")
EXCLUDE = ("lazy_greedy_add", "lazy_greedy_cea", "lazy_greedy_cg")
for key, value in configs.default_configs_satisficing(ipc=False,
                                                      extended=True).items():
    if any(x in key for x in INCLUDE) and not any(x in key for x in EXCLUDE):
        CONFIGS[key] = value
print(sorted(CONFIGS.keys()))
print(len(CONFIGS))

SUITE = downward.suites.suite_satisficing_with_ipc11()

exp = common_setup.IssueExperiment(
    search_revisions=["issue77-v5-base", "issue77-v5"],
    configs=CONFIGS,
    suite=SUITE)
exp.add_absolute_report_step()
exp.add_comparison_table_step()
# exp.add_scatter_plot_step()

exp()