(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))))

)
