ff  -o OtherDomains/tire-world/domain.pddl -f OtherDomains/tire-world/prob01.pddl

ff  -o OtherDomains/tire-world/domain.pddl -f OtherDomains/tire-world/prob02.pddl

ff  -o OtherDomains/tire-world/domain.pddl -f OtherDomains/tire-world/prob03.pddl


