aag 106 2 21 1 83
2
4
6 157
8 161
10 165
12 169
14 173
16 177
18 181
20 125
22 22
24 24
26 26
28 28
30 30
32 32
34 0
36 185
38 189
40 193
42 197
44 201
46 209
213
48 1 9
50 48 7
52 50 29
54 52 39
56 54 31
58 56 41
60 58 25
62 60 35
64 62 27
66 64 37
68 66 21
70 68 19
72 70 47
74 72 23
76 74 17
78 76 15
80 78 43
82 80 13
84 82 45
86 84 11
88 86 33
90 1 5
92 6 90
94 8 90
96 10 90
98 12 90
100 14 90
102 16 90
104 18 90
106 2 5
108 6 106
110 8 106
112 10 106
114 12 106
116 14 106
118 16 106
120 18 106
122 119 1

... [truncated 373 Bytes]


192 113 191
194 40 106
196 115 195
198 42 106
200 117 199
202 44 106
204 122 203
206 46 106
208 204 207
210 19 33
212 210 47
i0 req
i1 controllable_grant
l0 latch0
l1 latch1
l2 latch2
l3 latch3
l4 latch4
l5 latch5
l6 latch6
l7 latch7
l8 latch8
l9 latch9
l10 latch10
l11 latch11
l12 latch12
l13 latch13
l14 latch14
l15 latch15
l16 latch16
l17 latch17
l18 latch18
l19 latch19
l20 latch20
o0 error
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 8/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 0.004 [SYNTCOMP2014-RealSeq]
#.