aag 234 21 0 1 213
2
4
6
8
10
12
14
58
60
62
64
128
130
132
134
240
242
244
246
310
366
469
16 15 1
18 7 1
20 12 19
22 21 1
24 3 23
26 3 25
28 8 27
30 9 23
32 29 31
34 8 27
36 9 23
38 35 37
40 14 33
42 15 38
44 41 43
46 4 17
48 5 45
50 47 49
52 10 51
54 11 45
56 53 55
66 65 1
68 63 1
70 12 69
72 71 1
74 59 73
76 59 75
78 59 73
80 59 79
82 64 77
84 65 80
86 83 85
88 60 67
90 61 87
92 89 91
94 12 69
96 95 1
98 64 73
100 65 96
102 99 101
104 60 67
106 61 103
108 105 107
110 8 93
112 9 109
114 111 113
116 8 87


... [truncated 1.9 kB]

][0]<0>
i1 a[0][1]<0>
i2 a[0][2]<0>
i3 b[0][0]<0>
i4 b[1][0]<0>
i5 b[2][0]<0>
i6 controllable_c[0][0]<0>
i7 a[1][0]<0>
i8 a[1][1]<0>
i9 a[1][2]<0>
i10 controllable_c[1][0]<0>
i11 a[2][0]<0>
i12 a[2][1]<0>
i13 a[2][2]<0>
i14 controllable_c[2][0]<0>
i15 b[0][1]<0>
i16 b[1][1]<0>
i17 b[2][1]<0>
i18 controllable_c[0][1]<0>
i19 controllable_c[1][1]<0>
i20 controllable_c[2][1]<0>
o0 err<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2015-pre-classification]
SOLVED_IN : 0.037171 [2015-pre-classification]
#.