aag 1339 29 16 1 1294
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 1
62 219
64 2575
66 2583
68 2591
70 2599
72 2607
74 2615
76 2623
78 2631
80 2639
82 2647
84 2655
86 2663
88 2671
90 2679
208
92 63 60
94 62 60
96 93 60
98 65 60
100 64 60
102 99 60
104 67 60
106 66 60
108 105 60
110 69 60
112 68 60
114 111 60
116 71 60
118 70 60
120 117 60
122 73 60
124 72 60
126 123 60
128 75 60
130 74 60
132 129 60
134 77 60
136 76 60
138 135 60
140 79 60
142 78 60
144 141 60
146 81

... [truncated 19.3 kB]

8] ? {a[5:0],8'b00000000} : 0;
  assign s9 = b[9] ? {a[4:0],9'b000000000} : 0;
  assign s10 = b[10] ? {a[3:0],10'b0000000000} : 0;
  assign s11 = b[11] ? {a[2:0],11'b00000000000} : 0;
  assign s12 = b[12] ? {a[1:0],12'b000000000000} : 0;
  assign s13 = b[13] ? {a[0:0],13'b0000000000000} : 0;
  assign r  = s0+s1+s2+s3+s4+s5+s6+s7+s8+s9+s10+s11+s12+s13;
endmodule
-------------------------------
#!SYNTCOMP
STATUS : realizable
SOLVED_BY : 8/8 [SYNTCOMP2014-RealSeq]
SOLVED_IN : 4.70429 [SYNTCOMP2014-RealSeq]
#.