(define (problem DLOG-2-3-6)
	(:domain driverlog)
	(:objects
	driver1 - driver
	driver2 - 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
	s10 - location
	s11 - location
	p0-2 - location
	p0-8 - location
	p1-4 - location
	p2-3 - location
	p2-6 - location
	p2-7 - location
	p3-1 - location
	p3-9 - location
	p4-0 - location
	p5-0 - location
	p6-4 - location
	p6-7 - location
	p6-8 - location
	p6-10 - location
	p6-11 - location
	p7-1 - location
	p7-10 - location
	p8-4 - location
	p8-11 - location
	p9-7 - location
	p10-0 - location
	p11-0 - location
	p11-1 - location
	p11-4 - location
	p11-10 - location
	)
	(:init
	(at driver1 s0)
	(at driver2 s9)
	(at truck1 s3)
	(empty truck1)
	(= (load truck1) 0)
	(= (fuel-per-minute truck1) 10)
	(at truck2 s9)
	(empty truck2)
	(= (load truck2) 0)
	(= (fuel-per-minute truck2) 10)
	(at truck3 s2)
	(empty truck3)
	(= (load truck3) 0)
	(= (fuel-per-minute truck3) 10)
	(at package1 s4)
	(at package2 s6)
	(at package3 s5)
	(at package4 s6)
	(at package5 s0)
	(at package6 s2)
	(path s0 p0-2)
	(path p0-2 s0)
	(path s2 p0-2)
	(path p0-2 s2)
	(= (time-to-walk s0 p0-2) 13)
	(= (time-to-walk p0-2 s0) 13)
	(= (time-to-walk s2 p0-2) 25)
	(= (time-to-walk p0-2 s2) 25)
	(path s0 p0-8)
	(path p0-8 s0)
	(path s8 p0-8)
	(path p0-8 s8)
	(= (time-to-walk s0 p0-8) 69)
	(= (time-to-walk p0-8 s0) 69)
	(= (time-to-walk s8 p0-8) 42)
	(= (time-to-walk p0-8 s8) 42)
	(path s1 p1-4)
	(path p1-4 s1)
	(path s4 p1-4)
	(path p1-4 s4)
	(= (time-to-walk s1 p1-4) 56)
	(= (time-to-walk p1-4 s1) 56)
	(= (time-to-walk s4 p1-4) 11)
	(= (time-to-walk p1-4 s4) 11)
	(path s2 p2-3)
	(path p2-3 s2)
	(path s3 p2-3)
	(path p2-3 s3)
	(= (time-to-walk s2 p2-3) 65)
	(= (time-to-walk p2-3 s2) 65)
	(= (time-to-walk s3 p2-3) 34)
	(= (time-to-walk p2-3 s3) 34)
	(path s2 p2-6)
	(path p2-6 s2)
	(path s6 p2-6)
	(path p2-6 s6)
	(= (time-to-walk s2 p2-6) 83)
	(= (time-to-walk p2-6 s2) 83)
	(= (time-to-walk s6 p2-6) 63)
	(= (time-to-walk p2-6 s6) 63)
	(path s2 p2-7)
	(path p2-7 s2)
	(path s7 p2-7)
	(path p2-7 s7)
	(= (time-to-walk s2 p2-7) 51)
	(= (time-to-walk p2-7 s2) 51)
	(= (time-to-walk s7 p2-7) 23)
	(= (time-to-walk p2-7 s7) 23)
	(path s3 p3-1)
	(path p3-1 s3)
	(path s1 p3-1)
	(path p3-1 s1)
	(= (time-to-walk s3 p3-1) 100)
	(= (time-to-walk p3-1 s3) 100)
	(= (time-to-walk s1 p3-1) 88)
	(= (time-to-walk p3-1 s1) 88)
	(path s3 p3-9)
	(path p3-9 s3)
	(path s9 p3-9)
	(path p3-9 s9)
	(= (time-to-walk s3 p3-9) 68)
	(= (time-to-walk p3-9 s3) 68)
	(= (time-to-walk s9 p3-9) 35)
	(= (time-to-walk p3-9 s9) 35)
	(path s4 p4-0)
	(path p4-0 s4)
	(path s0 p4-0)
	(path p4-0 s0)
	(= (time-to-walk s4 p4-0) 38)
	(= (time-to-walk p4-0 s4) 38)
	(= (time-to-walk s0 p4-0) 76)
	(= (time-to-walk p4-0 s0) 76)
	(path s5 p5-0)
	(path p5-0 s5)
	(path s0 p5-0)
	(path p5-0 s0)
	(= (time-to-walk s5 p5-0) 82)
	(= (time-to-walk p5-0 s5) 82)
	(= (time-to-walk s0 p5-0) 85)
	(= (time-to-walk p5-0 s0) 85)
	(path s6 p6-4)
	(path p6-4 s6)
	(path s4 p6-4)
	(path p6-4 s4)
	(= (time-to-walk s6 p6-4) 13)
	(= (time-to-walk p6-4 s6) 13)
	(= (time-to-walk s4 p6-4) 59)
	(= (time-to-walk p6-4 s4) 59)
	(path s6 p6-7)
	(path p6-7 s6)
	(path s7 p6-7)
	(path p6-7 s7)
	(= (time-to-walk s6 p6-7) 39)
	(= (time-to-walk p6-7 s6) 39)
	(= (time-to-walk s7 p6-7) 19)
	(= (time-to-walk p6-7 s7) 19)
	(path s6 p6-8)
	(path p6-8 s6)
	(path s8 p6-8)
	(path p6-8 s8)
	(= (time-to-walk s6 p6-8) 20)
	(= (time-to-walk p6-8 s6) 20)
	(= (time-to-walk s8 p6-8) 40)
	(= (time-to-walk p6-8 s8) 40)
	(path s6 p6-10)
	(path p6-10 s6)
	(path s10 p6-10)
	(path p6-10 s10)
	(= (time-to-walk s6 p6-10) 63)
	(= (time-to-walk p6-10 s6) 63)
	(= (time-to-walk s10 p6-10) 24)
	(= (time-to-walk p6-10 s10) 24)
	(path s6 p6-11)
	(path p6-11 s6)
	(path s11 p6-11)
	(path p6-11 s11)
	(= (time-to-walk s6 p6-11) 62)
	(= (time-to-walk p6-11 s6) 62)
	(= (time-to-walk s11 p6-11) 12)
	(= (time-to-walk p6-11 s11) 12)
	(path s7 p7-1)
	(path p7-1 s7)
	(path s1 p7-1)
	(path p7-1 s1)
	(= (time-to-walk s7 p7-1) 21)
	(= (time-to-walk p7-1 s7) 21)
	(= (time-to-walk s1 p7-1) 74)
	(= (time-to-walk p7-1 s1) 74)
	(path s7 p7-10)
	(path p7-10 s7)
	(path s10 p7-10)
	(path p7-10 s10)
	(= (time-to-walk s7 p7-10) 37)
	(= (time-to-walk p7-10 s7) 37)
	(= (time-to-walk s10 p7-10) 90)
	(= (time-to-walk p7-10 s10) 90)
	(path s8 p8-4)
	(path p8-4 s8)
	(path s4 p8-4)
	(path p8-4 s4)
	(= (time-to-walk s8 p8-4) 16)
	(= (time-to-walk p8-4 s8) 16)
	(= (time-to-walk s4 p8-4) 92)
	(= (time-to-walk p8-4 s4) 92)
	(path s8 p8-11)
	(path p8-11 s8)
	(path s11 p8-11)
	(path p8-11 s11)
	(= (time-to-walk s8 p8-11) 100)
	(= (time-to-walk p8-11 s8) 100)
	(= (time-to-walk s11 p8-11) 81)
	(= (time-to-walk p8-11 s11) 81)
	(path s9 p9-7)
	(path p9-7 s9)
	(path s7 p9-7)
	(path p9-7 s7)
	(= (time-to-walk s9 p9-7) 26)
	(= (time-to-walk p9-7 s9) 26)
	(= (time-to-walk s7 p9-7) 83)
	(= (time-to-walk p9-7 s7) 83)
	(path s10 p10-0)
	(path p10-0 s10)
	(path s0 p10-0)
	(path p10-0 s0)
	(= (time-to-walk s10 p10-0) 43)
	(= (time-to-walk p10-0 s10) 43)
	(= (time-to-walk s0 p10-0) 76)
	(= (time-to-walk p10-0 s0) 76)
	(path s11 p11-0)
	(path p11-0 s11)
	(path s0 p11-0)
	(path p11-0 s0)
	(= (time-to-walk s11 p11-0) 5)
	(= (time-to-walk p11-0 s11) 5)
	(= (time-to-walk s0 p11-0) 43)
	(= (time-to-walk p11-0 s0) 43)
	(path s11 p11-1)
	(path p11-1 s11)
	(path s1 p11-1)
	(path p11-1 s1)
	(= (time-to-walk s11 p11-1) 63)
	(= (time-to-walk p11-1 s11) 63)
	(= (time-to-walk s1 p11-1) 73)
	(= (time-to-walk p11-1 s1) 73)
	(path s11 p11-4)
	(path p11-4 s11)
	(path s4 p11-4)
	(path p11-4 s4)
	(= (time-to-walk s11 p11-4) 77)
	(= (time-to-walk p11-4 s11) 77)
	(= (time-to-walk s4 p11-4) 1)
	(= (time-to-walk p11-4 s4) 1)
	(path s11 p11-10)
	(path p11-10 s11)
	(path s10 p11-10)
	(path p11-10 s10)
	(= (time-to-walk s11 p11-10) 48)
	(= (time-to-walk p11-10 s11) 48)
	(= (time-to-walk s10 p11-10) 59)
	(= (time-to-walk p11-10 s10) 59)
	(link s0 s2)
	(link s2 s0)
	(= (time-to-drive s0 s2) 85)
	(= (time-to-drive s2 s0) 85)
	(link s0 s4)
	(link s4 s0)
	(= (time-to-drive s0 s4) 61)
	(= (time-to-drive s4 s0) 61)
	(link s0 s7)
	(link s7 s0)
	(= (time-to-drive s0 s7) 17)
	(= (time-to-drive s7 s0) 17)
	(link s1 s4)
	(link s4 s1)
	(= (time-to-drive s1 s4) 23)
	(= (time-to-drive s4 s1) 23)
	(link s1 s9)
	(link s9 s1)
	(= (time-to-drive s1 s9) 79)
	(= (time-to-drive s9 s1) 79)
	(link s2 s3)
	(link s3 s2)
	(= (time-to-drive s2 s3) 37)
	(= (time-to-drive s3 s2) 37)
	(link s2 s5)
	(link s5 s2)
	(= (time-to-drive s2 s5) 63)
	(= (time-to-drive s5 s2) 63)
	(link s3 s0)
	(link s0 s3)
	(= (time-to-drive s3 s0) 42)
	(= (time-to-drive s0 s3) 42)
	(link s3 s8)
	(link s8 s3)
	(= (time-to-drive s3 s8) 61)
	(= (time-to-drive s8 s3) 61)
	(link s4 s7)
	(link s7 s4)
	(= (time-to-drive s4 s7) 25)
	(= (time-to-drive s7 s4) 25)
	(link s5 s3)
	(link s3 s5)
	(= (time-to-drive s5 s3) 54)
	(= (time-to-drive s3 s5) 54)
	(link s5 s4)
	(link s4 s5)
	(= (time-to-drive s5 s4) 82)
	(= (time-to-drive s4 s5) 82)
	(link s5 s8)
	(link s8 s5)
	(= (time-to-drive s5 s8) 99)
	(= (time-to-drive s8 s5) 99)
	(link s5 s10)
	(link s10 s5)
	(= (time-to-drive s5 s10) 90)
	(= (time-to-drive s10 s5) 90)
	(link s6 s4)
	(link s4 s6)
	(= (time-to-drive s6 s4) 72)
	(= (time-to-drive s4 s6) 72)
	(link s7 s1)
	(link s1 s7)
	(= (time-to-drive s7 s1) 14)
	(= (time-to-drive s1 s7) 14)
	(link s7 s9)
	(link s9 s7)
	(= (time-to-drive s7 s9) 82)
	(= (time-to-drive s9 s7) 82)
	(link s7 s11)
	(link s11 s7)
	(= (time-to-drive s7 s11) 71)
	(= (time-to-drive s11 s7) 71)
	(link s8 s2)
	(link s2 s8)
	(= (time-to-drive s8 s2) 95)
	(= (time-to-drive s2 s8) 95)
	(link s8 s4)
	(link s4 s8)
	(= (time-to-drive s8 s4) 7)
	(= (time-to-drive s4 s8) 7)
	(link s8 s7)
	(link s7 s8)
	(= (time-to-drive s8 s7) 54)
	(= (time-to-drive s7 s8) 54)
	(link s8 s9)
	(link s9 s8)
	(= (time-to-drive s8 s9) 38)
	(= (time-to-drive s9 s8) 38)
	(link s9 s11)
	(link s11 s9)
	(= (time-to-drive s9 s11) 82)
	(= (time-to-drive s11 s9) 82)
	(link s10 s0)
	(link s0 s10)
	(= (time-to-drive s10 s0) 59)
	(= (time-to-drive s0 s10) 59)
	(link s10 s1)
	(link s1 s10)
	(= (time-to-drive s10 s1) 80)
	(= (time-to-drive s1 s10) 80)
	(link s10 s6)
	(link s6 s10)
	(= (time-to-drive s10 s6) 45)
	(= (time-to-drive s6 s10) 45)
	(link s10 s8)
	(link s8 s10)
	(= (time-to-drive s10 s8) 31)
	(= (time-to-drive s8 s10) 31)
	(link s11 s0)
	(link s0 s11)
	(= (time-to-drive s11 s0) 56)
	(= (time-to-drive s0 s11) 56)
	(link s11 s1)
	(link s1 s11)
	(= (time-to-drive s11 s1) 45)
	(= (time-to-drive s1 s11) 45)
	(link s11 s3)
	(link s3 s11)
	(= (time-to-drive s11 s3) 78)
	(= (time-to-drive s3 s11) 78)
	(link s11 s6)
	(link s6 s11)
	(= (time-to-drive s11 s6) 15)
	(= (time-to-drive s6 s11) 15)
	(= (fuel-used) 0)
)
	(:goal (and
	(at driver1 s11)
	(at truck2 s8)
	(at truck3 s4)
	(at package1 s5)
	(at package2 s0)
	(at package3 s4)
	(at package4 s0)
	(at package6 s5)
	))

(:metric minimize (+ (* 2 (total-time)) (* 2 (fuel-used))))

)