(define (problem DLOG-2-2-2) (:domain driverlog) (:objects driver1 - driver driver2 - driver truck1 - truck truck2 - truck package1 - obj package2 - obj s0 - location s1 - location s2 - location p1-0 - location p1-2 - location ) (:init (at driver1 s2) (at driver2 s2) (at truck1 s0) (empty truck1) (= (load truck1) 0) (= (fuel-per-minute truck1) 10) (at truck2 s0) (empty truck2) (= (load truck2) 0) (= (fuel-per-minute truck2) 10) (at package1 s0) (at package2 s0) (path s1 p1-0) (path p1-0 s1) (path s0 p1-0) (path p1-0 s0) (= (time-to-walk s1 p1-0) 43) (= (time-to-walk p1-0 s1) 43) (= (time-to-walk s0 p1-0) 80) (= (time-to-walk p1-0 s0) 80) (path s1 p1-2) (path p1-2 s1) (path s2 p1-2) (path p1-2 s2) (= (time-to-walk s1 p1-2) 29) (= (time-to-walk p1-2 s1) 29) (= (time-to-walk s2 p1-2) 79) (= (time-to-walk p1-2 s2) 79) (link s0 s1) (link s1 s0) (= (time-to-drive s0 s1) 70) (= (time-to-drive s1 s0) 70) (link s0 s2) (link s2 s0) (= (time-to-drive s0 s2) 47) (= (time-to-drive s2 s0) 47) (link s2 s1) (link s1 s2) (= (time-to-drive s2 s1) 24) (= (time-to-drive s1 s2) 24) (= (fuel-used) 0) ) (:goal (and (at driver1 s1) (at truck1 s1) (at package1 s0) (at package2 s0) )) (:metric minimize (+ (* 1 (total-time)) (* 3 (fuel-used)))) )