Untitled

(define (problem grid-4)
(:domain grid-visit-all)
(:objects 
  loc-x0-y1
  loc-x0-y2
  loc-x0-y3
  loc-x0-y4
  loc-x0-y5
  loc-x1-y0
  loc-x1-y1
  loc-x1-y2
  loc-x1-y3
  loc-x1-y4
  loc-x1-y5
  loc-x2-y0
  loc-x2-y5
  loc-x3-y0
  loc-x3-y2
  loc-x3-y3
  loc-x3-y4
  loc-x3-y5
  loc-x4-y0
  loc-x4-y2
  loc-x5-y0
  loc-x5-y2
  loc-x5-y3
  loc-x5-y4
  loc-x5-y5
	
- place 
        
)
(:init
  (at-robot loc-x1-y3)
  (connected loc-x0-y0 loc-x1-y0)
  (connected loc-x0-y1 loc-x1-y1)
  (connected loc-x0-y2 loc-x1-y2)
  (connected loc-x0-y3 loc-x1-y3)
  (connected loc-x0-y4 loc-x1-y4)
  (connected loc-x0-y5 loc-x1-y5)
  (connected loc-x1-y0 loc-x0-y0)
  (connected loc-x1-y1 loc-x0-y1)
  (connected loc-x1-y2 loc-x0-y2)
  (connected loc-x1-y3 loc-x0-y3)
  (connected loc-x1-y4 loc-x0-y4)
  (connected loc-x1-y5 loc-x0-y5)
  (connected loc-x2-y0 loc-x1-y0)
  (connected loc-x2-y5 loc-x1-y5)
  (connected loc-x3-y0 loc-x2-y0)
  (connected loc-x3-y2 loc-x4-y2)
  (connected loc-x3-y3 loc-x2-y2)
  (connected loc-x3-y4 loc-x2-y3)
  (connected loc-x3-y5 loc-x2-y5)
  (connected loc-x4-y0 loc-x3-y0)
  (connected loc-x4-y2 loc-x3-y2)
  (connected loc-x5-y0 loc-x4-y0)
  (connected loc-x5-y2 loc-x4-y2)
  (connected loc-x5-y3 loc-x4-y2)
  (connected loc-x5-y4 loc-x4-y3)
  (connected loc-x5-y5 loc-x4-y4
 
)
(:goal
(and 
(visited loc-x0-y0)
(visited loc-x0-y5)
(visited loc-x5-y0)
(visited loc-x5-y5)
 
)
)
)