(in-package "UCPOP")

(define (problem lunar1)
  :domain 'lunar-lockout
  :inits ((ROW a) (ROW b) (ROW c) (ROW d) (ROW e)
	  (COL 1) (COL 2) (COL 3) ( COL 4) (COL 5)
	  (OBJECT red) (OBJECT yellow) (OBJECT green) (OBJECT purple) (OBJECT orange)
	  (at red e 5)
	  (blocked e 5)
	  (at yellow d 4)
	  (blocked d 4)
	  (at purple c 2)
	  (blocked c 2)
	  (at green b 3)
	  (blocked b 3)
	  (at orange a 5)
	  (blocked a 5)

	  (clear a 1)
	  (clear a 2)
	  (clear a 3)
	  (clear a 4)

	  (clear b 1)
	  (clear b 2)
	  (clear b 4)
	  (clear b 5)

	  (clear c 1)
	  (clear c 3)
	  (clear c 4)
	  (clear c 5)

	  (clear d 1)
	  (clear d 2)
	  (clear d 3)
	  (clear d 5)

	  (clear e 1)
	  (clear e 2)
	  (clear e 3)
	  (clear e 4)

	  
	  )
  :goal (at red c 3)
)

(define (problem lunar2)
  :domain 'lunar-lockout
  :inits ((ROW a) (ROW b) (ROW c) (ROW d) (ROW e)
	  (COL 1) (COL 2) (COL 3) ( COL 4) (COL 5)
	  (OBJECT red) (OBJECT yellow) (OBJECT green) (OBJECT purple) (OBJECT orange)
	  (at red e 2)
	  (blocked e 2)
	  (at yellow d 4)
	  (blocked d 4)
	  (at purple c 2)
	  (blocked c 2)
	  (at green b 5)
	  (blocked b 5)
	  (at orange a 3)
	  (blocked a 3)

	  (clear a 1)
	  (clear a 2)

	  (clear a 4)
	  (clear a 5)
	  
	  (clear b 1)
	  (clear b 2)
	  (clear b 3)
	  (clear b 4)

	  (clear c 1)
	  (clear c 3)
	  (clear c 4)
	  (clear c 5)

	  (clear d 1)
	  (clear d 2)
	  (clear d 3)
	  (clear d 5)

	  (clear e 1)
	  (clear e 3)
	  (clear e 4)
	  (clear e 5)

	  
	  )
  :goal (at red c 3)
)

(define (problem lunar3)
  :domain 'lunar-lockout
  :inits ((ROW a) (ROW b) (ROW c) (ROW d) (ROW e)
	  (COL 1) (COL 2) (COL 3) ( COL 4) (COL 5)
	  (OBJECT red) (OBJECT yellow) (OBJECT green) (OBJECT purple) (OBJECT orange)
	  (at red e 5)
	  (blocked e 5)
	  (at yellow e 2)
	  (blocked e 2)
	  (at purple d 4)
	  (blocked d 4)
	  (at green b 2)
	  (blocked b 2)
	  (at orange a 4)
	  (blocked a 4)

	  (clear a 1)
	  (clear a 2)
	  (clear a 3)
	  (clear a 5)

	  (clear b 1)
	  (clear b 3)
	  (clear b 4)
	  (clear b 5)

	  (clear c 1)
	  (clear c 2)
	  (clear c 3)
	  (clear c 4)
	  (clear c 5)

	  (clear d 1)
	  (clear d 2)
	  (clear d 3)
	  (clear d 5)

	  (clear e 1)
	  (clear e 3)
	  (clear e 4)

	  
	  )
  :goal (at red c 3)
)

(define (problem lunar4)
  :domain 'lunar-lockout
  :inits ((ROW a) (ROW b) (ROW c) (ROW d) (ROW e)
	  (COL 1) (COL 2) (COL 3) ( COL 4) (COL 5)
	  (OBJECT red) (OBJECT yellow) (OBJECT green) (OBJECT purple) (OBJECT orange)
	  (at red e 5)
	  (blocked e 5)
	  (at yellow e 3)
	  (blocked e 3)
	  (at purple e 1)
	  (blocked e 1)
	  (at green c 5)
	  (blocked c 5)
	  (at orange b 2)
	  (blocked b 2)


	  (clear e 2)
	  (clear e 4)

	  (clear d 1)
	  (clear d 2)
	  (clear d 3)
	  (clear d 4)
	  (clear d 5)

	  (clear c 1)
	  (clear c 2)
	  (clear c 3)
	  (clear c 4)


	  (clear b 1)
	  (clear b 3)
	  (clear b 4)
	  (clear b 5)

	  (clear a 1)
	  (clear a 2)
	  (clear a 3)
	  (clear a 4)
	  (clear a 5)

	  
	  )
  :goal (at red c 3)
)

(define (problem lunar6)
  :domain 'lunar-lockout
  :inits ((ROW a) (ROW b) (ROW c) (ROW d) (ROW e)
	  (COL 1) (COL 2) (COL 3) ( COL 4) (COL 5)
	  (OBJECT red) (OBJECT yellow) (OBJECT green) (OBJECT purple) (OBJECT orange) (OBJECT blue)
	  (at red e 5)
	  (blocked e 5)
	  (at blue e 3)
	  (blocked e 3)
	  (at yellow d 1)
	  (blocked d 1)
	  (at purple c 4)
	  (blocked c 4)
	  (at green b 3)
	  (blocked b 3)
	  (at orange a 2)
	  (blocked a 2)

	  (clear e 1)
	  (clear e 2)
	  (clear e 4)

	  (clear d 2)
	  (clear d 3)
	  (clear d 4)
	  (clear d 5)

	  (clear c 1)
	  (clear c 2)
	  (clear c 3)
	  (clear c 5)


	  (clear b 1)
	  (clear b 2)
	  (clear b 4)
	  (clear b 5)

	  (clear a 1)
	  (clear a 3)
	  (clear a 4)
	  (clear a 5)


	  
	  )
  :goal (at red c 3)
)


(define (problem lunar7)
  :domain 'lunar-lockout
  :inits ((ROW a) (ROW b) (ROW c) (ROW d) (ROW e)
	  (COL 1) (COL 2) (COL 3) ( COL 4) (COL 5)
	  (OBJECT red) (OBJECT yellow) (OBJECT green) (OBJECT purple) (OBJECT orange) (OBJECT blue)
	  (at red d 4)
	  (blocked d 4)
	  (at yellow e 2)
	  (blocked e 2)
	  (at purple c 1)
	  (blocked c 1)
	  (at green b 5)
	  (blocked b 5)
	  (at orange a 2)
	  (blocked a 2)

	  (clear e 1)
	  (clear e 3)
	  (clear e 4)
	  (clear e 5)

	  (clear d 1)
	  (clear d 2)
	  (clear d 3)
	  (clear d 5)

	  (clear c 2)
	  (clear c 3)
	  (clear c 4)
	  (clear c 5)


	  (clear b 1)
	  (clear b 2)
	  (clear b 3)
	  (clear b 4)

	  (clear a 1)
	  (clear a 3)
	  (clear a 4)
	  (clear a 5)


	  
	  )
  :goal (at red c 3)
)


(define (problem lunar8)
  :domain 'lunar-lockout
  :inits ((ROW a) (ROW b) (ROW c) (ROW d) (ROW e)
	  (COL 1) (COL 2) (COL 3) ( COL 4) (COL 5)
	  (OBJECT red) (OBJECT yellow) (OBJECT green) (OBJECT purple) (OBJECT orange) (OBJECT blue)
	  (at red e 2)
	  (blocked e 2)
	  (at yellow d 5)
	  (blocked d 5)
	  (at purple a 5)
	  (blocked a 5)
	  (at green a 3)
	  (blocked a 3)
	  (at orange a 1)
	  (blocked a 1)

	  (clear e 1)
	  (clear e 3)
	  (clear e 4)
	  (clear e 5)

	  (clear d 1)
	  (clear d 2)
	  (clear d 3)
	  (clear d 4)

	  (clear c 1)
	  (clear c 2)
	  (clear c 3)
	  (clear c 4)
	  (clear c 5)


	  (clear b 1)
	  (clear b 2)
	  (clear b 3)
	  (clear b 4)
	  (clear b 5)

	  (clear a 2)
	  (clear a 4)


	  
	  )
  :goal (at red c 3)
)