; Compilation CPU-time: 0.070 seconds (define (problem grounded-STRIPS-OS-SEQUENCEDSTRIPS-WBOP_30_30-37) (:domain grounded-STRIPS-OPENSTACKS-SEQUENCEDSTRIPS) (:init (NOT-MADE-P1) (NOT-MADE-P2) (NOT-MADE-P3) (NOT-MADE-P4) (NOT-MADE-P5) (NOT-MADE-P6) (NOT-MADE-P7) (NOT-MADE-P8) (NOT-MADE-P9) (NOT-MADE-P10) (NOT-MADE-P11) (NOT-MADE-P12) (NOT-MADE-P13) (NOT-MADE-P14) (NOT-MADE-P15) (NOT-MADE-P16) (NOT-MADE-P17) (NOT-MADE-P18) (NOT-MADE-P19) (NOT-MADE-P20) (NOT-MADE-P21) (NOT-MADE-P22) (NOT-MADE-P23) (NOT-MADE-P24) (NOT-MADE-P25) (NOT-MADE-P26) (NOT-MADE-P27) (NOT-MADE-P28) (NOT-MADE-P29) (NOT-MADE-P30) (WAITING-O30) (WAITING-O29) (WAITING-O28) (WAITING-O27) (WAITING-O26) (WAITING-O25) (WAITING-O24) (WAITING-O23) (WAITING-O22) (WAITING-O21) (WAITING-O20) (WAITING-O19) (WAITING-O18) (WAITING-O17) (WAITING-O16) (WAITING-O15) (WAITING-O14) (WAITING-O13) (WAITING-O12) (WAITING-O11) (WAITING-O10) (WAITING-O9) (WAITING-O8) (WAITING-O7) (WAITING-O6) (WAITING-O5) (WAITING-O4) (WAITING-O3) (WAITING-O2) (WAITING-O1) (STACKS-AVAIL-N0) (MACHINE-AVAILABLE-) ) (:goal (and (SHIPPED-O30) (SHIPPED-O29) (SHIPPED-O28) (SHIPPED-O27) (SHIPPED-O26) (SHIPPED-O25) (SHIPPED-O24) (SHIPPED-O23) (SHIPPED-O22) (SHIPPED-O21) (SHIPPED-O20) (SHIPPED-O19) (SHIPPED-O18) (SHIPPED-O17) (SHIPPED-O16) (SHIPPED-O15) (SHIPPED-O14) (SHIPPED-O13) (SHIPPED-O12) (SHIPPED-O11) (SHIPPED-O10) (SHIPPED-O9) (SHIPPED-O8) (SHIPPED-O7) (SHIPPED-O6) (SHIPPED-O5) (SHIPPED-O4) (SHIPPED-O3) (SHIPPED-O2) (SHIPPED-O1) ) ) )