(define (problem multirobot_15_10%_c3)
 (:domain multirobot)
 (:objects
  v0 r33
  v1 r53
  v2 r17
  v3 r25
  v4 r12
  v5
  v6 r19
  v7 r7
  v8
  v9 r46
  v10 r40
  v11 r24
  v12 r31
  v13 r16
  v14 r5
  v15 r34
  v16 r39
  v17 r37
  v18
  v19 r10
  v20 r45
  v21 r27
  v22 r30
  v23 r14
  v24 r8
  v25 r35
  v26 r57
  v27 r32
  v28 r26
  v29 r11
  v30 r18
  v31 r51
  v32 r55
  v33 r9
  v34 r29
  v35 r38
  v36 r36
  v37 r48
  v38 r44
  v39 r28
  v40 r6
  v41 r21
  v42 r43
  v43 r52
  v44 r54
  v45 r15
  v46 r13
  v47 r42
  v48 r50
  v49 r22
  v50
  v51
  v52 r47
  v53 r20
  v54 r49
  v55 r23
  v56 r41
  v57 r56
 )
 (:init
  (at r33 v0)
  (at r53 v1)
  (at r17 v2)
  (at r25 v3)
  (at r12 v4)
  (free v5)
  (at r19 v6)
  (at r7 v7)
  (free v8)
  (at r46 v9)
  (at r40 v10)
  (at r24 v11)
  (at r31 v12)
  (at r16 v13)
  (at r5 v14)
  (at r34 v15)
  (at r39 v16)
  (at r37 v17)
  (free v18)
  (at r10 v19)
  (at r45 v20)
  (at r27 v21)
  (at r30 v22)
  (at r14 v23)
  (at r8 v24)
  (at r35 v25)
  (at r57 v26)
  (at r32 v27)
  (at r26 v28)
  (at r11 v29)
  (at r18 v30)
  (at r51 v31)
  (at r55 v32)
  (at r9 v33)
  (at r29 v34)
  (at r38 v35)
  (at r36 v36)
  (at r48 v37)
  (at r44 v38)
  (at r28 v39)
  (at r6 v40)
  (at r21 v41)
  (at r43 v42)
  (at r52 v43)
  (at r54 v44)
  (at r15 v45)
  (at r13 v46)
  (at r42 v47)
  (at r50 v48)
  (at r22 v49)
  (free v50)
  (free v51)
  (at r47 v52)
  (at r20 v53)
  (at r49 v54)
  (at r23 v55)
  (at r41 v56)
  (at r56 v57)
  (adjacent v0 v1)
  (adjacent v0 v4)
  (adjacent v0 v17)
  (adjacent v1 v2)
  (adjacent v1 v30)
  (adjacent v2 v3)
  (adjacent v3 v4)
  (adjacent v3 v8)
  (adjacent v3 v15)
  (adjacent v3 v46)
  (adjacent v4 v5)
  (adjacent v4 v10)
  (adjacent v4 v18)
  (adjacent v5 v6)
  (adjacent v5 v9)
  (adjacent v5 v11)
  (adjacent v6 v7)
  (adjacent v6 v10)
  (adjacent v7 v8)
  (adjacent v7 v9)
  (adjacent v7 v16)
  (adjacent v7 v36)
  (adjacent v8 v53)
  (adjacent v9 v45)
  (adjacent v10 v44)
  (adjacent v11 v12)
  (adjacent v11 v43)
  (adjacent v12 v13)
  (adjacent v13 v14)
  (adjacent v14 v15)
  (adjacent v15 v23)
  (adjacent v16 v17)
  (adjacent v16 v48)
  (adjacent v17 v29)
  (adjacent v17 v54)
  (adjacent v18 v19)
  (adjacent v19 v20)
  (adjacent v19 v49)
  (adjacent v20 v21)
  (adjacent v21 v22)
  (adjacent v21 v24)
  (adjacent v22 v23)
  (adjacent v23 v42)
  (adjacent v24 v25)
  (adjacent v24 v57)
  (adjacent v25 v26)
  (adjacent v26 v27)
  (adjacent v27 v28)
  (adjacent v28 v29)
  (adjacent v28 v37)
  (adjacent v29 v55)
  (adjacent v30 v31)
  (adjacent v30 v43)
  (adjacent v31 v32)
  (adjacent v32 v33)
  (adjacent v33 v34)
  (adjacent v34 v35)
  (adjacent v35 v36)
  (adjacent v37 v38)
  (adjacent v38 v39)
  (adjacent v39 v40)
  (adjacent v40 v41)
  (adjacent v41 v42)
  (adjacent v44 v45)
  (adjacent v44 v56)
  (adjacent v46 v47)
  (adjacent v47 v48)
  (adjacent v49 v50)
  (adjacent v50 v51)
  (adjacent v51 v52)
  (adjacent v52 v53)
  (adjacent v54 v55)
  (adjacent v56 v57)
 )
 (:goal
  (and
  (free v0)
  (at r12 v1)
  (at r36 v2)
  (free v3)
  (at r28 v4)
  (at r37 v5)
  (at r18 v6)
  (at r41 v7)
  (at r11 v8)
  (at r52 v9)
  (at r25 v10)
  (at r55 v11)
  (at r21 v12)
  (at r13 v13)
  (at r47 v14)
  (at r50 v15)
  (at r26 v16)
  (at r22 v17)
  (at r39 v18)
  (at r48 v19)
  (at r56 v20)
  (at r16 v21)
  (free v22)
  (at r30 v23)
  (at r44 v24)
  (at r46 v25)
  (at r23 v26)
  (at r54 v27)
  (at r19 v28)
  (at r57 v29)
  (at r10 v30)
  (at r43 v31)
  (at r14 v32)
  (at r5 v33)
  (at r51 v34)
  (at r8 v35)
  (at r33 v36)
  (at r27 v37)
  (free v38)
  (at r17 v39)
  (free v40)
  (at r6 v41)
  (at r32 v42)
  (at r40 v43)
  (at r53 v44)
  (at r38 v45)
  (at r29 v46)
  (at r35 v47)
  (at r15 v48)
  (at r42 v49)
  (at r20 v50)
  (at r9 v51)
  (at r45 v52)
  (at r34 v53)
  (at r7 v54)
  (at r24 v55)
  (at r49 v56)
  (at r31 v57)
  )
 )
)