

(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 b12)
(on b3 b9)
(on b4 b7)
(on-table b5)
(on b6 b11)
(on b7 b8)
(on b8 b5)
(on b9 b2)
(on-table b10)
(on-table b11)
(on b12 b1)
(on b13 b6)
(clear b3)
(clear b4)
(clear b10)
(clear b13)
)
(:goal
(and
(on b1 b9)
(on b2 b4)
(on b4 b11)
(on b5 b10)
(on b6 b8)
(on b7 b1)
(on b9 b2)
(on b10 b6)
(on b11 b5))
)
)


