Author: Martin Gebser
Date: 23-02-2016
Only Ground: No
Format: ASP
System: clingo (version 4; or gringo-3)
Decision: Yes
Enumeration: No
Optimization: No
Source:
http://www.cs.uni-potsdam.de/hclasp/benchmarks/pddl_benchmarks/pddl-benchmarks.zip

Descriptions:
The PDDL Planning benchmarks primarily aim at running clingo in <incmode>.
The instances form a subset of those in the archive referred to as source.
For each <Class>, a file Instances/<Class>/domain.pddl ought to be combined
with actual facts in other files under Instances/<Class>/. E.g., a call can
look like this:

$ clingo Instances/Blocks/domain.pddl Instances/Blocks/probblocks-09-0.pddl \
  Encodings/Incremental/sequential.lp

Runtime Range: Most likely quite unbalanced yet with many (too) hard instances.

Misc: Available encodings are for sequential planning, and parallel encodings
      may perform better.
