echo PROBLEM1
altalt  OtherDomains/hanoi/domain.pddl  OtherDomains/hanoi/prob01.pddl
echo PROBLEM2
altalt  OtherDomains/hanoi/domain.pddl  OtherDomains/hanoi/prob02.pddl
echo PROBLEM3
altalt  OtherDomains/hanoi/domain.pddl  OtherDomains/hanoi/prob03.pddl
echo PROBLEM4
altalt  OtherDomains/hanoi/domain.pddl  OtherDomains/hanoi/prob04.pddl
echo PROBLEM5
altalt  OtherDomains/hanoi/domain.pddl  OtherDomains/hanoi/prob05.pddl
echo PROBLEM6
altalt  OtherDomains/hanoi/domain.pddl  OtherDomains/hanoi/prob06.pddl

