aag 882 40 0 1 842
2
4
6
8
10
12
14
16
18
72
74
76
78
80
156
158
160
162
164
394
396
398
400
402
632
634
636
638
640
716
784
986
1188
1190
1192
1194
1196
1272
1340
1542
1765
20 19 1
22 9 1
24 16 23
26 25 1
28 7 27
30 7 29
32 14 31
34 15 27
36 33 35
38 3 37
40 3 39
42 10 41
44 11 37
46 43 45
48 10 41
50 11 37
52 49 51
54 18 47
56 19 52
58 55 57
60 4 21
62 5 59
64 61 63
66 12 65
68 13 59
70 67 69
82 81 1
84 79 1
86 16 85
88 87 1
90 77 89
92 77 91
94 14 93
96 15 89
98 95 97
100 73 99
102 73 101
104 73 99
106 7

... [truncated 10.4 kB]

3]<0>
i23 controllable_c[3][0]<0>
i24 b[0][1]<0>
i25 b[1][1]<0>
i26 b[2][1]<0>
i27 b[3][1]<0>
i28 controllable_c[0][1]<0>
i29 controllable_c[1][1]<0>
i30 controllable_c[2][1]<0>
i31 controllable_c[3][1]<0>
i32 b[0][2]<0>
i33 b[1][2]<0>
i34 b[2][2]<0>
i35 b[3][2]<0>
i36 controllable_c[0][2]<0>
i37 controllable_c[1][2]<0>
i38 controllable_c[2][2]<0>
i39 controllable_c[3][2]<0>
o0 err<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 3/3 [2015-pre-classification]
SOLVED_IN : 4.95782 [2015-pre-classification]
#.