44 lines
1.3 KiB
YAML
44 lines
1.3 KiB
YAML
|
storage:
|
||
|
# local directory where remote is cloned to
|
||
|
local: storage
|
||
|
# repote Git repository URL
|
||
|
remote: git@git.luehne.de:patrick/tplp-planning-benchmark.git
|
||
|
# user name for commits
|
||
|
user: potassco-bot
|
||
|
# user e-mail for commits
|
||
|
userEMail: bot@potassco.org
|
||
|
# data branches
|
||
|
branches:
|
||
|
results: results
|
||
|
config: config
|
||
|
status: status
|
||
|
|
||
|
executables:
|
||
|
timeout:
|
||
|
# path to timeout script (https://github.com/pshved/timeout)
|
||
|
binary: /home/user/repos/timeout/timeout
|
||
|
plasp:
|
||
|
# path to plasp binary (https://github.com/potassco/plasp)
|
||
|
binary: plasp
|
||
|
clingo:
|
||
|
# path to clingo binary (https://github.com/potassco/clingo)
|
||
|
binary: clingo
|
||
|
planner:
|
||
|
# path to planner executable (https://github.com/javier-romero/plasp/tree/master/encodings/planner)
|
||
|
directory: /home/user/repos/plasp-javier/encodings/planner
|
||
|
binary: /home/user/repos/plasp-javier/encodings/planner/runplanner.py
|
||
|
fastDownward:
|
||
|
# path to Fast Downward executable (http://hg.fast-downward.org/)
|
||
|
directory: /home/user/repos/fast-downward
|
||
|
binary: /home/user/repos/fast-downward/fast-downward.py
|
||
|
|
||
|
input:
|
||
|
# path to PDDL instances (https://github.com/potassco/pddl-instances)
|
||
|
pddlInstances: /home/user/repos/pddl-instances
|
||
|
|
||
|
limits:
|
||
|
# time limit per instance in seconds
|
||
|
time: 900
|
||
|
# memory limit per instance in kilobytes
|
||
|
memory: 8000000
|