(define (problem DLOG-3-3-6) (:domain driverlog) (:objects driver1 - driver driver2 - driver driver3 - driver truck1 - truck truck2 - truck truck3 - truck package1 - obj package2 - obj package3 - obj package4 - obj package5 - obj package6 - obj s0 - location s1 - location s2 - location s3 - location s4 - location s5 - location s6 - location s7 - location s8 - location s9 - location p0-1 - location p1-2 - location p2-3 - location p2-5 - location p3-2 - location p3-7 - location p4-6 - location p4-7 - location p6-2 - location p6-5 - location p6-8 - location p7-9 - location p8-3 - location p8-5 - location p9-4 - location ) (:init (at driver1 s9) (at driver2 s2) (at driver3 s2) (at truck1 s2) (empty truck1) (at truck2 s1) (empty truck2) (at truck3 s8) (empty truck3) (at package1 s5) (at package2 s5) (at package3 s9) (at package4 s3) (at package5 s1) (at package6 s4) (path s0 p0-1) (path p0-1 s0) (path s1 p0-1) (path p0-1 s1) (= (time-to-walk s0 p0-1) 53) (= (time-to-walk p0-1 s0) 53) (= (time-to-walk s1 p0-1) 81) (= (time-to-walk p0-1 s1) 81) (path s1 p1-2) (path p1-2 s1) (path s2 p1-2) (path p1-2 s2) (= (time-to-walk s1 p1-2) 85) (= (time-to-walk p1-2 s1) 85) (= (time-to-walk s2 p1-2) 15) (= (time-to-walk p1-2 s2) 15) (path s2 p2-3) (path p2-3 s2) (path s3 p2-3) (path p2-3 s3) (= (time-to-walk s2 p2-3) 11) (= (time-to-walk p2-3 s2) 11) (= (time-to-walk s3 p2-3) 51) (= (time-to-walk p2-3 s3) 51) (path s2 p2-5) (path p2-5 s2) (path s5 p2-5) (path p2-5 s5) (= (time-to-walk s2 p2-5) 74) (= (time-to-walk p2-5 s2) 74) (= (time-to-walk s5 p2-5) 24) (= (time-to-walk p2-5 s5) 24) (path s3 p3-7) (path p3-7 s3) (path s7 p3-7) (path p3-7 s7) (= (time-to-walk s3 p3-7) 4) (= (time-to-walk p3-7 s3) 4) (= (time-to-walk s7 p3-7) 97) (= (time-to-walk p3-7 s7) 97) (path s4 p4-6) (path p4-6 s4) (path s6 p4-6) (path p4-6 s6) (= (time-to-walk s4 p4-6) 6) (= (time-to-walk p4-6 s4) 6) (= (time-to-walk s6 p4-6) 41) (= (time-to-walk p4-6 s6) 41) (path s4 p4-7) (path p4-7 s4) (path s7 p4-7) (path p4-7 s7) (= (time-to-walk s4 p4-7) 62) (= (time-to-walk p4-7 s4) 62) (= (time-to-walk s7 p4-7) 61) (= (time-to-walk p4-7 s7) 61) (path s6 p6-2) (path p6-2 s6) (path s2 p6-2) (path p6-2 s2) (= (time-to-walk s6 p6-2) 42) (= (time-to-walk p6-2 s6) 42) (= (time-to-walk s2 p6-2) 94) (= (time-to-walk p6-2 s2) 94) (path s6 p6-5) (path p6-5 s6) (path s5 p6-5) (path p6-5 s5) (= (time-to-walk s6 p6-5) 20) (= (time-to-walk p6-5 s6) 20) (= (time-to-walk s5 p6-5) 51) (= (time-to-walk p6-5 s5) 51) (path s6 p6-8) (path p6-8 s6) (path s8 p6-8) (path p6-8 s8) (= (time-to-walk s6 p6-8) 38) (= (time-to-walk p6-8 s6) 38) (= (time-to-walk s8 p6-8) 16) (= (time-to-walk p6-8 s8) 16) (path s7 p7-9) (path p7-9 s7) (path s9 p7-9) (path p7-9 s9) (= (time-to-walk s7 p7-9) 93) (= (time-to-walk p7-9 s7) 93) (= (time-to-walk s9 p7-9) 100) (= (time-to-walk p7-9 s9) 100) (path s8 p8-3) (path p8-3 s8) (path s3 p8-3) (path p8-3 s3) (= (time-to-walk s8 p8-3) 51) (= (time-to-walk p8-3 s8) 51) (= (time-to-walk s3 p8-3) 33) (= (time-to-walk p8-3 s3) 33) (path s8 p8-5) (path p8-5 s8) (path s5 p8-5) (path p8-5 s5) (= (time-to-walk s8 p8-5) 69) (= (time-to-walk p8-5 s8) 69) (= (time-to-walk s5 p8-5) 70) (= (time-to-walk p8-5 s5) 70) (path s9 p9-4) (path p9-4 s9) (path s4 p9-4) (path p9-4 s4) (= (time-to-walk s9 p9-4) 63) (= (time-to-walk p9-4 s9) 63) (= (time-to-walk s4 p9-4) 86) (= (time-to-walk p9-4 s4) 86) (link s0 s1) (link s1 s0) (= (time-to-drive s0 s1) 18) (= (time-to-drive s1 s0) 18) (link s0 s2) (link s2 s0) (= (time-to-drive s0 s2) 22) (= (time-to-drive s2 s0) 22) (link s0 s5) (link s5 s0) (= (time-to-drive s0 s5) 60) (= (time-to-drive s5 s0) 60) (link s0 s7) (link s7 s0) (= (time-to-drive s0 s7) 70) (= (time-to-drive s7 s0) 70) (link s0 s8) (link s8 s0) (= (time-to-drive s0 s8) 3) (= (time-to-drive s8 s0) 3) (link s1 s3) (link s3 s1) (= (time-to-drive s1 s3) 45) (= (time-to-drive s3 s1) 45) (link s1 s5) (link s5 s1) (= (time-to-drive s1 s5) 84) (= (time-to-drive s5 s1) 84) (link s1 s6) (link s6 s1) (= (time-to-drive s1 s6) 13) (= (time-to-drive s6 s1) 13) (link s2 s3) (link s3 s2) (= (time-to-drive s2 s3) 95) (= (time-to-drive s3 s2) 95) (link s3 s0) (link s0 s3) (= (time-to-drive s3 s0) 58) (= (time-to-drive s0 s3) 58) (link s3 s9) (link s9 s3) (= (time-to-drive s3 s9) 37) (= (time-to-drive s9 s3) 37) (link s4 s1) (link s1 s4) (= (time-to-drive s4 s1) 99) (= (time-to-drive s1 s4) 99) (link s4 s9) (link s9 s4) (= (time-to-drive s4 s9) 54) (= (time-to-drive s9 s4) 54) (link s5 s4) (link s4 s5) (= (time-to-drive s5 s4) 43) (= (time-to-drive s4 s5) 43) (link s6 s3) (link s3 s6) (= (time-to-drive s6 s3) 39) (= (time-to-drive s3 s6) 39) (link s6 s4) (link s4 s6) (= (time-to-drive s6 s4) 15) (= (time-to-drive s4 s6) 15) (link s6 s5) (link s5 s6) (= (time-to-drive s6 s5) 3) (= (time-to-drive s5 s6) 3) (link s7 s1) (link s1 s7) (= (time-to-drive s7 s1) 81) (= (time-to-drive s1 s7) 81) (link s7 s6) (link s6 s7) (= (time-to-drive s7 s6) 8) (= (time-to-drive s6 s7) 8) (link s7 s8) (link s8 s7) (= (time-to-drive s7 s8) 23) (= (time-to-drive s8 s7) 23) (link s8 s1) (link s1 s8) (= (time-to-drive s8 s1) 31) (= (time-to-drive s1 s8) 31) (link s8 s4) (link s4 s8) (= (time-to-drive s8 s4) 46) (= (time-to-drive s4 s8) 46) (link s8 s6) (link s6 s8) (= (time-to-drive s8 s6) 38) (= (time-to-drive s6 s8) 38) (link s9 s7) (link s7 s9) (= (time-to-drive s9 s7) 24) (= (time-to-drive s7 s9) 24) (link s9 s8) (link s8 s9) (= (time-to-drive s9 s8) 45) (= (time-to-drive s8 s9) 45) (= (driven) 0) (= (walked) 0) ) (:goal (and (at driver3 s1) (at truck1 s6) (at truck3 s3) (at package1 s0) (at package2 s0) (at package3 s4) (at package4 s4) (at package5 s3) (at package6 s5) )) (:metric minimize (+ (+ (* 1 (total-time)) (* 3 (driven))) (* 4 (walked)))) )