barman-opt14-strips
blocks
childsnack-opt14-strips
depot
driverlog
grid
gripper
logistics00
miconic
movie
mystery
pipesworld-notankage
rovers
satellite
storage
tpp
visitall-opt11-strips
zenotravel
