/* 6 objects in 6 different locations */
/* same destination */ 

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

(:init (atRobby home)(at frozen1 1)
       (at frozen2 2)(at frozen3 3)
	(at obj1 4)(at obj2 1) (at obj3 2)   )
	
(:goal 	(atRobby home)
	(at frozen1 5)
        (at frozen2 6)(at frozen3 4)
	(at obj1 5)(at obj2 2) (at obj3 4))
)