; Compilation CPU-time: 3.500 seconds (define (problem grounded-STRIPS-OS-SEQUENCEDSTRIPS-GP100BY100-4) (: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) (NOT-MADE-P31) (NOT-MADE-P32) (NOT-MADE-P33) (NOT-MADE-P34) (NOT-MADE-P35) (NOT-MADE-P36) (NOT-MADE-P37) (NOT-MADE-P38) (NOT-MADE-P39) (NOT-MADE-P40) (NOT-MADE-P41) (NOT-MADE-P42) (NOT-MADE-P43) (NOT-MADE-P44) (NOT-MADE-P45) (NOT-MADE-P46) (NOT-MADE-P47) (NOT-MADE-P48) (NOT-MADE-P49) (NOT-MADE-P50) (NOT-MADE-P51) (NOT-MADE-P52) (NOT-MADE-P53) (NOT-MADE-P54) (NOT-MADE-P55) (NOT-MADE-P56) (NOT-MADE-P57) (NOT-MADE-P58) (NOT-MADE-P59) (NOT-MADE-P60) (NOT-MADE-P61) (NOT-MADE-P62) (NOT-MADE-P63) (NOT-MADE-P64) (NOT-MADE-P65) (NOT-MADE-P66) (NOT-MADE-P67) (NOT-MADE-P68) (NOT-MADE-P69) (NOT-MADE-P70) (NOT-MADE-P71) (NOT-MADE-P72) (NOT-MADE-P73) (NOT-MADE-P74) (NOT-MADE-P75) (NOT-MADE-P76) (NOT-MADE-P77) (NOT-MADE-P78) (NOT-MADE-P79) (NOT-MADE-P80) (NOT-MADE-P81) (NOT-MADE-P82) (NOT-MADE-P83) (NOT-MADE-P84) (NOT-MADE-P85) (NOT-MADE-P86) (NOT-MADE-P87) (NOT-MADE-P88) (NOT-MADE-P89) (NOT-MADE-P90) (NOT-MADE-P91) (NOT-MADE-P92) (NOT-MADE-P93) (NOT-MADE-P94) (NOT-MADE-P95) (NOT-MADE-P96) (NOT-MADE-P97) (NOT-MADE-P98) (NOT-MADE-P99) (NOT-MADE-P100) (WAITING-O100) (WAITING-O99) (WAITING-O98) (WAITING-O97) (WAITING-O96) (WAITING-O95) (WAITING-O94) (WAITING-O93) (WAITING-O92) (WAITING-O91) (WAITING-O90) (WAITING-O89) (WAITING-O88) (WAITING-O87) (WAITING-O86) (WAITING-O85) (WAITING-O84) (WAITING-O83) (WAITING-O82) (WAITING-O81) (WAITING-O80) (WAITING-O79) (WAITING-O78) (WAITING-O77) (WAITING-O76) (WAITING-O75) (WAITING-O74) (WAITING-O73) (WAITING-O72) (WAITING-O71) (WAITING-O70) (WAITING-O69) (WAITING-O68) (WAITING-O67) (WAITING-O66) (WAITING-O65) (WAITING-O64) (WAITING-O63) (WAITING-O62) (WAITING-O61) (WAITING-O60) (WAITING-O59) (WAITING-O58) (WAITING-O57) (WAITING-O56) (WAITING-O55) (WAITING-O54) (WAITING-O53) (WAITING-O52) (WAITING-O51) (WAITING-O50) (WAITING-O49) (WAITING-O48) (WAITING-O47) (WAITING-O46) (WAITING-O45) (WAITING-O44) (WAITING-O43) (WAITING-O42) (WAITING-O41) (WAITING-O40) (WAITING-O39) (WAITING-O38) (WAITING-O37) (WAITING-O36) (WAITING-O35) (WAITING-O34) (WAITING-O33) (WAITING-O32) (WAITING-O31) (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-O100) (SHIPPED-O99) (SHIPPED-O98) (SHIPPED-O97) (SHIPPED-O96) (SHIPPED-O95) (SHIPPED-O94) (SHIPPED-O93) (SHIPPED-O92) (SHIPPED-O91) (SHIPPED-O90) (SHIPPED-O89) (SHIPPED-O88) (SHIPPED-O87) (SHIPPED-O86) (SHIPPED-O85) (SHIPPED-O84) (SHIPPED-O83) (SHIPPED-O82) (SHIPPED-O81) (SHIPPED-O80) (SHIPPED-O79) (SHIPPED-O78) (SHIPPED-O77) (SHIPPED-O76) (SHIPPED-O75) (SHIPPED-O74) (SHIPPED-O73) (SHIPPED-O72) (SHIPPED-O71) (SHIPPED-O70) (SHIPPED-O69) (SHIPPED-O68) (SHIPPED-O67) (SHIPPED-O66) (SHIPPED-O65) (SHIPPED-O64) (SHIPPED-O63) (SHIPPED-O62) (SHIPPED-O61) (SHIPPED-O60) (SHIPPED-O59) (SHIPPED-O58) (SHIPPED-O57) (SHIPPED-O56) (SHIPPED-O55) (SHIPPED-O54) (SHIPPED-O53) (SHIPPED-O52) (SHIPPED-O51) (SHIPPED-O50) (SHIPPED-O49) (SHIPPED-O48) (SHIPPED-O47) (SHIPPED-O46) (SHIPPED-O45) (SHIPPED-O44) (SHIPPED-O43) (SHIPPED-O42) (SHIPPED-O41) (SHIPPED-O40) (SHIPPED-O39) (SHIPPED-O38) (SHIPPED-O37) (SHIPPED-O36) (SHIPPED-O35) (SHIPPED-O34) (SHIPPED-O33) (SHIPPED-O32) (SHIPPED-O31) (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) ) ) )