aag 270 9 10 1 251
2
4
6
8
10
12
14
16
18
20 205
22 245
24 289
26 329
28 373
30 413
32 457
34 497
36 541
38 58
161
40 21 1
42 23 1
44 25 1
46 27 1
48 29 1
50 31 1
52 33 1
54 35 1
56 37 1
58 1 1
60 40 1
62 43 61
64 63 1
66 45 65
68 67 1
70 38 69
72 71 1
74 40 1
76 43 75
78 77 1
80 45 79
82 81 1
84 38 83
86 85 1
88 86 72
90 46 1
92 48 91
94 48 93
96 50 95
98 50 97
100 38 99
102 101 38
104 88 1
106 104 103
108 46 1
110 48 109
112 48 111
114 50 113
116 50 115
118 38 117
120 119 38
122 106 1
124 122 121
126 52 1

... [truncated 2.1 kB]

6 534 1
538 38 537
540 539 38
i0 b[0][0]<0>
i1 b[0][1]<0>
i2 b[0][2]<0>
i3 controllable_c[0][0]<0>
i4 controllable_c[0][1]<0>
i5 controllable_c[0][2]<0>
i6 controllable_c[1][0]<0>
i7 controllable_c[1][1]<0>
i8 controllable_c[1][2]<0>
l0 a[0][0]<0>
l1 a[0][1]<0>
l2 a[0][2]<0>
l3 a[1][0]<0>
l4 a[1][1]<0>
l5 a[1][2]<0>
l6 a[2][0]<0>
l7 a[2][1]<0>
l8 a[2][2]<0>
l9 init_latch<0>
o0 err<0>
c
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 2/3 [2015-pre-classification]
SOLVED_IN : 0.003886 [2015-pre-classification]
#.