(define (problem DLOG-5-5-25) (:domain driverlog) (:objects driver1 driver2 driver3 driver4 driver5 truck1 truck2 truck3 truck4 truck5 package1 package2 package3 package4 package5 package6 package7 package8 package9 package10 package11 package12 package13 package14 package15 package16 package17 package18 package19 package20 package21 package22 package23 package24 package25 s0 s1 s2 s3 s4 s5 s6 s7 s8 s9 s10 s11 s12 s13 s14 s15 s16 s17 s18 s19 p0-3 p0-9 p1-10 p3-16 p4-7 p4-9 p5-3 p6-4 p7-3 p7-12 p7-17 p8-5 p8-9 p9-13 p9-17 p10-1 p10-11 p10-15 p11-8 p12-5 p13-2 p13-8 p14-0 p14-4 p14-6 p14-19 p15-4 p15-18 p16-12 p16-13 p17-0 p17-14 p18-2 p18-5 p18-11 p19-0 p19-1 p19-3 p19-17 ) (:init (at driver1 s3) (DRIVER driver1) (at driver2 s11) (DRIVER driver2) (at driver3 s8) (DRIVER driver3) (at driver4 s12) (DRIVER driver4) (at driver5 s3) (DRIVER driver5) (at truck1 s4) (empty truck1) (TRUCK truck1) (at truck2 s8) (empty truck2) (TRUCK truck2) (at truck3 s19) (empty truck3) (TRUCK truck3) (at truck4 s0) (empty truck4) (TRUCK truck4) (at truck5 s6) (empty truck5) (TRUCK truck5) (at package1 s19) (OBJ package1) (at package2 s17) (OBJ package2) (at package3 s4) (OBJ package3) (at package4 s10) (OBJ package4) (at package5 s5) (OBJ package5) (at package6 s18) (OBJ package6) (at package7 s7) (OBJ package7) (at package8 s17) (OBJ package8) (at package9 s9) (OBJ package9) (at package10 s2) (OBJ package10) (at package11 s15) (OBJ package11) (at package12 s5) (OBJ package12) (at package13 s8) (OBJ package13) (at package14 s5) (OBJ package14) (at package15 s9) (OBJ package15) (at package16 s19) (OBJ package16) (at package17 s12) (OBJ package17) (at package18 s16) (OBJ package18) (at package19 s11) (OBJ package19) (at package20 s9) (OBJ package20) (at package21 s4) (OBJ package21) (at package22 s18) (OBJ package22) (at package23 s2) (OBJ package23) (at package24 s6) (OBJ package24) (at package25 s1) (OBJ package25) (LOCATION 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 p0-3) (LOCATION p0-9) (LOCATION p1-10) (LOCATION p3-16) (LOCATION p4-7) (LOCATION p4-9) (LOCATION p5-3) (LOCATION p6-4) (LOCATION p7-3) (LOCATION p7-12) (LOCATION p7-17) (LOCATION p8-5) (LOCATION p8-9) (LOCATION p9-13) (LOCATION p9-17) (LOCATION p10-1) (LOCATION p10-11) (LOCATION p10-15) (LOCATION p11-8) (LOCATION p12-5) (LOCATION p13-2) (LOCATION p13-8) (LOCATION p14-0) (LOCATION p14-4) (LOCATION p14-6) (LOCATION p14-19) (LOCATION p15-4) (LOCATION p15-18) (LOCATION p16-12) (LOCATION p16-13) (LOCATION p17-0) (LOCATION p17-14) (LOCATION p18-2) (LOCATION p18-5) (LOCATION p18-11) (LOCATION p19-0) (LOCATION p19-1) (LOCATION p19-3) (LOCATION p19-17) (path s0 p0-3) (path p0-3 s0) (path s3 p0-3) (path p0-3 s3) (path s0 p0-9) (path p0-9 s0) (path s9 p0-9) (path p0-9 s9) (path s1 p1-10) (path p1-10 s1) (path s10 p1-10) (path p1-10 s10) (path s3 p3-16) (path p3-16 s3) (path s16 p3-16) (path p3-16 s16) (path s4 p4-7) (path p4-7 s4) (path s7 p4-7) (path p4-7 s7) (path s4 p4-9) (path p4-9 s4) (path s9 p4-9) (path p4-9 s9) (path s5 p5-3) (path p5-3 s5) (path s3 p5-3) (path p5-3 s3) (path s6 p6-4) (path p6-4 s6) (path s4 p6-4) (path p6-4 s4) (path s7 p7-3) (path p7-3 s7) (path s3 p7-3) (path p7-3 s3) (path s7 p7-12) (path p7-12 s7) (path s12 p7-12) (path p7-12 s12) (path s7 p7-17) (path p7-17 s7) (path s17 p7-17) (path p7-17 s17) (path s8 p8-5) (path p8-5 s8) (path s5 p8-5) (path p8-5 s5) (path s8 p8-9) (path p8-9 s8) (path s9 p8-9) (path p8-9 s9) (path s9 p9-13) (path p9-13 s9) (path s13 p9-13) (path p9-13 s13) (path s9 p9-17) (path p9-17 s9) (path s17 p9-17) (path p9-17 s17) (path s10 p10-11) (path p10-11 s10) (path s11 p10-11) (path p10-11 s11) (path s10 p10-15) (path p10-15 s10) (path s15 p10-15) (path p10-15 s15) (path s11 p11-8) (path p11-8 s11) (path s8 p11-8) (path p11-8 s8) (path s12 p12-5) (path p12-5 s12) (path s5 p12-5) (path p12-5 s5) (path s13 p13-2) (path p13-2 s13) (path s2 p13-2) (path p13-2 s2) (path s13 p13-8) (path p13-8 s13) (path s8 p13-8) (path p13-8 s8) (path s14 p14-0) (path p14-0 s14) (path s0 p14-0) (path p14-0 s0) (path s14 p14-4) (path p14-4 s14) (path s4 p14-4) (path p14-4 s4) (path s14 p14-6) (path p14-6 s14) (path s6 p14-6) (path p14-6 s6) (path s14 p14-19) (path p14-19 s14) (path s19 p14-19) (path p14-19 s19) (path s15 p15-4) (path p15-4 s15) (path s4 p15-4) (path p15-4 s4) (path s15 p15-18) (path p15-18 s15) (path s18 p15-18) (path p15-18 s18) (path s16 p16-12) (path p16-12 s16) (path s12 p16-12) (path p16-12 s12) (path s16 p16-13) (path p16-13 s16) (path s13 p16-13) (path p16-13 s13) (path s17 p17-0) (path p17-0 s17) (path s0 p17-0) (path p17-0 s0) (path s17 p17-14) (path p17-14 s17) (path s14 p17-14) (path p17-14 s14) (path s18 p18-2) (path p18-2 s18) (path s2 p18-2) (path p18-2 s2) (path s18 p18-5) (path p18-5 s18) (path s5 p18-5) (path p18-5 s5) (path s18 p18-11) (path p18-11 s18) (path s11 p18-11) (path p18-11 s11) (path s19 p19-0) (path p19-0 s19) (path s0 p19-0) (path p19-0 s0) (path s19 p19-1) (path p19-1 s19) (path s1 p19-1) (path p19-1 s1) (path s19 p19-3) (path p19-3 s19) (path s3 p19-3) (path p19-3 s3) (path s19 p19-17) (path p19-17 s19) (path s17 p19-17) (path p19-17 s17) (link s0 s2) (link s2 s0) (link s0 s13) (link s13 s0) (link s0 s16) (link s16 s0) (link s0 s18) (link s18 s0) (link s1 s9) (link s9 s1) (link s1 s11) (link s11 s1) (link s2 s6) (link s6 s2) (link s2 s10) (link s10 s2) (link s2 s12) (link s12 s2) (link s2 s15) (link s15 s2) (link s3 s13) (link s13 s3) (link s3 s14) (link s14 s3) (link s3 s17) (link s17 s3) (link s3 s19) (link s19 s3) (link s4 s1) (link s1 s4) (link s4 s2) (link s2 s4) (link s4 s7) (link s7 s4) (link s5 s10) (link s10 s5) (link s5 s14) (link s14 s5) (link s5 s17) (link s17 s5) (link s6 s3) (link s3 s6) (link s6 s10) (link s10 s6) (link s6 s11) (link s11 s6) (link s6 s12) (link s12 s6) (link s6 s19) (link s19 s6) (link s7 s3) (link s3 s7) (link s8 s0) (link s0 s8) (link s8 s3) (link s3 s8) (link s8 s13) (link s13 s8) (link s8 s18) (link s18 s8) (link s9 s2) (link s2 s9) (link s9 s10) (link s10 s9) (link s10 s13) (link s13 s10) (link s10 s18) (link s18 s10) (link s11 s3) (link s3 s11) (link s11 s4) (link s4 s11) (link s11 s5) (link s5 s11) (link s11 s8) (link s8 s11) (link s11 s9) (link s9 s11) (link s11 s17) (link s17 s11) (link s11 s18) (link s18 s11) (link s11 s19) (link s19 s11) (link s12 s0) (link s0 s12) (link s12 s1) (link s1 s12) (link s12 s5) (link s5 s12) (link s12 s9) (link s9 s12) (link s12 s10) (link s10 s12) (link s12 s11) (link s11 s12) (link s13 s1) (link s1 s13) (link s13 s11) (link s11 s13) (link s14 s6) (link s6 s14) (link s14 s17) (link s17 s14) (link s15 s5) (link s5 s15) (link s15 s9) (link s9 s15) (link s15 s12) (link s12 s15) (link s16 s2) (link s2 s16) (link s16 s5) (link s5 s16) (link s16 s7) (link s7 s16) (link s16 s10) (link s10 s16) (link s17 s7) (link s7 s17) (link s17 s19) (link s19 s17) (link s18 s1) (link s1 s18) (link s18 s4) (link s4 s18) (link s18 s7) (link s7 s18) (link s18 s14) (link s14 s18) ) (:goal (and (at driver1 s16) (at driver2 s13) (at driver4 s7) (at driver5 s5) (at truck1 s2) (at truck2 s11) (at truck3 s10) (at truck4 s3) (at truck5 s16) (at package1 s19) (at package2 s10) (at package3 s19) (at package4 s11) (at package5 s14) (at package6 s18) (at package7 s7) (at package8 s6) (at package9 s7) (at package10 s14) (at package11 s13) (at package12 s11) (at package13 s15) (at package14 s6) (at package15 s11) (at package16 s10) (at package17 s17) (at package18 s15) (at package19 s4) (at package20 s7) (at package21 s3) (at package22 s8) (at package23 s17) (at package24 s2) (at package25 s12) )) )