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

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

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


