grt -os unix -d OtherDomains/tire-world/domain.pddl -p OtherDomains/tire-world/prob01.pddl

grt -os unix -d OtherDomains/tire-world/domain.pddl -p OtherDomains/tire-world/prob02.pddl

grt -os unix -d OtherDomains/tire-world/domain.pddl -p OtherDomains/tire-world/prob03.pddl

