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

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

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

grt -os unix -d OtherDomains/hanoi/domain.pddl -p OtherDomains/hanoi/prob04.pddl

grt -os unix -d OtherDomains/hanoi/domain.pddl -p OtherDomains/hanoi/prob05.pddl

grt -os unix -d OtherDomains/hanoi/domain.pddl -p OtherDomains/hanoi/prob06.pddl

