(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) (= (load truck1) 0) (= (fuel-per-minute truck1) 10) (at truck2 s1) (empty truck2) (= (load truck2) 0) (= (fuel-per-minute truck2) 10) (at truck3 s8) (empty truck3) (= (load truck3) 0) (= (fuel-per-minute truck3) 10) (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) (= (fuel-used) 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 (+ (* 3 (total-time)) (* 4 (fuel-used)))) )