Planning benchmarks for the extended TPLP journal version of the plasp paper
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 

50 lines
1.6 KiB

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