stan  OtherDomains/tire-world/domain.pddl  OtherDomains/tire-world/prob01.pddl

stan  OtherDomains/tire-world/domain.pddl  OtherDomains/tire-world/prob02.pddl

stan  OtherDomains/tire-world/domain.pddl  OtherDomains/tire-world/prob03.pddl

