;;Instance with 5x10x1 points
(define (problem name) (:domain domain_name)
(:objects 
x0y0z0 - location
x0y1z0 - location
x0y2z0 - location
x0y3z0 - location
x0y4z0 - location
x0y5z0 - location
x0y6z0 - location
x0y7z0 - location
x0y8z0 - location
x0y9z0 - location
x1y0z0 - location
x1y1z0 - location
x1y2z0 - location
x1y3z0 - location
x1y4z0 - location
x1y5z0 - location
x1y6z0 - location
x1y7z0 - location
x1y8z0 - location
x1y9z0 - location
x2y0z0 - location
x2y1z0 - location
x2y2z0 - location
x2y3z0 - location
x2y4z0 - location
x2y5z0 - location
x2y6z0 - location
x2y7z0 - location
x2y8z0 - location
x2y9z0 - location
x3y0z0 - location
x3y1z0 - location
x3y2z0 - location
x3y3z0 - location
x3y4z0 - location
x3y5z0 - location
x3y6z0 - location
x3y7z0 - location
x3y8z0 - location
x3y9z0 - location
x4y0z0 - location
x4y1z0 - location
x4y2z0 - location
x4y3z0 - location
x4y4z0 - location
x4y5z0 - location
x4y6z0 - location
x4y7z0 - location
x4y8z0 - location
x4y9z0 - location
) 
(:init (= (x) 0) (= (y) 0) (= (z) 0)
 (= (min_x) 0)  (= (max_x) 5) 
 (= (min_y) 0)  (= (max_y) 10) 
 (= (min_z) 0)  (= (max_z) 1) 
(= (xl x0y0z0) 0)
(= (yl x0y0z0) 0)
(= (zl x0y0z0) 0)
(= (xl x0y1z0) 0)
(= (yl x0y1z0) 1)
(= (zl x0y1z0) 0)
(= (xl x0y2z0) 0)
(= (yl x0y2z0) 2)
(= (zl x0y2z0) 0)
(= (xl x0y3z0) 0)
(= (yl x0y3z0) 3)
(= (zl x0y3z0) 0)
(= (xl x0y4z0) 0)
(= (yl x0y4z0) 4)
(= (zl x0y4z0) 0)
(= (xl x0y5z0) 0)
(= (yl x0y5z0) 5)
(= (zl x0y5z0) 0)
(= (xl x0y6z0) 0)
(= (yl x0y6z0) 6)
(= (zl x0y6z0) 0)
(= (xl x0y7z0) 0)
(= (yl x0y7z0) 7)
(= (zl x0y7z0) 0)
(= (xl x0y8z0) 0)
(= (yl x0y8z0) 8)
(= (zl x0y8z0) 0)
(= (xl x0y9z0) 0)
(= (yl x0y9z0) 9)
(= (zl x0y9z0) 0)
(= (xl x1y0z0) 1)
(= (yl x1y0z0) 0)
(= (zl x1y0z0) 0)
(= (xl x1y1z0) 1)
(= (yl x1y1z0) 1)
(= (zl x1y1z0) 0)
(= (xl x1y2z0) 1)
(= (yl x1y2z0) 2)
(= (zl x1y2z0) 0)
(= (xl x1y3z0) 1)
(= (yl x1y3z0) 3)
(= (zl x1y3z0) 0)
(= (xl x1y4z0) 1)
(= (yl x1y4z0) 4)
(= (zl x1y4z0) 0)
(= (xl x1y5z0) 1)
(= (yl x1y5z0) 5)
(= (zl x1y5z0) 0)
(= (xl x1y6z0) 1)
(= (yl x1y6z0) 6)
(= (zl x1y6z0) 0)
(= (xl x1y7z0) 1)
(= (yl x1y7z0) 7)
(= (zl x1y7z0) 0)
(= (xl x1y8z0) 1)
(= (yl x1y8z0) 8)
(= (zl x1y8z0) 0)
(= (xl x1y9z0) 1)
(= (yl x1y9z0) 9)
(= (zl x1y9z0) 0)
(= (xl x2y0z0) 2)
(= (yl x2y0z0) 0)
(= (zl x2y0z0) 0)
(= (xl x2y1z0) 2)
(= (yl x2y1z0) 1)
(= (zl x2y1z0) 0)
(= (xl x2y2z0) 2)
(= (yl x2y2z0) 2)
(= (zl x2y2z0) 0)
(= (xl x2y3z0) 2)
(= (yl x2y3z0) 3)
(= (zl x2y3z0) 0)
(= (xl x2y4z0) 2)
(= (yl x2y4z0) 4)
(= (zl x2y4z0) 0)
(= (xl x2y5z0) 2)
(= (yl x2y5z0) 5)
(= (zl x2y5z0) 0)
(= (xl x2y6z0) 2)
(= (yl x2y6z0) 6)
(= (zl x2y6z0) 0)
(= (xl x2y7z0) 2)
(= (yl x2y7z0) 7)
(= (zl x2y7z0) 0)
(= (xl x2y8z0) 2)
(= (yl x2y8z0) 8)
(= (zl x2y8z0) 0)
(= (xl x2y9z0) 2)
(= (yl x2y9z0) 9)
(= (zl x2y9z0) 0)
(= (xl x3y0z0) 3)
(= (yl x3y0z0) 0)
(= (zl x3y0z0) 0)
(= (xl x3y1z0) 3)
(= (yl x3y1z0) 1)
(= (zl x3y1z0) 0)
(= (xl x3y2z0) 3)
(= (yl x3y2z0) 2)
(= (zl x3y2z0) 0)
(= (xl x3y3z0) 3)
(= (yl x3y3z0) 3)
(= (zl x3y3z0) 0)
(= (xl x3y4z0) 3)
(= (yl x3y4z0) 4)
(= (zl x3y4z0) 0)
(= (xl x3y5z0) 3)
(= (yl x3y5z0) 5)
(= (zl x3y5z0) 0)
(= (xl x3y6z0) 3)
(= (yl x3y6z0) 6)
(= (zl x3y6z0) 0)
(= (xl x3y7z0) 3)
(= (yl x3y7z0) 7)
(= (zl x3y7z0) 0)
(= (xl x3y8z0) 3)
(= (yl x3y8z0) 8)
(= (zl x3y8z0) 0)
(= (xl x3y9z0) 3)
(= (yl x3y9z0) 9)
(= (zl x3y9z0) 0)
(= (xl x4y0z0) 4)
(= (yl x4y0z0) 0)
(= (zl x4y0z0) 0)
(= (xl x4y1z0) 4)
(= (yl x4y1z0) 1)
(= (zl x4y1z0) 0)
(= (xl x4y2z0) 4)
(= (yl x4y2z0) 2)
(= (zl x4y2z0) 0)
(= (xl x4y3z0) 4)
(= (yl x4y3z0) 3)
(= (zl x4y3z0) 0)
(= (xl x4y4z0) 4)
(= (yl x4y4z0) 4)
(= (zl x4y4z0) 0)
(= (xl x4y5z0) 4)
(= (yl x4y5z0) 5)
(= (zl x4y5z0) 0)
(= (xl x4y6z0) 4)
(= (yl x4y6z0) 6)
(= (zl x4y6z0) 0)
(= (xl x4y7z0) 4)
(= (yl x4y7z0) 7)
(= (zl x4y7z0) 0)
(= (xl x4y8z0) 4)
(= (yl x4y8z0) 8)
(= (zl x4y8z0) 0)
(= (xl x4y9z0) 4)
(= (yl x4y9z0) 9)
(= (zl x4y9z0) 0)
(= (battery-level) 33)
(= (battery-level-full) 33)
)
(:goal (and 
(visited x0y0z0)
(visited x0y1z0)
(visited x0y2z0)
(visited x0y3z0)
(visited x0y4z0)
(visited x0y5z0)
(visited x0y6z0)
(visited x0y7z0)
(visited x0y8z0)
(visited x0y9z0)
(visited x1y0z0)
(visited x1y1z0)
(visited x1y2z0)
(visited x1y3z0)
(visited x1y4z0)
(visited x1y5z0)
(visited x1y6z0)
(visited x1y7z0)
(visited x1y8z0)
(visited x1y9z0)
(visited x2y0z0)
(visited x2y1z0)
(visited x2y2z0)
(visited x2y3z0)
(visited x2y4z0)
(visited x2y5z0)
(visited x2y6z0)
(visited x2y7z0)
(visited x2y8z0)
(visited x2y9z0)
(visited x3y0z0)
(visited x3y1z0)
(visited x3y2z0)
(visited x3y3z0)
(visited x3y4z0)
(visited x3y5z0)
(visited x3y6z0)
(visited x3y7z0)
(visited x3y8z0)
(visited x3y9z0)
(visited x4y0z0)
(visited x4y1z0)
(visited x4y2z0)
(visited x4y3z0)
(visited x4y4z0)
(visited x4y5z0)
(visited x4y6z0)
(visited x4y7z0)
(visited x4y8z0)
(visited x4y9z0)
(= (x) 0) (= (y) 0) (= (z) 0) ))
);; end of the problem instance
