/* 3 objects in 3 different locations */
/* different destinations */

(define (problem briefcase)
(:domain briefcase)
(:objects (1..10 - loc) ; the number of locations is practically
                        ; uninfluent
	  (obj1 obj2 obj3 - obj))

(:init (atRobby home)(at obj1 1)
       (at obj2 2)(at obj3 3)   )
	
(:goal (atRobby home)
	(at obj1 3)(at obj2 1)(at obj3 2))
)