(define (problem DLOG-5-5-15)
	(:domain driverlog)
	(:objects
	driver1 - driver
	driver2 - driver
	driver3 - driver
	driver4 - driver
	driver5 - driver
	truck1 - truck
	truck2 - truck
	truck3 - truck
	truck4 - truck
	truck5 - 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
	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
	p0-14 - location
	p1-5 - location
	p1-7 - location
	p1-13 - location
	p1-15 - location
	p2-1 - location
	p2-5 - location
	p2-6 - location
	p2-10 - location
	p2-12 - location
	p2-13 - location
	p2-14 - location
	p2-15 - location
	p3-13 - location
	p3-14 - location
	p4-14 - location
	p5-0 - location
	p5-15 - location
	p6-11 - location
	p7-1 - location
	p7-8 - location
	p8-9 - location
	p9-4 - location
	p9-7 - location
	p9-12 - location
	p9-14 - location
	p10-6 - location
	p11-0 - location
	p12-3 - location
	p13-4 - location
	p14-15 - location
	p15-4 - location
	)
	(:init
	(at driver1 s10)
	(at driver2 s13)
	(at driver3 s10)
	(at driver4 s9)
	(at driver5 s2)
	(at truck1 s2)
	(empty truck1)
	(at truck2 s8)
	(empty truck2)
	(at truck3 s12)
	(empty truck3)
	(at truck4 s3)
	(empty truck4)
	(at truck5 s10)
	(empty truck5)
	(at package1 s12)
	(at package2 s14)
	(at package3 s3)
	(at package4 s6)
	(at package5 s2)
	(at package6 s1)
	(at package7 s0)
	(at package8 s12)
	(at package9 s12)
	(at package10 s5)
	(at package11 s1)
	(at package12 s9)
	(at package13 s2)
	(at package14 s15)
	(at package15 s14)
	(path s0 p0-14)
	(path p0-14 s0)
	(path s14 p0-14)
	(path p0-14 s14)
	(path s1 p1-5)
	(path p1-5 s1)
	(path s5 p1-5)
	(path p1-5 s5)
	(path s1 p1-7)
	(path p1-7 s1)
	(path s7 p1-7)
	(path p1-7 s7)
	(path s1 p1-13)
	(path p1-13 s1)
	(path s13 p1-13)
	(path p1-13 s13)
	(path s1 p1-15)
	(path p1-15 s1)
	(path s15 p1-15)
	(path p1-15 s15)
	(path s2 p2-1)
	(path p2-1 s2)
	(path s1 p2-1)
	(path p2-1 s1)
	(path s2 p2-5)
	(path p2-5 s2)
	(path s5 p2-5)
	(path p2-5 s5)
	(path s2 p2-6)
	(path p2-6 s2)
	(path s6 p2-6)
	(path p2-6 s6)
	(path s2 p2-10)
	(path p2-10 s2)
	(path s10 p2-10)
	(path p2-10 s10)
	(path s2 p2-12)
	(path p2-12 s2)
	(path s12 p2-12)
	(path p2-12 s12)
	(path s2 p2-13)
	(path p2-13 s2)
	(path s13 p2-13)
	(path p2-13 s13)
	(path s2 p2-14)
	(path p2-14 s2)
	(path s14 p2-14)
	(path p2-14 s14)
	(path s2 p2-15)
	(path p2-15 s2)
	(path s15 p2-15)
	(path p2-15 s15)
	(path s3 p3-13)
	(path p3-13 s3)
	(path s13 p3-13)
	(path p3-13 s13)
	(path s3 p3-14)
	(path p3-14 s3)
	(path s14 p3-14)
	(path p3-14 s14)
	(path s4 p4-14)
	(path p4-14 s4)
	(path s14 p4-14)
	(path p4-14 s14)
	(path s5 p5-0)
	(path p5-0 s5)
	(path s0 p5-0)
	(path p5-0 s0)
	(path s5 p5-15)
	(path p5-15 s5)
	(path s15 p5-15)
	(path p5-15 s15)
	(path s6 p6-11)
	(path p6-11 s6)
	(path s11 p6-11)
	(path p6-11 s11)
	(path s7 p7-8)
	(path p7-8 s7)
	(path s8 p7-8)
	(path p7-8 s8)
	(path s8 p8-9)
	(path p8-9 s8)
	(path s9 p8-9)
	(path p8-9 s9)
	(path s9 p9-4)
	(path p9-4 s9)
	(path s4 p9-4)
	(path p9-4 s4)
	(path s9 p9-7)
	(path p9-7 s9)
	(path s7 p9-7)
	(path p9-7 s7)
	(path s9 p9-12)
	(path p9-12 s9)
	(path s12 p9-12)
	(path p9-12 s12)
	(path s9 p9-14)
	(path p9-14 s9)
	(path s14 p9-14)
	(path p9-14 s14)
	(path s10 p10-6)
	(path p10-6 s10)
	(path s6 p10-6)
	(path p10-6 s6)
	(path s11 p11-0)
	(path p11-0 s11)
	(path s0 p11-0)
	(path p11-0 s0)
	(path s12 p12-3)
	(path p12-3 s12)
	(path s3 p12-3)
	(path p12-3 s3)
	(path s13 p13-4)
	(path p13-4 s13)
	(path s4 p13-4)
	(path p13-4 s4)
	(path s14 p14-15)
	(path p14-15 s14)
	(path s15 p14-15)
	(path p14-15 s15)
	(path s15 p15-4)
	(path p15-4 s15)
	(path s4 p15-4)
	(path p15-4 s4)
	(link s0 s3)
	(link s3 s0)
	(link s0 s5)
	(link s5 s0)
	(link s0 s10)
	(link s10 s0)
	(link s0 s15)
	(link s15 s0)
	(link s1 s13)
	(link s13 s1)
	(link s2 s0)
	(link s0 s2)
	(link s2 s6)
	(link s6 s2)
	(link s2 s7)
	(link s7 s2)
	(link s2 s9)
	(link s9 s2)
	(link s2 s15)
	(link s15 s2)
	(link s3 s5)
	(link s5 s3)
	(link s3 s11)
	(link s11 s3)
	(link s3 s12)
	(link s12 s3)
	(link s4 s1)
	(link s1 s4)
	(link s4 s9)
	(link s9 s4)
	(link s4 s14)
	(link s14 s4)
	(link s4 s15)
	(link s15 s4)
	(link s5 s2)
	(link s2 s5)
	(link s5 s4)
	(link s4 s5)
	(link s5 s12)
	(link s12 s5)
	(link s6 s14)
	(link s14 s6)
	(link s7 s4)
	(link s4 s7)
	(link s7 s15)
	(link s15 s7)
	(link s8 s4)
	(link s4 s8)
	(link s8 s9)
	(link s9 s8)
	(link s8 s13)
	(link s13 s8)
	(link s8 s14)
	(link s14 s8)
	(link s9 s1)
	(link s1 s9)
	(link s9 s5)
	(link s5 s9)
	(link s10 s1)
	(link s1 s10)
	(link s10 s3)
	(link s3 s10)
	(link s10 s8)
	(link s8 s10)
	(link s10 s14)
	(link s14 s10)
	(link s11 s2)
	(link s2 s11)
	(link s11 s8)
	(link s8 s11)
	(link s11 s10)
	(link s10 s11)
	(link s11 s15)
	(link s15 s11)
	(link s12 s4)
	(link s4 s12)
	(link s12 s10)
	(link s10 s12)
	(link s12 s13)
	(link s13 s12)
	(link s12 s15)
	(link s15 s12)
	(link s13 s3)
	(link s3 s13)
	(link s13 s15)
	(link s15 s13)
	(link s14 s5)
	(link s5 s14)
	(link s14 s11)
	(link s11 s14)
	(link s14 s13)
	(link s13 s14)
	(link s15 s3)
	(link s3 s15)
)
	(:goal (and
	(at driver2 s1)
	(at driver4 s1)
	(at driver5 s15)
	(at truck1 s14)
	(at truck2 s1)
	(at truck3 s5)
	(at truck4 s8)
	(at truck5 s6)
	(at package1 s1)
	(at package2 s15)
	(at package3 s10)
	(at package4 s3)
	(at package5 s6)
	(at package6 s8)
	(at package7 s0)
	(at package8 s13)
	(at package9 s1)
	(at package10 s11)
	(at package11 s8)
	(at package12 s6)
	(at package13 s10)
	(at package14 s1)
	(at package15 s4)
	))


)
