pddl models used in the experiments