


(define (problem briefcase-o18)
(:domain briefcase)
(:objects l0 l1 l2 l3 l4 l5 l6 l7 l8 l9 l10 l11 l12 l13 l14 l15 l16 l17 l18 - location
          o0 o1 o2 o3 o4 o5 o6 o7 o8 o9 o10 o11 o12 o13 o14 o15 o16 o17 - portable)
(:init
(at o0 l8)
(at o1 l7)
(at o2 l7)
(at o3 l1)
(at o4 l5)
(at o5 l10)
(at o6 l0)
(at o7 l5)
(at o8 l8)
(at o9 l4)
(at o10 l16)
(at o11 l14)
(at o12 l16)
(at o13 l10)
(at o14 l7)
(at o15 l15)
(at o16 l8)
(at o17 l2)
(is-at l7)
)
(:goal
(and
(at o0 l12)
(at o1 l7)
(at o2 l1)
(at o3 l11)
(at o4 l4)
(at o5 l14)
(at o6 l10)
(at o7 l3)
(at o8 l16)
(at o9 l12)
(at o10 l4)
(at o11 l5)
(at o12 l12)
(at o13 l9)
(at o14 l12)
(at o15 l0)
(at o16 l7)
(at o17 l17)
(is-at l7)
)
)
)


