(define (problem grounded-STRIPS-PSR-S57-N5-L2-F30) (:domain grounded-STRIPS-PSR) (:init (do-normal) (NOT-UPDATED-CB1) (NOT-UPDATED-CB3) (NOT-UPDATED-CB5) (NOT-CLOSED-SD2) (NOT-CLOSED-SD3) (NOT-CLOSED-SD5) (NOT-CLOSED-SD13) (NOT-CLOSED-SD14) (CLOSED-SD12) (CLOSED-SD11) (CLOSED-SD10) (CLOSED-SD9) (CLOSED-SD8) (CLOSED-SD7) (CLOSED-SD6) (CLOSED-SD4) (CLOSED-SD1) (CLOSED-CB5) (UPDATED-CB4) (CLOSED-CB4) (CLOSED-CB3) (UPDATED-CB2) (CLOSED-CB2) (CLOSED-CB1) ) (:goal (and (do-normal) (GOAL-REACHED) ) ) )