The PDDL domain is from AIPS-2000:
~/AIPS-2000DataFiles/2000-Tests/Elevator/m10-strips
