/* 10 objects in 10 different locations */

(define (problem briefcase)
(:domain briefcase)
(:objects (1..10 - loc) ; the number of locations is practically
                        ; uninfluent
	  (obj1 obj2 obj3 obj4 obj5 obj6 obj7 obj8 obj9 obj10 - obj))

(:init (atRobby home)(at obj1 1)
       (at obj2 2)(at obj3 3)
       (at obj4 4)(at obj5 5)(at obj6 6)
       (at obj7 7)(at obj8 8)
	(at obj9 9)(at obj10 10))

(:goal (atRobby home)(forall(?x - obj)(at ?x home)))
)