2020-T-ASE/pddl/problem-CIIRC-Testbed-TASE-1.pddl

296 lines
17 KiB
Text
Raw Normal View History

(define (problem CIIRC-Testbed-TASE-1)
(:domain CIIRC-Testbed-TASE)
(:objects
P_MaintenanceEngineer-1 - Person
E_PositioningUnit-MachiningCenter-3 - Equipment
E_Shuttle-3 - Equipment
E_Table-2 - Equipment
E_PositioningUnit-MachiningCenter-2 - Equipment
E_PositioningUnit-Buffer - Equipment
E_Shuttle-2 - Equipment
E_PositioningUnit-IO-1 - Equipment
E_Robot-1 - Equipment
E_Robot-10 - Equipment
E_Table-10 - Equipment
E_Table-1 - Equipment
E_Shuttle-1 - Equipment
E_Table-3 - Equipment
E_Robot-3 - Equipment
E_PositioningUnit-MachiningCenter-1 - Equipment
E_PositioningUnit-IO-2 - Equipment
E_Robot-2 - Equipment
ML_TruckBaseplate-Table-2 - MaterialLot
ML_TruckBaseplate-Shuttle-2 - MaterialLot
ML_Cabin-Yellow-1 - MaterialLot
ML_Body-OpenTop-Blue-1 - MaterialLot
ML_TruckBaseplate-Table-1 - MaterialLot
ML_TruckBaseplate-Shuttle-1 - MaterialLot
ML_TruckBaseplate-Table-10 - MaterialLot
ML_Chassis-Black-1 - MaterialLot
ML_OpenTop-Black-Yellow-Blue-1 - MaterialLot
ML_TruckBaseplate-Table-3 - MaterialLot
ML_TruckBaseplate-Shuttle-3 - MaterialLot
)
(:init
(= (total-cost) 0)
(MaterialClassed MD_StakeBed-White-White-White MC_Truck)
(MaterialDefinitionAssembly MD_StakeBed-White-White-White MD_Body-StakeBed-White)
(MaterialDefinitionAssembly MD_StakeBed-White-White-White MD_Cabin-White)
(MaterialDefinitionAssembly MD_StakeBed-White-White-White MD_Chassis-White)
(MaterialClassed MD_Cabin-Silver MC_Pickable)
(MaterialClassed MD_Cabin-Silver MC_TruckComponent)
(MaterialClassed MD_Cabin-Silver MC_Cabin)
(MaterialClassed MD_StakeBed-Black-Blue-White MC_Truck)
(MaterialDefinitionAssembly MD_StakeBed-Black-Blue-White MD_Chassis-Black)
(MaterialDefinitionAssembly MD_StakeBed-Black-Blue-White MD_Cabin-Blue)
(MaterialDefinitionAssembly MD_StakeBed-Black-Blue-White MD_Body-StakeBed-White)
(MaterialClassed MD_Body-Dumper-Yellow MC_Pickable)
(MaterialClassed MD_Body-Dumper-Yellow MC_TruckComponent)
(MaterialClassed MD_Body-Dumper-Yellow MC_Body)
(MaterialClassed MD_Dumper-White-Transparent-Yellow MC_Truck)
(MaterialDefinitionAssembly MD_Dumper-White-Transparent-Yellow MD_Chassis-White)
(MaterialDefinitionAssembly MD_Dumper-White-Transparent-Yellow MD_Cabin-Transparent)
(MaterialDefinitionAssembly MD_Dumper-White-Transparent-Yellow MD_Body-Dumper-Yellow)
(MaterialClassed MD_Tank-Black-White-Black MC_Truck)
(MaterialDefinitionAssembly MD_Tank-Black-White-Black MD_Chassis-Black)
(MaterialDefinitionAssembly MD_Tank-Black-White-Black MD_Cabin-White)
(MaterialDefinitionAssembly MD_Tank-Black-White-Black MD_Body-Tank-Black)
(MaterialClassed MD_Body-OpenTop-Blue MC_Pickable)
(MaterialClassed MD_Body-OpenTop-Blue MC_TruckComponent)
(MaterialClassed MD_Body-OpenTop-Blue MC_Body)
(MaterialClassed MD_TruckBaseplate MC_Baseplate)
(MaterialClassed MD_TruckBaseplate MC_TruckComponent)
(MaterialClassed MD_Chassis-Black MC_Pickable)
(MaterialClassed MD_Chassis-Black MC_TruckComponent)
(MaterialClassed MD_Chassis-Black MC_Chassis)
(MaterialClassed MD_Cabin-Yellow MC_Pickable)
(MaterialClassed MD_Cabin-Yellow MC_TruckComponent)
(MaterialClassed MD_Cabin-Yellow MC_Cabin)
(MaterialClassed MD_Body-Tank-Black MC_Pickable)
(MaterialClassed MD_Body-Tank-Black MC_TruckComponent)
(MaterialClassed MD_Body-Tank-Black MC_Body)
(MaterialClassed MD_Cabin-Blue MC_Pickable)
(MaterialClassed MD_Cabin-Blue MC_TruckComponent)
(MaterialClassed MD_Cabin-Blue MC_Cabin)
(MaterialClassed MD_OpenTop-Black-Yellow-Blue MC_Truck)
(MaterialDefinitionAssembly MD_OpenTop-Black-Yellow-Blue MD_Chassis-Black)
(MaterialDefinitionAssembly MD_OpenTop-Black-Yellow-Blue MD_Cabin-Yellow)
(MaterialDefinitionAssembly MD_OpenTop-Black-Yellow-Blue MD_Body-OpenTop-Blue)
(MaterialClassed MD_Dumper-White-Silver-Silver MC_Truck)
(MaterialDefinitionAssembly MD_Dumper-White-Silver-Silver MD_Chassis-White)
(MaterialDefinitionAssembly MD_Dumper-White-Silver-Silver MD_Cabin-Silver)
(MaterialDefinitionAssembly MD_Dumper-White-Silver-Silver MD_Body-Dumper-Silver)
(MaterialClassed MD_Body-Dumper-Silver MC_Pickable)
(MaterialClassed MD_Body-Dumper-Silver MC_TruckComponent)
(MaterialClassed MD_Body-Dumper-Silver MC_Body)
(MaterialClassed MD_Chassis-White MC_Pickable)
(MaterialClassed MD_Chassis-White MC_TruckComponent)
(MaterialClassed MD_Chassis-White MC_Chassis)
(MaterialClassed MD_Cabin-Transparent MC_Pickable)
(MaterialClassed MD_Cabin-Transparent MC_TruckComponent)
(MaterialClassed MD_Cabin-Transparent MC_Cabin)
(MaterialClassed MD_Body-StakeBed-White MC_Pickable)
(MaterialClassed MD_Body-StakeBed-White MC_TruckComponent)
(MaterialClassed MD_Body-StakeBed-White MC_Body)
(MaterialClassed MD_Tank-Black-Blue-Silver MC_Truck)
(MaterialDefinitionAssembly MD_Tank-Black-Blue-Silver MD_Chassis-Black)
(MaterialDefinitionAssembly MD_Tank-Black-Blue-Silver MD_Cabin-Blue)
(MaterialDefinitionAssembly MD_Tank-Black-Blue-Silver MD_Body-Tank-Silver)
(MaterialClassed MD_Cabin-White MC_Pickable)
(MaterialClassed MD_Cabin-White MC_TruckComponent)
(MaterialClassed MD_Cabin-White MC_Cabin)
(MaterialClassed MD_Body-Tank-Silver MC_Pickable)
(MaterialClassed MD_Body-Tank-Silver MC_TruckComponent)
(MaterialClassed MD_Body-Tank-Silver MC_Body)
(PersonClassed P_MaintenanceEngineer-1 PC_MaintenanceEngineer)
(EquipmentClassed E_PositioningUnit-MachiningCenter-3 EC_PositioningUnit)
(EquipmentClassed E_PositioningUnit-MachiningCenter-3 EC_TransportationNode)
(EquipmentClassed E_Shuttle-3 EC_Shuttle)
(EquipmentClassed E_Shuttle-3 EC_BaseplateCarrier)
(EquipmentClassed E_Table-2 EC_Table)
(EquipmentClassed E_Table-2 EC_BaseplateCarrier)
(EquipmentClassed E_PositioningUnit-MachiningCenter-2 EC_PositioningUnit)
(EquipmentClassed E_PositioningUnit-MachiningCenter-2 EC_TransportationNode)
(EquipmentClassed E_PositioningUnit-Buffer EC_PositioningUnit)
(EquipmentClassed E_PositioningUnit-Buffer EC_TransportationNode)
(EquipmentClassed E_Shuttle-2 EC_Shuttle)
(EquipmentClassed E_Shuttle-2 EC_BaseplateCarrier)
(EquipmentClassed E_PositioningUnit-IO-1 EC_PositioningUnit)
(EquipmentClassed E_PositioningUnit-IO-1 EC_TransportationNode)
(EquipmentClassed E_Robot-1 EC_Robot)
(EquipmentClassed E_Robot-10 EC_Robot)
(EquipmentClassed E_Table-10 EC_Table)
(EquipmentClassed E_Table-10 EC_BaseplateCarrier)
(EquipmentClassed E_Table-1 EC_Table)
(EquipmentClassed E_Table-1 EC_BaseplateCarrier)
(EquipmentClassed E_Shuttle-1 EC_Shuttle)
(EquipmentClassed E_Shuttle-1 EC_BaseplateCarrier)
(EquipmentClassed E_Table-3 EC_Table)
(EquipmentClassed E_Table-3 EC_BaseplateCarrier)
(EquipmentClassed E_Robot-3 EC_Robot)
(EquipmentClassed E_PositioningUnit-MachiningCenter-1 EC_PositioningUnit)
(EquipmentClassed E_PositioningUnit-MachiningCenter-1 EC_TransportationNode)
(EquipmentClassed E_PositioningUnit-IO-2 EC_PositioningUnit)
(EquipmentClassed E_PositioningUnit-IO-2 EC_TransportationNode)
(EquipmentClassed E_Robot-2 EC_Robot)
(MaterialDefined ML_TruckBaseplate-Table-2 MD_TruckBaseplate)
(MaterialRaw ML_TruckBaseplate-Table-2)
(MaterialLotClassed ML_TruckBaseplate-Table-2 MC_Baseplate)
(MaterialLotClassed ML_TruckBaseplate-Table-2 MC_TruckComponent)
(MaterialDefined ML_TruckBaseplate-Shuttle-2 MD_TruckBaseplate)
(MaterialRaw ML_TruckBaseplate-Shuttle-2)
(MaterialLotClassed ML_TruckBaseplate-Shuttle-2 MC_Baseplate)
(MaterialLotClassed ML_TruckBaseplate-Shuttle-2 MC_TruckComponent)
(MaterialDefined ML_Cabin-Yellow-1 MD_Cabin-Yellow)
(MaterialRaw ML_Cabin-Yellow-1)
(MaterialLotClassed ML_Cabin-Yellow-1 MC_Pickable)
(MaterialLotClassed ML_Cabin-Yellow-1 MC_TruckComponent)
(MaterialLotClassed ML_Cabin-Yellow-1 MC_Cabin)
(MaterialDefined ML_Body-OpenTop-Blue-1 MD_Body-OpenTop-Blue)
(MaterialRaw ML_Body-OpenTop-Blue-1)
(MaterialLotClassed ML_Body-OpenTop-Blue-1 MC_Pickable)
(MaterialLotClassed ML_Body-OpenTop-Blue-1 MC_TruckComponent)
(MaterialLotClassed ML_Body-OpenTop-Blue-1 MC_Body)
(MaterialDefined ML_TruckBaseplate-Table-1 MD_TruckBaseplate)
(MaterialRaw ML_TruckBaseplate-Table-1)
(MaterialLotClassed ML_TruckBaseplate-Table-1 MC_Baseplate)
(MaterialLotClassed ML_TruckBaseplate-Table-1 MC_TruckComponent)
(MaterialDefined ML_TruckBaseplate-Shuttle-1 MD_TruckBaseplate)
(MaterialRaw ML_TruckBaseplate-Shuttle-1)
(MaterialLotClassed ML_TruckBaseplate-Shuttle-1 MC_Baseplate)
(MaterialLotClassed ML_TruckBaseplate-Shuttle-1 MC_TruckComponent)
(MaterialDefined ML_TruckBaseplate-Table-10 MD_TruckBaseplate)
(MaterialRaw ML_TruckBaseplate-Table-10)
(MaterialLotClassed ML_TruckBaseplate-Table-10 MC_Baseplate)
(MaterialLotClassed ML_TruckBaseplate-Table-10 MC_TruckComponent)
(MaterialDefined ML_Chassis-Black-1 MD_Chassis-Black)
(MaterialRaw ML_Chassis-Black-1)
(MaterialLotClassed ML_Chassis-Black-1 MC_Pickable)
(MaterialLotClassed ML_Chassis-Black-1 MC_TruckComponent)
(MaterialLotClassed ML_Chassis-Black-1 MC_Chassis)
(MaterialDefined ML_OpenTop-Black-Yellow-Blue-1 MD_OpenTop-Black-Yellow-Blue)
(MaterialRaw ML_OpenTop-Black-Yellow-Blue-1)
(MaterialLotClassed ML_OpenTop-Black-Yellow-Blue-1 MC_Truck)
(MaterialDefined ML_TruckBaseplate-Table-3 MD_TruckBaseplate)
(MaterialRaw ML_TruckBaseplate-Table-3)
(MaterialLotClassed ML_TruckBaseplate-Table-3 MC_Baseplate)
(MaterialLotClassed ML_TruckBaseplate-Table-3 MC_TruckComponent)
(MaterialDefined ML_TruckBaseplate-Shuttle-3 MD_TruckBaseplate)
(MaterialRaw ML_TruckBaseplate-Shuttle-3)
(MaterialLotClassed ML_TruckBaseplate-Shuttle-3 MC_Baseplate)
(MaterialLotClassed ML_TruckBaseplate-Shuttle-3 MC_TruckComponent)
(TransportationNodeOccupied E_PositioningUnit-Buffer)
(TransportationNodeOccupied E_PositioningUnit-IO-1)
(TransportationNodeOccupied E_PositioningUnit-IO-2)
(RobotEnabled E_Robot-1)
(RobotEnabled E_Robot-10)
(RobotEnabled E_Robot-3)
(RobotEnabled E_Robot-2)
(ClassMountable MC_Cabin MC_Chassis)
(ClassMountable MC_Body MC_Chassis)
(ClassMountable MC_Cabin MC_Baseplate)
(ClassMountable MC_Body MC_Baseplate)
(ClassMountable MC_Chassis MC_Baseplate)
(ReachesTo E_Robot-1 E_Table-1)
(ReachesTo E_Robot-1 E_PositioningUnit-MachiningCenter-1)
(ReachesTo E_Robot-1 E_PositioningUnit-MachiningCenter-2)
(ReachesTo E_Robot-2 E_Table-2)
(ReachesTo E_Robot-2 E_PositioningUnit-MachiningCenter-2)
(ReachesTo E_Robot-2 E_PositioningUnit-MachiningCenter-3)
(ReachesTo E_Robot-3 E_Table-3)
(ReachesTo E_Robot-3 E_PositioningUnit-MachiningCenter-3)
(ReachesTo E_Robot-10 E_Table-10)
(ReachesTo E_Robot-10 E_PositioningUnit-MachiningCenter-1)
(MaterialLocation ML_TruckBaseplate-Table-1 E_Table-1)
(MaterialLocation ML_TruckBaseplate-Table-2 E_Table-2)
(MaterialLocation ML_TruckBaseplate-Table-3 E_Table-3)
(MaterialLocation ML_TruckBaseplate-Table-10 E_Table-10)
(MaterialLocation ML_TruckBaseplate-Shuttle-1 E_Shuttle-1)
(MaterialLocation ML_TruckBaseplate-Shuttle-2 E_Shuttle-2)
(MaterialLocation ML_TruckBaseplate-Shuttle-3 E_Shuttle-3)
(Mounted ML_Chassis-Black-1 ML_TruckBaseplate-Table-3)
(Mounted ML_Body-OpenTop-Blue-1 ML_TruckBaseplate-Table-2)
(Mounted ML_Cabin-Yellow-1 ML_TruckBaseplate-Table-1)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-3 E_PositioningUnit-MachiningCenter-2)
(= (shuttle-time E_PositioningUnit-MachiningCenter-3 E_PositioningUnit-MachiningCenter-2) 25)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-3 E_PositioningUnit-MachiningCenter-1)
(= (shuttle-time E_PositioningUnit-MachiningCenter-3 E_PositioningUnit-MachiningCenter-1) 30)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-3 E_PositioningUnit-Buffer)
(= (shuttle-time E_PositioningUnit-MachiningCenter-3 E_PositioningUnit-Buffer) 54)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-3 E_PositioningUnit-IO-1)
(= (shuttle-time E_PositioningUnit-MachiningCenter-3 E_PositioningUnit-IO-1) 78)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-3 E_PositioningUnit-IO-2)
(= (shuttle-time E_PositioningUnit-MachiningCenter-3 E_PositioningUnit-IO-2) 37)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-2 E_PositioningUnit-MachiningCenter-3)
(= (shuttle-time E_PositioningUnit-MachiningCenter-2 E_PositioningUnit-MachiningCenter-3) 25)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-2 E_PositioningUnit-MachiningCenter-1)
(= (shuttle-time E_PositioningUnit-MachiningCenter-2 E_PositioningUnit-MachiningCenter-1) 35)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-2 E_PositioningUnit-Buffer)
(= (shuttle-time E_PositioningUnit-MachiningCenter-2 E_PositioningUnit-Buffer) 59)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-2 E_PositioningUnit-IO-1)
(= (shuttle-time E_PositioningUnit-MachiningCenter-2 E_PositioningUnit-IO-1) 83)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-2 E_PositioningUnit-IO-2)
(= (shuttle-time E_PositioningUnit-MachiningCenter-2 E_PositioningUnit-IO-2) 42)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-1 E_PositioningUnit-MachiningCenter-3)
(= (shuttle-time E_PositioningUnit-MachiningCenter-1 E_PositioningUnit-MachiningCenter-3) 28)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-1 E_PositioningUnit-MachiningCenter-2)
(= (shuttle-time E_PositioningUnit-MachiningCenter-1 E_PositioningUnit-MachiningCenter-2) 33)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-1 E_PositioningUnit-Buffer)
(= (shuttle-time E_PositioningUnit-MachiningCenter-1 E_PositioningUnit-Buffer) 62)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-1 E_PositioningUnit-IO-1)
(= (shuttle-time E_PositioningUnit-MachiningCenter-1 E_PositioningUnit-IO-1) 86)
(TransportationNodeConnection E_PositioningUnit-MachiningCenter-1 E_PositioningUnit-IO-2)
(= (shuttle-time E_PositioningUnit-MachiningCenter-1 E_PositioningUnit-IO-2) 45)
(TransportationNodeConnection E_PositioningUnit-Buffer E_PositioningUnit-MachiningCenter-3)
(= (shuttle-time E_PositioningUnit-Buffer E_PositioningUnit-MachiningCenter-3) 30)
(TransportationNodeConnection E_PositioningUnit-Buffer E_PositioningUnit-MachiningCenter-2)
(= (shuttle-time E_PositioningUnit-Buffer E_PositioningUnit-MachiningCenter-2) 35)
(TransportationNodeConnection E_PositioningUnit-Buffer E_PositioningUnit-MachiningCenter-1)
(= (shuttle-time E_PositioningUnit-Buffer E_PositioningUnit-MachiningCenter-1) 40)
(TransportationNodeConnection E_PositioningUnit-Buffer E_PositioningUnit-IO-1)
(= (shuttle-time E_PositioningUnit-Buffer E_PositioningUnit-IO-1) 26)
(TransportationNodeConnection E_PositioningUnit-Buffer E_PositioningUnit-IO-2)
(= (shuttle-time E_PositioningUnit-Buffer E_PositioningUnit-IO-2) 47)
(TransportationNodeConnection E_PositioningUnit-IO-1 E_PositioningUnit-MachiningCenter-3)
(= (shuttle-time E_PositioningUnit-IO-1 E_PositioningUnit-MachiningCenter-3) 18)
(TransportationNodeConnection E_PositioningUnit-IO-1 E_PositioningUnit-MachiningCenter-2)
(= (shuttle-time E_PositioningUnit-IO-1 E_PositioningUnit-MachiningCenter-2) 23)
(TransportationNodeConnection E_PositioningUnit-IO-1 E_PositioningUnit-MachiningCenter-1)
(= (shuttle-time E_PositioningUnit-IO-1 E_PositioningUnit-MachiningCenter-1) 28)
(TransportationNodeConnection E_PositioningUnit-IO-1 E_PositioningUnit-Buffer)
(= (shuttle-time E_PositioningUnit-IO-1 E_PositioningUnit-Buffer) 52)
(TransportationNodeConnection E_PositioningUnit-IO-1 E_PositioningUnit-IO-2)
(= (shuttle-time E_PositioningUnit-IO-1 E_PositioningUnit-IO-2) 36)
(TransportationNodeConnection E_PositioningUnit-IO-2 E_PositioningUnit-MachiningCenter-3)
(= (shuttle-time E_PositioningUnit-IO-2 E_PositioningUnit-MachiningCenter-3) 51)
(TransportationNodeConnection E_PositioningUnit-IO-2 E_PositioningUnit-MachiningCenter-2)
(= (shuttle-time E_PositioningUnit-IO-2 E_PositioningUnit-MachiningCenter-2) 56)
(TransportationNodeConnection E_PositioningUnit-IO-2 E_PositioningUnit-MachiningCenter-1)
(= (shuttle-time E_PositioningUnit-IO-2 E_PositioningUnit-MachiningCenter-1) 61)
(TransportationNodeConnection E_PositioningUnit-IO-2 E_PositioningUnit-Buffer)
(= (shuttle-time E_PositioningUnit-IO-2 E_PositioningUnit-Buffer) 22)
(TransportationNodeConnection E_PositioningUnit-IO-2 E_PositioningUnit-IO-1)
(= (shuttle-time E_PositioningUnit-IO-2 E_PositioningUnit-IO-1) 47)
(EquipmentLocation E_Shuttle-2 E_PositioningUnit-IO-2)
(TransportationNodeOccupied E_PositioningUnit-IO-2)
(EquipmentLocation E_Shuttle-3 E_PositioningUnit-Buffer)
(TransportationNodeOccupied E_PositioningUnit-Buffer)
(EquipmentLocation E_Shuttle-1 E_PositioningUnit-IO-1)
(TransportationNodeOccupied E_PositioningUnit-IO-1)
)
(:goal
(and
(Mounted ML_OpenTop-Black-Yellow-Blue-1 ML_TruckBaseplate-Table-10)
(MaterialLotAssembly ML_OpenTop-Black-Yellow-Blue-1 ML_Body-OpenTop-Blue-1)
(MaterialLotAssembly ML_OpenTop-Black-Yellow-Blue-1 ML_Cabin-Yellow-1)
(MaterialLotAssembly ML_OpenTop-Black-Yellow-Blue-1 ML_Chassis-Black-1)
)
)
(:metric minimize (total-cost))
)