(define (problem DLOG-30-30-50)
	(:domain driverlog)
	(:objects
	driver1 - driver
	driver2 - driver
	driver3 - driver
	driver4 - driver
	driver5 - driver
	driver6 - driver
	driver7 - driver
	driver8 - driver
	driver9 - driver
	driver10 - driver
	driver11 - driver
	driver12 - driver
	driver13 - driver
	driver14 - driver
	driver15 - driver
	driver16 - driver
	driver17 - driver
	driver18 - driver
	driver19 - driver
	driver20 - driver
	driver21 - driver
	driver22 - driver
	driver23 - driver
	driver24 - driver
	driver25 - driver
	driver26 - driver
	driver27 - driver
	driver28 - driver
	driver29 - driver
	driver30 - driver
	truck1 - truck
	truck2 - truck
	truck3 - truck
	truck4 - truck
	truck5 - truck
	truck6 - truck
	truck7 - truck
	truck8 - truck
	truck9 - truck
	truck10 - truck
	truck11 - truck
	truck12 - truck
	truck13 - truck
	truck14 - truck
	truck15 - truck
	truck16 - truck
	truck17 - truck
	truck18 - truck
	truck19 - truck
	truck20 - truck
	truck21 - truck
	truck22 - truck
	truck23 - truck
	truck24 - truck
	truck25 - truck
	truck26 - truck
	truck27 - truck
	truck28 - truck
	truck29 - truck
	truck30 - truck
	package1 - obj
	package2 - obj
	package3 - obj
	package4 - obj
	package5 - obj
	package6 - obj
	package7 - obj
	package8 - obj
	package9 - obj
	package10 - obj
	package11 - obj
	package12 - obj
	package13 - obj
	package14 - obj
	package15 - obj
	package16 - obj
	package17 - obj
	package18 - obj
	package19 - obj
	package20 - obj
	package21 - obj
	package22 - obj
	package23 - obj
	package24 - obj
	package25 - obj
	package26 - obj
	package27 - obj
	package28 - obj
	package29 - obj
	package30 - obj
	package31 - obj
	package32 - obj
	package33 - obj
	package34 - obj
	package35 - obj
	package36 - obj
	package37 - obj
	package38 - obj
	package39 - obj
	package40 - obj
	package41 - obj
	package42 - obj
	package43 - obj
	package44 - obj
	package45 - obj
	package46 - obj
	package47 - obj
	package48 - obj
	package49 - obj
	package50 - 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
	s12 - location
	s13 - location
	s14 - location
	s15 - location
	s16 - location
	s17 - location
	s18 - location
	s19 - location
	s20 - location
	s21 - location
	s22 - location
	s23 - location
	s24 - location
	s25 - location
	s26 - location
	s27 - location
	s28 - location
	s29 - location
	p0-1 - location
	p0-3 - location
	p1-4 - location
	p1-18 - location
	p2-0 - location
	p4-5 - location
	p4-7 - location
	p4-27 - location
	p5-6 - location
	p5-12 - location
	p5-16 - location
	p6-9 - location
	p6-27 - location
	p7-17 - location
	p8-29 - location
	p9-10 - location
	p9-16 - location
	p9-18 - location
	p10-15 - location
	p10-20 - location
	p10-21 - location
	p10-22 - location
	p10-27 - location
	p11-2 - location
	p11-16 - location
	p12-13 - location
	p13-11 - location
	p13-18 - location
	p13-20 - location
	p14-1 - location
	p14-16 - location
	p15-17 - location
	p15-25 - location
	p15-28 - location
	p16-0 - location
	p17-27 - location
	p18-8 - location
	p19-11 - location
	p19-21 - location
	p19-28 - location
	p20-2 - location
	p20-14 - location
	p21-3 - location
	p21-16 - location
	p21-17 - location
	p22-13 - location
	p22-14 - location
	p22-20 - location
	p22-21 - location
	p22-23 - location
	p22-24 - location
	p23-20 - location
	p23-24 - location
	p23-26 - location
	p24-21 - location
	p24-25 - location
	p25-14 - location
	p25-18 - location
	p25-28 - location
	p27-16 - location
	p28-24 - location
	p29-11 - location
	p29-16 - location
	p29-19 - location
	)
	(:init
	(at driver1 s14)
	(at driver2 s18)
	(at driver3 s14)
	(at driver4 s16)
	(at driver5 s17)
	(at driver6 s10)
	(at driver7 s26)
	(at driver8 s10)
	(at driver9 s14)
	(at driver10 s9)
	(at driver11 s15)
	(at driver12 s0)
	(at driver13 s9)
	(at driver14 s11)
	(at driver15 s19)
	(at driver16 s24)
	(at driver17 s9)
	(at driver18 s9)
	(at driver19 s1)
	(at driver20 s29)
	(at driver21 s14)
	(at driver22 s7)
	(at driver23 s0)
	(at driver24 s8)
	(at driver25 s20)
	(at driver26 s13)
	(at driver27 s28)
	(at driver28 s29)
	(at driver29 s27)
	(at driver30 s5)
	(at truck1 s21)
	(empty truck1)
	(at truck2 s29)
	(empty truck2)
	(at truck3 s18)
	(empty truck3)
	(at truck4 s1)
	(empty truck4)
	(at truck5 s26)
	(empty truck5)
	(at truck6 s19)
	(empty truck6)
	(at truck7 s21)
	(empty truck7)
	(at truck8 s29)
	(empty truck8)
	(at truck9 s23)
	(empty truck9)
	(at truck10 s17)
	(empty truck10)
	(at truck11 s21)
	(empty truck11)
	(at truck12 s20)
	(empty truck12)
	(at truck13 s15)
	(empty truck13)
	(at truck14 s16)
	(empty truck14)
	(at truck15 s3)
	(empty truck15)
	(at truck16 s27)
	(empty truck16)
	(at truck17 s22)
	(empty truck17)
	(at truck18 s28)
	(empty truck18)
	(at truck19 s25)
	(empty truck19)
	(at truck20 s15)
	(empty truck20)
	(at truck21 s27)
	(empty truck21)
	(at truck22 s16)
	(empty truck22)
	(at truck23 s20)
	(empty truck23)
	(at truck24 s9)
	(empty truck24)
	(at truck25 s20)
	(empty truck25)
	(at truck26 s16)
	(empty truck26)
	(at truck27 s8)
	(empty truck27)
	(at truck28 s26)
	(empty truck28)
	(at truck29 s9)
	(empty truck29)
	(at truck30 s14)
	(empty truck30)
	(at package1 s15)
	(at package2 s6)
	(at package3 s13)
	(at package4 s27)
	(at package5 s19)
	(at package6 s14)
	(at package7 s3)
	(at package8 s7)
	(at package9 s24)
	(at package10 s19)
	(at package11 s8)
	(at package12 s13)
	(at package13 s26)
	(at package14 s1)
	(at package15 s14)
	(at package16 s10)
	(at package17 s14)
	(at package18 s20)
	(at package19 s26)
	(at package20 s28)
	(at package21 s12)
	(at package22 s4)
	(at package23 s23)
	(at package24 s27)
	(at package25 s27)
	(at package26 s14)
	(at package27 s4)
	(at package28 s5)
	(at package29 s14)
	(at package30 s11)
	(at package31 s9)
	(at package32 s26)
	(at package33 s6)
	(at package34 s24)
	(at package35 s16)
	(at package36 s3)
	(at package37 s29)
	(at package38 s8)
	(at package39 s7)
	(at package40 s21)
	(at package41 s8)
	(at package42 s7)
	(at package43 s2)
	(at package44 s19)
	(at package45 s29)
	(at package46 s16)
	(at package47 s21)
	(at package48 s27)
	(at package49 s27)
	(at package50 s15)
	(path s0 p0-1)
	(path p0-1 s0)
	(path s1 p0-1)
	(path p0-1 s1)
	(path s0 p0-3)
	(path p0-3 s0)
	(path s3 p0-3)
	(path p0-3 s3)
	(path s1 p1-4)
	(path p1-4 s1)
	(path s4 p1-4)
	(path p1-4 s4)
	(path s1 p1-18)
	(path p1-18 s1)
	(path s18 p1-18)
	(path p1-18 s18)
	(path s2 p2-0)
	(path p2-0 s2)
	(path s0 p2-0)
	(path p2-0 s0)
	(path s4 p4-5)
	(path p4-5 s4)
	(path s5 p4-5)
	(path p4-5 s5)
	(path s4 p4-7)
	(path p4-7 s4)
	(path s7 p4-7)
	(path p4-7 s7)
	(path s4 p4-27)
	(path p4-27 s4)
	(path s27 p4-27)
	(path p4-27 s27)
	(path s5 p5-6)
	(path p5-6 s5)
	(path s6 p5-6)
	(path p5-6 s6)
	(path s5 p5-12)
	(path p5-12 s5)
	(path s12 p5-12)
	(path p5-12 s12)
	(path s5 p5-16)
	(path p5-16 s5)
	(path s16 p5-16)
	(path p5-16 s16)
	(path s6 p6-9)
	(path p6-9 s6)
	(path s9 p6-9)
	(path p6-9 s9)
	(path s6 p6-27)
	(path p6-27 s6)
	(path s27 p6-27)
	(path p6-27 s27)
	(path s7 p7-17)
	(path p7-17 s7)
	(path s17 p7-17)
	(path p7-17 s17)
	(path s8 p8-29)
	(path p8-29 s8)
	(path s29 p8-29)
	(path p8-29 s29)
	(path s9 p9-10)
	(path p9-10 s9)
	(path s10 p9-10)
	(path p9-10 s10)
	(path s9 p9-16)
	(path p9-16 s9)
	(path s16 p9-16)
	(path p9-16 s16)
	(path s9 p9-18)
	(path p9-18 s9)
	(path s18 p9-18)
	(path p9-18 s18)
	(path s10 p10-15)
	(path p10-15 s10)
	(path s15 p10-15)
	(path p10-15 s15)
	(path s10 p10-20)
	(path p10-20 s10)
	(path s20 p10-20)
	(path p10-20 s20)
	(path s10 p10-21)
	(path p10-21 s10)
	(path s21 p10-21)
	(path p10-21 s21)
	(path s10 p10-22)
	(path p10-22 s10)
	(path s22 p10-22)
	(path p10-22 s22)
	(path s10 p10-27)
	(path p10-27 s10)
	(path s27 p10-27)
	(path p10-27 s27)
	(path s11 p11-2)
	(path p11-2 s11)
	(path s2 p11-2)
	(path p11-2 s2)
	(path s11 p11-16)
	(path p11-16 s11)
	(path s16 p11-16)
	(path p11-16 s16)
	(path s12 p12-13)
	(path p12-13 s12)
	(path s13 p12-13)
	(path p12-13 s13)
	(path s13 p13-11)
	(path p13-11 s13)
	(path s11 p13-11)
	(path p13-11 s11)
	(path s13 p13-18)
	(path p13-18 s13)
	(path s18 p13-18)
	(path p13-18 s18)
	(path s13 p13-20)
	(path p13-20 s13)
	(path s20 p13-20)
	(path p13-20 s20)
	(path s14 p14-1)
	(path p14-1 s14)
	(path s1 p14-1)
	(path p14-1 s1)
	(path s14 p14-16)
	(path p14-16 s14)
	(path s16 p14-16)
	(path p14-16 s16)
	(path s15 p15-17)
	(path p15-17 s15)
	(path s17 p15-17)
	(path p15-17 s17)
	(path s15 p15-25)
	(path p15-25 s15)
	(path s25 p15-25)
	(path p15-25 s25)
	(path s15 p15-28)
	(path p15-28 s15)
	(path s28 p15-28)
	(path p15-28 s28)
	(path s16 p16-0)
	(path p16-0 s16)
	(path s0 p16-0)
	(path p16-0 s0)
	(path s17 p17-27)
	(path p17-27 s17)
	(path s27 p17-27)
	(path p17-27 s27)
	(path s18 p18-8)
	(path p18-8 s18)
	(path s8 p18-8)
	(path p18-8 s8)
	(path s19 p19-11)
	(path p19-11 s19)
	(path s11 p19-11)
	(path p19-11 s11)
	(path s19 p19-21)
	(path p19-21 s19)
	(path s21 p19-21)
	(path p19-21 s21)
	(path s19 p19-28)
	(path p19-28 s19)
	(path s28 p19-28)
	(path p19-28 s28)
	(path s20 p20-2)
	(path p20-2 s20)
	(path s2 p20-2)
	(path p20-2 s2)
	(path s20 p20-14)
	(path p20-14 s20)
	(path s14 p20-14)
	(path p20-14 s14)
	(path s21 p21-3)
	(path p21-3 s21)
	(path s3 p21-3)
	(path p21-3 s3)
	(path s21 p21-16)
	(path p21-16 s21)
	(path s16 p21-16)
	(path p21-16 s16)
	(path s21 p21-17)
	(path p21-17 s21)
	(path s17 p21-17)
	(path p21-17 s17)
	(path s22 p22-13)
	(path p22-13 s22)
	(path s13 p22-13)
	(path p22-13 s13)
	(path s22 p22-14)
	(path p22-14 s22)
	(path s14 p22-14)
	(path p22-14 s14)
	(path s22 p22-20)
	(path p22-20 s22)
	(path s20 p22-20)
	(path p22-20 s20)
	(path s22 p22-21)
	(path p22-21 s22)
	(path s21 p22-21)
	(path p22-21 s21)
	(path s22 p22-23)
	(path p22-23 s22)
	(path s23 p22-23)
	(path p22-23 s23)
	(path s22 p22-24)
	(path p22-24 s22)
	(path s24 p22-24)
	(path p22-24 s24)
	(path s23 p23-20)
	(path p23-20 s23)
	(path s20 p23-20)
	(path p23-20 s20)
	(path s23 p23-24)
	(path p23-24 s23)
	(path s24 p23-24)
	(path p23-24 s24)
	(path s23 p23-26)
	(path p23-26 s23)
	(path s26 p23-26)
	(path p23-26 s26)
	(path s24 p24-21)
	(path p24-21 s24)
	(path s21 p24-21)
	(path p24-21 s21)
	(path s24 p24-25)
	(path p24-25 s24)
	(path s25 p24-25)
	(path p24-25 s25)
	(path s25 p25-14)
	(path p25-14 s25)
	(path s14 p25-14)
	(path p25-14 s14)
	(path s25 p25-18)
	(path p25-18 s25)
	(path s18 p25-18)
	(path p25-18 s18)
	(path s25 p25-28)
	(path p25-28 s25)
	(path s28 p25-28)
	(path p25-28 s28)
	(path s27 p27-16)
	(path p27-16 s27)
	(path s16 p27-16)
	(path p27-16 s16)
	(path s28 p28-24)
	(path p28-24 s28)
	(path s24 p28-24)
	(path p28-24 s24)
	(path s29 p29-11)
	(path p29-11 s29)
	(path s11 p29-11)
	(path p29-11 s11)
	(path s29 p29-16)
	(path p29-16 s29)
	(path s16 p29-16)
	(path p29-16 s16)
	(path s29 p29-19)
	(path p29-19 s29)
	(path s19 p29-19)
	(path p29-19 s19)
	(link s0 s12)
	(link s12 s0)
	(link s0 s27)
	(link s27 s0)
	(link s0 s28)
	(link s28 s0)
	(link s1 s6)
	(link s6 s1)
	(link s1 s11)
	(link s11 s1)
	(link s1 s15)
	(link s15 s1)
	(link s1 s16)
	(link s16 s1)
	(link s1 s23)
	(link s23 s1)
	(link s1 s28)
	(link s28 s1)
	(link s2 s3)
	(link s3 s2)
	(link s2 s13)
	(link s13 s2)
	(link s2 s20)
	(link s20 s2)
	(link s2 s22)
	(link s22 s2)
	(link s3 s0)
	(link s0 s3)
	(link s3 s9)
	(link s9 s3)
	(link s3 s26)
	(link s26 s3)
	(link s5 s1)
	(link s1 s5)
	(link s5 s11)
	(link s11 s5)
	(link s5 s12)
	(link s12 s5)
	(link s6 s0)
	(link s0 s6)
	(link s6 s8)
	(link s8 s6)
	(link s6 s14)
	(link s14 s6)
	(link s6 s22)
	(link s22 s6)
	(link s6 s26)
	(link s26 s6)
	(link s6 s27)
	(link s27 s6)
	(link s7 s3)
	(link s3 s7)
	(link s7 s4)
	(link s4 s7)
	(link s7 s14)
	(link s14 s7)
	(link s7 s24)
	(link s24 s7)
	(link s8 s1)
	(link s1 s8)
	(link s8 s10)
	(link s10 s8)
	(link s8 s12)
	(link s12 s8)
	(link s8 s17)
	(link s17 s8)
	(link s8 s18)
	(link s18 s8)
	(link s8 s19)
	(link s19 s8)
	(link s8 s20)
	(link s20 s8)
	(link s8 s22)
	(link s22 s8)
	(link s9 s5)
	(link s5 s9)
	(link s10 s0)
	(link s0 s10)
	(link s10 s17)
	(link s17 s10)
	(link s10 s26)
	(link s26 s10)
	(link s11 s9)
	(link s9 s11)
	(link s11 s14)
	(link s14 s11)
	(link s11 s15)
	(link s15 s11)
	(link s11 s23)
	(link s23 s11)
	(link s12 s2)
	(link s2 s12)
	(link s12 s6)
	(link s6 s12)
	(link s12 s24)
	(link s24 s12)
	(link s12 s25)
	(link s25 s12)
	(link s13 s7)
	(link s7 s13)
	(link s13 s9)
	(link s9 s13)
	(link s13 s10)
	(link s10 s13)
	(link s13 s28)
	(link s28 s13)
	(link s13 s29)
	(link s29 s13)
	(link s14 s4)
	(link s4 s14)
	(link s15 s4)
	(link s4 s15)
	(link s15 s10)
	(link s10 s15)
	(link s15 s12)
	(link s12 s15)
	(link s15 s24)
	(link s24 s15)
	(link s15 s28)
	(link s28 s15)
	(link s15 s29)
	(link s29 s15)
	(link s16 s22)
	(link s22 s16)
	(link s17 s6)
	(link s6 s17)
	(link s17 s24)
	(link s24 s17)
	(link s18 s6)
	(link s6 s18)
	(link s18 s15)
	(link s15 s18)
	(link s18 s20)
	(link s20 s18)
	(link s18 s21)
	(link s21 s18)
	(link s18 s23)
	(link s23 s18)
	(link s19 s2)
	(link s2 s19)
	(link s19 s10)
	(link s10 s19)
	(link s19 s11)
	(link s11 s19)
	(link s20 s15)
	(link s15 s20)
	(link s20 s16)
	(link s16 s20)
	(link s21 s3)
	(link s3 s21)
	(link s21 s7)
	(link s7 s21)
	(link s21 s13)
	(link s13 s21)
	(link s21 s16)
	(link s16 s21)
	(link s21 s17)
	(link s17 s21)
	(link s22 s3)
	(link s3 s22)
	(link s22 s9)
	(link s9 s22)
	(link s22 s15)
	(link s15 s22)
	(link s22 s20)
	(link s20 s22)
	(link s23 s2)
	(link s2 s23)
	(link s23 s3)
	(link s3 s23)
	(link s23 s15)
	(link s15 s23)
	(link s23 s16)
	(link s16 s23)
	(link s23 s24)
	(link s24 s23)
	(link s24 s6)
	(link s6 s24)
	(link s24 s28)
	(link s28 s24)
	(link s25 s14)
	(link s14 s25)
	(link s25 s16)
	(link s16 s25)
	(link s25 s20)
	(link s20 s25)
	(link s26 s20)
	(link s20 s26)
	(link s26 s21)
	(link s21 s26)
	(link s27 s4)
	(link s4 s27)
	(link s27 s5)
	(link s5 s27)
	(link s27 s14)
	(link s14 s27)
	(link s27 s16)
	(link s16 s27)
	(link s27 s23)
	(link s23 s27)
	(link s28 s11)
	(link s11 s28)
	(link s28 s22)
	(link s22 s28)
	(link s28 s29)
	(link s29 s28)
	(link s29 s22)
	(link s22 s29)
	(link s29 s24)
	(link s24 s29)
)
	(:goal (and
	(at driver1 s7)
	(at driver2 s0)
	(at driver6 s20)
	(at driver7 s16)
	(at driver8 s26)
	(at driver9 s9)
	(at driver10 s8)
	(at driver11 s22)
	(at driver12 s10)
	(at driver14 s10)
	(at driver15 s28)
	(at driver16 s9)
	(at driver18 s16)
	(at driver20 s9)
	(at driver22 s25)
	(at driver23 s5)
	(at driver24 s16)
	(at driver25 s6)
	(at driver28 s20)
	(at driver29 s22)
	(at truck1 s7)
	(at truck2 s14)
	(at truck4 s23)
	(at truck5 s13)
	(at truck6 s27)
	(at truck8 s24)
	(at truck9 s22)
	(at truck10 s27)
	(at truck11 s18)
	(at truck13 s6)
	(at truck14 s7)
	(at truck15 s4)
	(at truck16 s23)
	(at truck17 s14)
	(at truck18 s13)
	(at truck21 s16)
	(at truck23 s22)
	(at truck24 s8)
	(at truck25 s11)
	(at truck26 s9)
	(at truck28 s0)
	(at truck29 s25)
	(at truck30 s11)
	(at package1 s9)
	(at package2 s25)
	(at package3 s16)
	(at package4 s25)
	(at package5 s16)
	(at package6 s2)
	(at package7 s11)
	(at package8 s8)
	(at package9 s17)
	(at package10 s1)
	(at package11 s17)
	(at package12 s23)
	(at package13 s7)
	(at package15 s24)
	(at package16 s9)
	(at package18 s20)
	(at package19 s14)
	(at package20 s3)
	(at package21 s11)
	(at package22 s25)
	(at package23 s21)
	(at package24 s22)
	(at package25 s7)
	(at package26 s17)
	(at package27 s2)
	(at package28 s22)
	(at package29 s19)
	(at package30 s17)
	(at package31 s29)
	(at package32 s4)
	(at package33 s27)
	(at package34 s25)
	(at package35 s23)
	(at package36 s7)
	(at package37 s11)
	(at package38 s16)
	(at package39 s1)
	(at package40 s12)
	(at package41 s22)
	(at package42 s18)
	(at package43 s24)
	(at package44 s18)
	(at package45 s5)
	(at package46 s9)
	(at package47 s9)
	(at package48 s18)
	(at package49 s25)
	(at package50 s17)
	))

(:metric minimize (total-time))

)
