#! /usr/bin/env python # -*- coding: utf-8 -*- import downward.suites import common_setup import configs CONFIGS = configs.default_configs_optimal(ipc=False, extended=False) print(sorted(CONFIGS.keys())) print(len(CONFIGS)) SUITE = downward.suites.suite_optimal_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()
BENCHMARKS_DIR = os.path.join(REPO, "misc", "tests", "benchmarks") 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):
#! /usr/bin/env python # -*- coding: utf-8 -*- import downward.suites import common_setup import configs CONFIGS = configs.default_configs_optimal(ipc=False, extended=False) print(sorted(CONFIGS.keys())) print(len(CONFIGS)) SUITE = downward.suites.suite_optimal_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()
import subprocess 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]
import configs DIR = os.path.dirname(os.path.abspath(__file__)) REPO = os.path.dirname(os.path.dirname(DIR)) BENCHMARKS_DIR = os.path.join(REPO, "misc", "tests", "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"]
#! /usr/bin/env python # -*- coding: utf-8 -*- from downward import suites import common_setup import configs REVS = ["issue508-base", "issue508-v1"] LIMITS = {"search_time": 1800} SUITE = suites.suite_optimal_with_ipc11() configs_optimal_core = configs.default_configs_optimal(ipc=False) CONFIGS = {} for nick in ["astar_merge_and_shrink_bisim", "astar_merge_and_shrink_greedy_bisim"]: CONFIGS[nick] = configs_optimal_core[nick] exp = common_setup.IssueExperiment( search_revisions=REVS, configs=CONFIGS, suite=SUITE, limits=LIMITS, ) exp.add_comparison_table_step() exp()
#! /usr/bin/env python # -*- coding: utf-8 -*- from downward import suites import common_setup import configs REVS = ["issue508-base", "issue508-v1"] LIMITS = {"search_time": 1800} SUITE = suites.suite_optimal_with_ipc11() configs_optimal_core = configs.default_configs_optimal(ipc=False) CONFIGS = {} for nick in [ "astar_merge_and_shrink_bisim", "astar_merge_and_shrink_greedy_bisim" ]: CONFIGS[nick] = configs_optimal_core[nick] exp = common_setup.IssueExperiment( search_revisions=REVS, configs=CONFIGS, suite=SUITE, limits=LIMITS, ) exp.add_comparison_table_step() exp()