(define (problem p06)
  (:domain cooperate_sequential_gripper)

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

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

  (:goal
    (and
      (at object1 room6)
      (at object2 room13)
      (at object3 room4)
      (at object4 room4)
      (at object5 room10)
      (at object6 room4)
      (at object7 room16)
      (at object8 room13)
      (at object9 room2)
      (at object10 room11)
      (at object11 room1)
      (at object12 room12)
      (at object13 room2)
      (at object14 room4)
      (at object15 room5)
      (at-robby robot2 room3)
    )
  )
)