aag 556 42 44 1 470
2
4
6
8
10
12
14
16
18
20
22
24
26
28
30
32
34
36
38
40
42
44
46
48
50
52
54
56
58
60
62
64
66
68
70
72
74
76
78
80
82
84
86 1
88 2
90 4
92 6
94 8
96 10
98 12
100 14
102 16
104 18
106 20
108 22
110 24
112 26
114 28
116 30
118 32
120 34
122 36
124 38
126 40
128 42
130 44
132 46
134 48
136 50
138 52
140 54
142 56
144 58
146 60
148 62
150 64
152 66
154 68
156 70
158 72
160 74
162 76
164 78
166 80
168 82
170 84
172 909
1112
174 60 58
176 4 3
178 176 6
180 178 8
182 180 10
184 182 12
186 184 

... [truncated 6.4 kB]

prev_arm1@1
l33 prev_arm1@2
l34 prev_arm2@0.0.4
l35 prev_arm2@1
l36 prev_arm2@2
l37 prev_arm1op@0.0.4
l38 prev_arm1op@1
l39 prev_arm1op@2
l40 prev_arm2op@0.0.4
l41 prev_arm2op@1
l42 prev_arm2op@2
l43 AssumptionsAlreadyViolated
o0 err
c
factory_assembly_5x5_2_11errors
This file was written by ABC on Thu Mar 20 10:17:35 2014
For information about AIGER format, refer to http://fmv.jku.at/aiger
#!SYNTCOMP
STATUS : unrealizable
SOLVED_BY : 1/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 74.9487 [SYNTCOMP2014-RealSeq]
#.