(define (problem balls12) (:objects A B -room 1..12 - ball Left Right - gripper) (:init (atRobby A) (forall (?x - ball) (at ?x A)) (forall (?g - gripper) (free ?g))) (:goal (forall (?x - ball)(at ?x B))) )