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: 8000000