echo PROBLEM1
altalt  OtherDomains/tire-world/domain.pddl  OtherDomains/tire-world/prob01.pddl
echo PROBLEM2
altalt  OtherDomains/tire-world/domain.pddl  OtherDomains/tire-world/prob02.pddl
echo PROBLEM3
altalt  OtherDomains/tire-world/domain.pddl  OtherDomains/tire-world/prob03.pddl

