

(define (problem BW-rand-13)
(:domain blocksworld-4ops)
(:objects b1 b2 b3 b4 b5 b6 b7 b8 b9 b10 b11 b12 b13 )
(:init
(arm-empty)
(on-table b1)
(on b2 b4)
(on b3 b8)
(on-table b4)
(on-table b5)
(on-table b6)
(on b7 b9)
(on b8 b6)
(on b9 b13)
(on b10 b7)
(on b11 b3)
(on b12 b10)
(on b13 b11)
(clear b1)
(clear b2)
(clear b5)
(clear b12)
)
(:goal
(and
(on b2 b6)
(on b3 b5)
(on b4 b10)
(on b5 b12)
(on b7 b8)
(on b9 b4)
(on b11 b2)
(on b12 b13)
(on b13 b11))
)
)


