38 lines · plain
1domain: "[M, N] -> { S5[i0, i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N; S8[]; S2[]; S7[i0, i1, i2, i3] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N and i3 >= 0 and i3 <= -1 + N and i3 >= 32i2 and i3 <= 31 + 32i2; S4[i0, i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N; S1[]; S3[] : M >= 79; S6[i0, i1, i2, i3] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N and i3 >= 0 and i3 <= -1 + N and i3 >= 32i2 and i3 <= 31 + 32i2 }"2child:3 context: "[M, N] -> { [] : M <= 3 and N >= 100 }"4 child:5 sequence:6 - filter: "[M, N] -> { S1[] }"7 - filter: "[M, N] -> { S2[] }"8 - filter: "[M, N] -> { S3[] }"9 - filter: "[M, N] -> { S5[i0, i1]; S4[i0, i1] }"10 child:11 schedule: "[M, N] -> [{ S5[i0, i1] -> [(i0)]; S4[i0, i1] -> [(i0)] }]"12 options: "[M, N] -> { separate[i0] }"13 child:14 schedule: "[M, N] -> [{ S5[i0, i1] -> [(i1)]; S4[i0, i1] -> [(i1)] }]"15 options: "[M, N] -> { separate[i0] }"16 child:17 sequence:18 - filter: "[M, N] -> { S4[i0, i1] }"19 - filter: "[M, N] -> { S5[i0, i1] }"20 - filter: "[M, N] -> { S7[i0, i1, i2, i3]; S6[i0, i1, i2, i3] }"21 child:22 schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i0)]; S6[i0, i1, i2, i3] -> [(i0)] }]"23 options: "[M, N] -> { separate[i0] }"24 child:25 schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i1)]; S6[i0, i1, i2, i3] -> [(i1)] }]"26 options: "[M, N] -> { separate[i0] }"27 child:28 schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i2)]; S6[i0, i1, i2, i3] -> [(i2)] }]"29 options: "[M, N] -> { separate[i0] }"30 child:31 schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i3)]; S6[i0, i1, i2, i3] -> [(1 + i3)] }]"32 options: "[M, N] -> { separate[i0] }"33 child:34 sequence:35 - filter: "[M, N] -> { S6[i0, i1, i2, i3] }"36 - filter: "[M, N] -> { S7[i0, i1, i2, i3] }"37 - filter: "[M, N] -> { S8[] }"38