domain | track | formulation |
---|---|---|
crew planning | net benefit, optimal | numeric fluents |
crew planning | temporal, satisficing | STRIPS |
cyber security | sequential, satisficing | STRIPS |
elevator | net benefit, optimal | numeric fluents |
elevator | net benefit, optimal | STRIPS |
elevator | sequential, optimal | STRIPS |
elevator | sequential, satisficing | STRIPS |
elevator | temporal, satisficing | numeric fluents |
elevator | temporal, satisficing | STRIPS |
model train | temporal, satisficing | numeric fluents |
openstacks | net benefit, optimal | ADL, numeric fluents |
openstacks | net benefit, optimal | ADL |
openstacks | net benefit, optimal | STRIPS, negative preconditions |
openstacks | sequential, optimal | ADL |
openstacks | sequential, optimal | STRIPS |
openstacks | sequential, satisficing | ADL |
openstacks | sequential, satisficing | STRIPS |
openstacks | temporal, satisficing | ADL, numeric fluents |
openstacks | temporal, satisficing | ADL |
openstacks | temporal, satisficing | numeric fluents |
openstacks | temporal, satisficing | STRIPS |
PARC printer | sequential, optimal | STRIPS |
PARC printer | sequential, satisficing | STRIPS |
PARC printer | temporal, satisficing | STRIPS |
peg solitaire | net benefit, optimal | STRIPS |
peg solitaire | sequential, optimal | STRIPS |
peg solitaire | sequential, satisficing | STRIPS |
peg solitaire | temporal, satisficing | STRIPS |
Scanalyzer 3D | sequential, optimal | STRIPS |
Scanalyzer 3D | sequential, satisficing | STRIPS |
Sokoban | sequential, optimal | STRIPS |
Sokoban | sequential, satisficing | STRIPS |
Sokoban | temporal, satisficing | STRIPS |
transport | net benefit, optimal | numeric fluents |
transport | sequential, optimal | STRIPS |
transport | sequential, satisficing | STRIPS |
transport | temporal, satisficing | numeric fluents |
woodworking | net benefit, optimal | numeric fluents |
woodworking | sequential, optimal | STRIPS |
woodworking | sequential, satisficing | STRIPS |
woodworking | temporal, satisficing | numeric fluents |
- renamed problem domains and instances for consistency
- per domain, replaced identical domain description files with single
domain.pddl
file