(define (problem p09)
  (:domain cooperate_sequential_gripper)

  (:objects
        robot1 robot2 robot3 robot4 robot5 robot6 robot7 robot8 robot9 robot10 robot11 robot12 robot13 robot14 robot15 robot16 robot17 robot18 - gripper
        room18 room7 room6 room2 room4 room10 room19 room16 room17 room9 room13 room1 room3 room15 room8 room11 room14 room12 room5 - room
        object1 object2 object3 object4 object5 object6 object7 object8 object9 object10 object11 object12 object13 object14 object15 object16 object17 object18 - object
  )

  (:init
        
        (at-robby robot1 room18)
        (room-occupied room18)
        (at-robby robot2 room7)
        (room-occupied room7)
        (at-robby robot3 room6)
        (room-occupied room6)
        (at-robby robot4 room2)
        (room-occupied room2)
        (at-robby robot5 room4)
        (room-occupied room4)
        (at-robby robot6 room10)
        (room-occupied room10)
        (at-robby robot7 room19)
        (room-occupied room19)
        (at-robby robot8 room16)
        (room-occupied room16)
        (at-robby robot9 room17)
        (room-occupied room17)
        (at-robby robot10 room9)
        (room-occupied room9)
        (at-robby robot11 room13)
        (room-occupied room13)
        (at-robby robot12 room1)
        (room-occupied room1)
        (at-robby robot13 room3)
        (room-occupied room3)
        (at-robby robot14 room15)
        (room-occupied room15)
        (at-robby robot15 room8)
        (room-occupied room8)
        (at-robby robot16 room11)
        (room-occupied room11)
        (at-robby robot17 room14)
        (room-occupied room14)
        (at-robby robot18 room12)
        (room-occupied room12)
        (not (room-occupied room5))
        (at object1 room16)
        (at object2 room7)
        (at object3 room3)
        (at object4 room1)
        (at object5 room7)
        (at object6 room19)
        (at object7 room8)
        (at object8 room5)
        (at object9 room1)
        (at object10 room9)
        (at object11 room15)
        (at object12 room9)
        (at object13 room10)
        (at object14 room3)
        (at object15 room9)
        (at object16 room17)
        (at object17 room1)
        (at object18 room9)
        (can-activate robot13 object1)
        (can-handle robot13 object1)
        (can-activate robot10 object2)
        (can-handle robot10 object2)
        (can-activate robot2 object3)
        (can-handle robot2 object3)
        (can-activate robot12 object4)
        (can-handle robot12 object4)
        (can-activate robot16 object5)
        (can-handle robot16 object5)
        (can-activate robot8 object6)
        (can-handle robot8 object6)
        (can-activate robot11 object7)
        (can-handle robot11 object7)
        (can-activate robot9 object8)
        (can-handle robot9 object8)
        (can-activate robot5 object9)
        (can-handle robot5 object9)
        (can-activate robot9 object10)
        (can-handle robot9 object10)
        (can-activate robot1 object11)
        (can-handle robot1 object11)
        (can-activate robot16 object12)
        (can-handle robot16 object12)
        (can-activate robot8 object13)
        (can-handle robot8 object13)
        (can-activate robot17 object14)
        (can-handle robot17 object14)
        (can-activate robot8 object15)
        (can-handle robot8 object15)
        (can-activate robot8 object16)
        (can-handle robot8 object16)
        (can-activate robot9 object17)
        (can-handle robot9 object17)
        (can-activate robot12 object18)
        (can-handle robot12 object18)
        (free robot1)
        (free robot2)
        (free robot3)
        (free robot4)
        (free robot5)
        (free robot6)
        (free robot7)
        (free robot8)
        (free robot9)
        (free robot10)
        (free robot11)
        (free robot12)
        (free robot13)
        (free robot14)
        (free robot15)
        (free robot16)
        (free robot17)
        (free robot18)
  )

  (:goal
    (and
      (at object1 room18)
      (at object2 room12)
      (at object3 room6)
      (at object4 room6)
      (at object5 room15)
      (at object6 room1)
      (at object7 room3)
      (at object8 room2)
      (at object9 room11)
      (at object10 room9)
      (at object11 room15)
      (at object12 room5)
      (at object13 room12)
      (at object14 room15)
      (at object15 room15)
      (at object16 room17)
      (at object17 room5)
      (at object18 room10)
      (at-robby robot5 room10)
    )
  )
)