51 lines
1.6 KiB
YAML
51 lines
1.6 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
|
|
userName: potassco-bot
|
|
# user e-mail for commits
|
|
userEMail: bot@potassco.org
|
|
# user GPG key for signing commits (optional)
|
|
# userSigningKey: 12345678
|
|
# data branches
|
|
branches:
|
|
results: results
|
|
config: config
|
|
status: status
|
|
# the maximum size of the status log in lines
|
|
statusLogSize: 100
|
|
|
|
executables:
|
|
python:
|
|
# Python executable
|
|
binary: python3
|
|
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: 9216000 # 8192 MB memory limit + 1024 MB tolerance margin
|