/* 8 objects in 8 different locations */

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

(:init (atRobby home)(at frozen1 1)
       (at frozen2 2)(at frozen3 3)(at frozen4 7)
	(at obj1 4)(at obj2 5) (at obj3 6)  (at obj4 8 ))
	
(:goal (atRobby home)(forall(?x - obj)(at ?x home)))
)