1 context: '[N] -> { : N <= 2147483647 and N >= -2147483648 }'
4 extent: '[N] -> { __pet_test_0[t] : t >= 0 }'
5 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
10 extent: '[N] -> { __pet_test_1[t] : N = 0 and t >= 1; __pet_test_1[0] }'
11 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
16 extent: '[N] -> { __pet_test_2[t] : t >= 0 }'
17 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
22 extent: '[N] -> { __pet_test_3[t] : t >= 0 }'
23 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
28 extent: '[N] -> { a[] }'
33 domain: '[N] -> { S_0[t] : N = 0 and t >= 1; S_0[0] }'
34 schedule: '{ S_0[t] -> [0, t, 0] }'
40 relation: '[N] -> { S_0[t] -> a[] }'
44 relation: '[N] -> { S_0[t] -> [5] }'
48 domain: '[N] -> { S_1[t] : N = 0 and t >= 1; S_1[0] : N = 0 }'
49 schedule: '{ S_1[t] -> [0, t, 2] }'
55 relation: '[N] -> { S_1[t] -> a[] }'
59 relation: '[N] -> { S_1[t] -> [6] }'
63 domain: '[N] -> { [S_2[t] -> [0]] : t >= 0 }'
64 schedule: '{ S_2[t] -> [1, t, 0] }'
70 relation: '[N] -> { S_2[t] -> a[] }'
74 relation: '[N] -> { S_2[t] -> [5] }'
79 relation: '[N] -> { S_2[t] -> __pet_test_0[o0] : o0 <= -1 + t and o0 >= 0 }'
83 domain: '[N] -> { [S_3[t] -> [0]] : t >= 0 }'
84 schedule: '{ S_3[t] -> [1, t, 1, 0] }'
90 relation: '[N] -> { S_3[t] -> __pet_test_0[t] }'
97 relation: '[N] -> { S_3[t] -> __pet_test_0[o0] : o0 <= -1 + t and o0 >= 0 }'
101 domain: '[N] -> { [S_4[t] -> [0]] : t >= 0 }'
102 schedule: '{ S_4[t] -> [1, t, 2] }'
108 relation: '[N] -> { S_4[t] -> a[] }'
112 relation: '[N] -> { S_4[t] -> [6] }'
117 relation: '[N] -> { S_4[t] -> __pet_test_0[o0] : o0 <= -1 + t and o0 >= 0; S_4[t]
118 -> __pet_test_0[t] }'
122 domain: '[N] -> { [S_5[t] -> [1]] : N = 0 and t >= 1; [S_5[0] -> [1]] }'
123 schedule: '{ S_5[t] -> [2, t, 0] }'
129 relation: '[N] -> { S_5[t] -> __pet_test_1[t] }'
136 relation: '[N] -> { S_5[t] -> __pet_test_1[o0] : N = 0 and o0 <= -1 + t and o0
137 >= 1; S_5[t] -> __pet_test_1[0] : t >= 1 }'
141 domain: '[N] -> { [S_6[t] -> [1]] : N = 0 and t >= 1; [S_6[0] -> [1]] }'
142 schedule: '{ S_6[t] -> [2, t, 1, 0] }'
148 relation: '[N] -> { S_6[t] -> a[] }'
152 relation: '[N] -> { S_6[t] -> [5] }'
157 relation: '[N] -> { S_6[t] -> __pet_test_1[o0] : N = 0 and o0 <= t and o0 >= 1;
158 S_6[t] -> __pet_test_1[0] }'
162 domain: '[N] -> { [S_7[t] -> [1]] : N = 0 and t >= 1; [S_7[0] -> [1]] : N = 0 }'
163 schedule: '{ S_7[t] -> [2, t, 1, 2] }'
169 relation: '[N] -> { S_7[t] -> a[] }'
173 relation: '[N] -> { S_7[t] -> [6] }'
178 relation: '[N] -> { S_7[t] -> __pet_test_1[o0] : o0 <= t and o0 >= 1; S_7[t] ->
183 domain: '[N] -> { [S_8[t] -> [1, 0]] : t >= 0 }'
184 schedule: '{ S_8[t] -> [3, t, 0] }'
190 relation: '[N] -> { S_8[t] -> __pet_test_2[t] }'
197 relation: '[N] -> { S_8[t] -> __pet_test_2[o0] : o0 <= -1 + t and o0 >= 0 }'
201 relation: '[N] -> { S_8[t] -> __pet_test_3[o0] : o0 <= -1 + t and o0 >= 0 }'
205 domain: '[N] -> { [S_9[t] -> [1, 0]] : t >= 0 }'
206 schedule: '{ S_9[t] -> [3, t, 1, 0] }'
212 relation: '[N] -> { S_9[t] -> a[] }'
216 relation: '[N] -> { S_9[t] -> [5] }'
221 relation: '[N] -> { S_9[t] -> __pet_test_2[o0] : o0 <= t and o0 >= 0 }'
225 relation: '[N] -> { S_9[t] -> __pet_test_3[o0] : o0 <= -1 + t and o0 >= 0 }'
229 domain: '[N] -> { [S_10[t] -> [1, 0]] : t >= 0 }'
230 schedule: '{ S_10[t] -> [3, t, 1, 1, 0] }'
236 relation: '[N] -> { S_10[t] -> __pet_test_3[t] }'
243 relation: '[N] -> { S_10[t] -> __pet_test_2[o0] : o0 <= t and o0 >= 0 }'
247 relation: '[N] -> { S_10[t] -> __pet_test_3[o0] : o0 <= -1 + t and o0 >= 0 }'
251 domain: '[N] -> { [S_11[t] -> [1, 0]] : t >= 0 }'
252 schedule: '{ S_11[t] -> [3, t, 1, 2] }'
258 relation: '[N] -> { S_11[t] -> a[] }'
262 relation: '[N] -> { S_11[t] -> [6] }'
267 relation: '[N] -> { S_11[t] -> __pet_test_2[o0] : o0 <= t and o0 >= 0 }'
271 relation: '[N] -> { S_11[t] -> __pet_test_3[o0] : o0 <= -1 + t and o0 >= 0; S_11[t]
272 -> __pet_test_3[t] }'