(define (problem DEPOTPROB7512)
    (:domain DEPOT)
    (:objects
        DEPOT0 - DEPOT
        DISTRIBUTOR0 - DISTRIBUTOR
        DISTRIBUTOR1 - DISTRIBUTOR
        TRUCK0 - TRUCK
        TRUCK1 - TRUCK
        PALLET0 - PALLET
        PALLET1 - PALLET
        PALLET2 - PALLET
        CRATE0 - CRATE
        CRATE1 - CRATE
        CRATE2 - CRATE
        CRATE3 - CRATE
        HOIST0 - HOIST
        HOIST1 - HOIST
        HOIST2 - HOIST
    )
    (:init
        (AT PALLET0 DEPOT0)
        (CLEAR CRATE0)
        (AT PALLET1 DISTRIBUTOR0)
        (CLEAR CRATE3)
        (AT PALLET2 DISTRIBUTOR1)
        (CLEAR CRATE2)
        (AT TRUCK0 DEPOT0)
        (= (CURRENT_LOAD TRUCK0) 0)
        (= (LOAD_LIMIT TRUCK0) 411)
        (AT TRUCK1 DEPOT0)
        (= (CURRENT_LOAD TRUCK1) 0)
        (= (LOAD_LIMIT TRUCK1) 390)
        (AT HOIST0 DEPOT0)
        (AVAILABLE HOIST0)
        (AT HOIST1 DISTRIBUTOR0)
        (AVAILABLE HOIST1)
        (AT HOIST2 DISTRIBUTOR1)
        (AVAILABLE HOIST2)
        (AT CRATE0 DEPOT0)
        (ON CRATE0 PALLET0)
        (= (WEIGHT CRATE0) 32)
        (AT CRATE1 DISTRIBUTOR1)
        (ON CRATE1 PALLET2)
        (= (WEIGHT CRATE1) 4)
        (AT CRATE2 DISTRIBUTOR1)
        (ON CRATE2 CRATE1)
        (= (WEIGHT CRATE2) 89)
        (AT CRATE3 DISTRIBUTOR0)
        (ON CRATE3 PALLET1)
        (= (WEIGHT CRATE3) 62)
        (= (FUEL-COST) 0)
        (= (PSP_V-1) 1)
        (= (PSP_V-2) 1)
        (= (PSP_V-3) 0)
        (= (PSP_START_METRIC) 1)
        (= (PSP_MAX_METRIC) 7)
    )
    (:goal
        (and (ON CRATE0 PALLET2)
            (ON CRATE3 PALLET1)
            (<= (PSP_START_METRIC)(+ (*  1(PSP_V-1))(+ (*  2(PSP_V-2))(*  4(PSP_V-3)))))
        )
    )
    (:metric MINIMIZE
        (FUEL-COST)
    )
)