phyLS/benchmarks/dec.aig

aig 312 8 0 256 304
30
36
42
46
52
58
62
66
72
76
82
86
90
94
98
102
108
110
112
114
116
118
120
122
124
126
128
130
132
134
136
138
144
146
148
150
152
154
156
158
160
162
164
166
168
170
172
174
180
182
184
186
188
190
192
194
196
198
200
202
204
206
208
210
216
218
220
222
224
226
228
230
232
234
236
238
240
242
244
246
250
252
254
256
258
260
262
264
266
268
270
272
274
276
278
280
284
286
288
290
292
294
296
298
300
302
304
306
308
310
312
314
318
320
322
324
326
328
330
332
334
336
338
340
342
344
346
348
354
356
358
360
362
364
366
368
370
372
374
376
378
380
382
384
388
390
392
394
396
398
400
402
404
406
408
410
412
414
416
418
422
424
426
428
430
432
434
436
438
440
442
444
446
448
450
452
456
458
460
462
464
466
468
470
472
474
476
478
480
482
484
486
492
494
496
498
500
502
504
506
508
510
512
514
516
518
520
522
526
528
530
532
534
536
538
540
542
544
546
548
550
552
554
556
560
562
564
566
568
570
572
574
576
578
580
582
584
586
588
590
594
596
598
600
602
604
606
608
610
612
614
616
618
620
622
624
*0"
&
*<,0$4F6:.>BFJN[TNHB>
82.*$
 €xrlfb
\VRNHD>:62. *¤œ–<04>Š†
€zvrlhb^ZVR NÄÂº´®ª
¤žš–<12>Œ†‚~zv r$lÜÖÐÌ
ÆÀ¼¸²®¨¤ œ˜ ”FHþøòî
èâÞÚÔÐÊÆÂ¾º ¶h$ š”<08>
Š„€üöòìèäàÜ ØÍÌÄ¾¸´
®¨¤ š–<16>Œˆ„€ ü$öæàÚÖ
ÐÊÆÂ¼¸²®ª¦¢ žFÒˆ‚üø
òìèäÞÚÔÐÌÈÄ Àh®ª¤žš
”ŽŠ†€üöòîêæ â×ÖÎÈÂ¾
¸²®ª¤ š–’ŽŠ †$€ðêäà
ÚÔÐÌÆÂ¼¸´°¬ ¨FÜ’Œ†‚
üöòîèäÞÚÖÒÎ Êh¸´®¨¤
ž˜”<10>Š†€üøôð ìi0 count[0]
i1 count[1]
i2 count[2]
i3 count[3]
i4 count[4]
i5 count[5]
i6 count[6]
i7 count[7]
o0 selectp1[0]
o1 selectp1[1]
o2 selectp1[2]
o3 selectp1[3]
o4 selectp1[4]
o5 selectp1[5]
o6 selectp1[6]
o7 selectp1[7]
o8 selectp1[8]
o9 selectp1[9]
o10 selectp1[10]
o11 selectp1[11]
o12 selectp1[12]
o13 selectp1[13]
o14 selectp1[14]
o15 selectp1[15]
o16 selectp1[16]
o17 selectp1[17]
o18 selectp1[18]
o19 selectp1[19]
o20 selectp1[20]
o21 selectp1[21]
o22 selectp1[22]
o23 selectp1[23]
o24 selectp1[24]
o25 selectp1[25]
o26 selectp1[26]
o27 selectp1[27]
o28 selectp1[28]
o29 selectp1[29]
o30 selectp1[30]
o31 selectp1[31]
o32 selectp1[32]
o33 selectp1[33]
o34 selectp1[34]
o35 selectp1[35]
o36 selectp1[36]
o37 selectp1[37]
o38 selectp1[38]
o39 selectp1[39]
o40 selectp1[40]
o41 selectp1[41]
o42 selectp1[42]
o43 selectp1[43]
o44 selectp1[44]
o45 selectp1[45]
o46 selectp1[46]
o47 selectp1[47]
o48 selectp1[48]
o49 selectp1[49]
o50 selectp1[50]
o51 selectp1[51]
o52 selectp1[52]
o53 selectp1[53]
o54 selectp1[54]
o55 selectp1[55]
o56 selectp1[56]
o57 selectp1[57]
o58 selectp1[58]
o59 selectp1[59]
o60 selectp1[60]
o61 selectp1[61]
o62 selectp1[62]
o63 selectp1[63]
o64 selectp1[64]
o65 selectp1[65]
o66 selectp1[66]
o67 selectp1[67]
o68 selectp1[68]
o69 selectp1[69]
o70 selectp1[70]
o71 selectp1[71]
o72 selectp1[72]
o73 selectp1[73]
o74 selectp1[74]
o75 selectp1[75]
o76 selectp1[76]
o77 selectp1[77]
o78 selectp1[78]
o79 selectp1[79]
o80 selectp1[80]
o81 selectp1[81]
o82 selectp1[82]
o83 selectp1[83]
o84 selectp1[84]
o85 selectp1[85]
o86 selectp1[86]
o87 selectp1[87]
o88 selectp1[88]
o89 selectp1[89]
o90 selectp1[90]
o91 selectp1[91]
o92 selectp1[92]
o93 selectp1[93]
o94 selectp1[94]
o95 selectp1[95]
o96 selectp1[96]
o97 selectp1[97]
o98 selectp1[98]
o99 selectp1[99]
o100 selectp1[100]
o101 selectp1[101]
o102 selectp1[102]
o103 selectp1[103]
o104 selectp1[104]
o105 selectp1[105]
o106 selectp1[106]
o107 selectp1[107]
o108 selectp1[108]
o109 selectp1[109]
o110 selectp1[110]
o111 selectp1[111]
o112 selectp1[112]
o113 selectp1[113]
o114 selectp1[114]
o115 selectp1[115]
o116 selectp1[116]
o117 selectp1[117]
o118 selectp1[118]
o119 selectp1[119]
o120 selectp1[120]
o121 selectp1[121]
o122 selectp1[122]
o123 selectp1[123]
o124 selectp1[124]
o125 selectp1[125]
o126 selectp1[126]
o127 selectp1[127]
o128 selectp2[0]
o129 selectp2[1]
o130 selectp2[2]
o131 selectp2[3]
o132 selectp2[4]
o133 selectp2[5]
o134 selectp2[6]
o135 selectp2[7]
o136 selectp2[8]
o137 selectp2[9]
o138 selectp2[10]
o139 selectp2[11]
o140 selectp2[12]
o141 selectp2[13]
o142 selectp2[14]
o143 selectp2[15]
o144 selectp2[16]
o145 selectp2[17]
o146 selectp2[18]
o147 selectp2[19]
o148 selectp2[20]
o149 selectp2[21]
o150 selectp2[22]
o151 selectp2[23]
o152 selectp2[24]
o153 selectp2[25]
o154 selectp2[26]
o155 selectp2[27]
o156 selectp2[28]
o157 selectp2[29]
o158 selectp2[30]
o159 selectp2[31]
o160 selectp2[32]
o161 selectp2[33]
o162 selectp2[34]
o163 selectp2[35]
o164 selectp2[36]
o165 selectp2[37]
o166 selectp2[38]
o167 selectp2[39]
o168 selectp2[40]
o169 selectp2[41]
o170 selectp2[42]
o171 selectp2[43]
o172 selectp2[44]
o173 selectp2[45]
o174 selectp2[46]
o175 selectp2[47]
o176 selectp2[48]
o177 selectp2[49]
o178 selectp2[50]
o179 selectp2[51]
o180 selectp2[52]
o181 selectp2[53]
o182 selectp2[54]
o183 selectp2[55]
o184 selectp2[56]
o185 selectp2[57]
o186 selectp2[58]
o187 selectp2[59]
o188 selectp2[60]
o189 selectp2[61]
o190 selectp2[62]
o191 selectp2[63]
o192 selectp2[64]
o193 selectp2[65]
o194 selectp2[66]
o195 selectp2[67]
o196 selectp2[68]
o197 selectp2[69]
o198 selectp2[70]
o199 selectp2[71]
o200 selectp2[72]
o201 selectp2[73]
o202 selectp2[74]
o203 selectp2[75]
o204 selectp2[76]
o205 selectp2[77]
o206 selectp2[78]
o207 selectp2[79]
o208 selectp2[80]
o209 selectp2[81]
o210 selectp2[82]
o211 selectp2[83]
o212 selectp2[84]
o213 selectp2[85]
o214 selectp2[86]
o215 selectp2[87]
o216 selectp2[88]
o217 selectp2[89]
o218 selectp2[90]
o219 selectp2[91]
o220 selectp2[92]
o221 selectp2[93]
o222 selectp2[94]
o223 selectp2[95]
o224 selectp2[96]
o225 selectp2[97]
o226 selectp2[98]
o227 selectp2[99]
o228 selectp2[100]
o229 selectp2[101]
o230 selectp2[102]
o231 selectp2[103]
o232 selectp2[104]
o233 selectp2[105]
o234 selectp2[106]
o235 selectp2[107]
o236 selectp2[108]
o237 selectp2[109]
o238 selectp2[110]
o239 selectp2[111]
o240 selectp2[112]
o241 selectp2[113]
o242 selectp2[114]
o243 selectp2[115]
o244 selectp2[116]
o245 selectp2[117]
o246 selectp2[118]
o247 selectp2[119]
o248 selectp2[120]
o249 selectp2[121]
o250 selectp2[122]
o251 selectp2[123]
o252 selectp2[124]
o253 selectp2[125]
o254 selectp2[126]
o255 selectp2[127]
c
top
This file was written by ABC on Thu Mar  5 14:25:11 2015
For information about AIGER format, refer to http://fmv.jku.at/aiger