zcy
/
phyLS
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
phyLS/benchmarks/adder.aig

665 lines
7.2 KiB
Plaintext
Raw Normal View History

EPFL benchmarks
2022-12-14 06:35:54 +00:00
aig 1276 256 0 129 1020
519
533
548
564
580
596
612
628
644
660
676
692
708
724
740
756
772
788
804
820
836
852
868
884
900
916
932
948
964
980
996
1012
1028
1044
1060
1076
1092
1108
1124
1140
1156
1172
1188
1204
1220
1236
1252
1268
1284
1300
1316
1332
1348
1364
1380
1396
1412
1428
1444
1460
1476
1492
1508
1524
1540
1556
1572
1588
1604
1620
1636
1652
1668
1684
1700
1716
1732
1748
1764
1780
1796
1812
1828
1844
1860
1876
1892
1908
1924
1940
1956
1972
1988
2004
2020
2036
2052
2068
2084
2100
2116
2132
2148
2164
2180
2196
2212
2228
2244
2260
2276
2292
2308
2324
2340
2356
2372
2388
2404
2420
2436
2452
2468
2484
2500
2516
2532
2548
2553
<EFBFBD><01><02><02><02><02><02><02><02><02> 
<EFBFBD><02><02><02> 
<EFBFBD><02><02><02> 
<EFBFBD><02><02><02> 
<EFBFBD><02><02><02> 
<EFBFBD><02><02><02> 
<EFBFBD><02><02><02> 
<EFBFBD><02><02><02> 
<EFBFBD><02><02><02> 
<EFBFBD><03><02><03> 
<EFBFBD><03><02><03> 
<EFBFBD><03><02><03> 
<EFBFBD><03><02><03> 
<EFBFBD><03><02><03> 
<EFBFBD><03><02><03> 
<EFBFBD><03><02><03> 
<EFBFBD><03><02><03> 
<EFBFBD><03><02><03> 
<EFBFBD><04><02><04> 
<EFBFBD><04><02><04> 
<EFBFBD><04><02><04> 
<EFBFBD><04><02><04> 
<EFBFBD><04><02><04> 
<EFBFBD><04><02><04> 
<EFBFBD><04><02><04> 
<EFBFBD><04><02><04> 
<EFBFBD><04><02><04> 
<EFBFBD><04><02><05> 
<EFBFBD><05><02><05> 
<EFBFBD><05><02><05> 
<EFBFBD><05><02><05> 
<EFBFBD><05><02><05> 
<EFBFBD><05><02><05> 
<EFBFBD><05><02><05> 
<EFBFBD><05><02><05> 
<EFBFBD><05><02><05> 
<EFBFBD><05><02><06> 
<EFBFBD><06><02><06> 
<EFBFBD><06><02><06> 
<EFBFBD><06><02><06> 
<EFBFBD><06><02><06> 
<EFBFBD><06><02><06> 
<EFBFBD><06><02><06> 
<EFBFBD><06><02><06> 
<EFBFBD><06><02><06> 
<EFBFBD><06><02><06> 
<EFBFBD><07><02><07> 
<EFBFBD><07><02><07> 
<EFBFBD><07><02><07> 
<EFBFBD><07><02><07> 
<EFBFBD><07><02><07> 
<EFBFBD><07><02><07> 
<EFBFBD><07><02><07> 
<EFBFBD><07><02><07> 
<EFBFBD><07><02><07> 
<EFBFBD><08><02><08> 
<EFBFBD><08><02><08> 
<EFBFBD><08><02><08> 
<EFBFBD><08><02><08> 
<EFBFBD><08><02><08> 
<EFBFBD><08><02><08> 
<EFBFBD><08><02><08> 
<EFBFBD><08><02><08> 
<EFBFBD><08><02><08> 
<EFBFBD> <09><02> <09> 
<EFBFBD> <09><02> <09> 
<EFBFBD> <09><02> <09> 
<EFBFBD> <09><02> <09> 
<EFBFBD> <09><02> <09> 
<EFBFBD> <09><02> <09> 
<EFBFBD> <09><02> <09> 
<EFBFBD> <09><02> <09> 
<EFBFBD> <09><02> <09> 
<EFBFBD>
<EFBFBD><02>
<EFBFBD> 
<EFBFBD>
<EFBFBD><02>
<EFBFBD> 
<EFBFBD>
<EFBFBD><02>
<EFBFBD> 
<EFBFBD>
<EFBFBD><02>
<EFBFBD> 
<EFBFBD>
<EFBFBD><02>
<EFBFBD> 
<EFBFBD>
<EFBFBD><02>
<EFBFBD> 
<EFBFBD>
<EFBFBD><02>
<EFBFBD> 
<EFBFBD>
<EFBFBD><02>
<EFBFBD> 
<EFBFBD>
<EFBFBD><02>
<EFBFBD> 
<EFBFBD> <0B><02> <0B> 
<EFBFBD> <0B><02> <0B> 
<EFBFBD> <0B><02> <0B> 
<EFBFBD> <0B><02> <0B> 
<EFBFBD> <0B><02> <0B> 
<EFBFBD> <0B><02> <0B> 
<EFBFBD> <0B><02> <0B> 
<EFBFBD> <0B><02> <0B> 
<EFBFBD> <0B><02> <0B> 
<EFBFBD> <0B><02> <0C> 
<EFBFBD> <0C><02> <0C> 
<EFBFBD> <0C><02> <0C> 
<EFBFBD> <0C><02> <0C> 
<EFBFBD> <0C><02> <0C> 
<EFBFBD> <0C><02> <0C> 
<EFBFBD> <0C><02> <0C> 
<EFBFBD> <0C><02> <0C> 
<EFBFBD> <0C><02> <0C> 
<EFBFBD> <0C><02> <0A> 
<EFBFBD> <0A><02> <0A> 
<EFBFBD> <0A><02> <0A> 
<EFBFBD> <0A><02> <0A> 
<EFBFBD> <0A><02> <0A> 
<EFBFBD> <0A><02> <0A> 
<EFBFBD> <0A><02> <0A> 
<EFBFBD> <0A><02> <0A> 
<EFBFBD> <0A><02> <0A> 
<EFBFBD> <0A><02> <0A> 
<EFBFBD><0E><02><0E> 
<EFBFBD><0E><02><0E> 
<EFBFBD><0E><02><0E> 
<EFBFBD><0E><02><0E> 
<EFBFBD><0E><02><0E> 
<EFBFBD><0E><02><0E> 
<EFBFBD><0E><02><0E> 
<EFBFBD><0E><02><0E> 
<EFBFBD><0E><02><0E> 
<EFBFBD><0F><02><0F> 
<EFBFBD><0F><02><0F> 
<EFBFBD><0F><02><0F> 
<EFBFBD><0F><02><0F> 
<EFBFBD><0F><02><0F> 
<EFBFBD><0F><02><0F> 
<EFBFBD><0F><02><0F> 
<EFBFBD><0F><02><0F> 
i0 a[0]
i1 a[1]
i2 a[2]
i3 a[3]
i4 a[4]
i5 a[5]
i6 a[6]
i7 a[7]
i8 a[8]
i9 a[9]
i10 a[10]
i11 a[11]
i12 a[12]
i13 a[13]
i14 a[14]
i15 a[15]
i16 a[16]
i17 a[17]
i18 a[18]
i19 a[19]
i20 a[20]
i21 a[21]
i22 a[22]
i23 a[23]
i24 a[24]
i25 a[25]
i26 a[26]
i27 a[27]
i28 a[28]
i29 a[29]
i30 a[30]
i31 a[31]
i32 a[32]
i33 a[33]
i34 a[34]
i35 a[35]
i36 a[36]
i37 a[37]
i38 a[38]
i39 a[39]
i40 a[40]
i41 a[41]
i42 a[42]
i43 a[43]
i44 a[44]
i45 a[45]
i46 a[46]
i47 a[47]
i48 a[48]
i49 a[49]
i50 a[50]
i51 a[51]
i52 a[52]
i53 a[53]
i54 a[54]
i55 a[55]
i56 a[56]
i57 a[57]
i58 a[58]
i59 a[59]
i60 a[60]
i61 a[61]
i62 a[62]
i63 a[63]
i64 a[64]
i65 a[65]
i66 a[66]
i67 a[67]
i68 a[68]
i69 a[69]
i70 a[70]
i71 a[71]
i72 a[72]
i73 a[73]
i74 a[74]
i75 a[75]
i76 a[76]
i77 a[77]
i78 a[78]
i79 a[79]
i80 a[80]
i81 a[81]
i82 a[82]
i83 a[83]
i84 a[84]
i85 a[85]
i86 a[86]
i87 a[87]
i88 a[88]
i89 a[89]
i90 a[90]
i91 a[91]
i92 a[92]
i93 a[93]
i94 a[94]
i95 a[95]
i96 a[96]
i97 a[97]
i98 a[98]
i99 a[99]
i100 a[100]
i101 a[101]
i102 a[102]
i103 a[103]
i104 a[104]
i105 a[105]
i106 a[106]
i107 a[107]
i108 a[108]
i109 a[109]
i110 a[110]
i111 a[111]
i112 a[112]
i113 a[113]
i114 a[114]
i115 a[115]
i116 a[116]
i117 a[117]
i118 a[118]
i119 a[119]
i120 a[120]
i121 a[121]
i122 a[122]
i123 a[123]
i124 a[124]
i125 a[125]
i126 a[126]
i127 a[127]
i128 b[0]
i129 b[1]
i130 b[2]
i131 b[3]
i132 b[4]
i133 b[5]
i134 b[6]
i135 b[7]
i136 b[8]
i137 b[9]
i138 b[10]
i139 b[11]
i140 b[12]
i141 b[13]
i142 b[14]
i143 b[15]
i144 b[16]
i145 b[17]
i146 b[18]
i147 b[19]
i148 b[20]
i149 b[21]
i150 b[22]
i151 b[23]
i152 b[24]
i153 b[25]
i154 b[26]
i155 b[27]
i156 b[28]
i157 b[29]
i158 b[30]
i159 b[31]
i160 b[32]
i161 b[33]
i162 b[34]
i163 b[35]
i164 b[36]
i165 b[37]
i166 b[38]
i167 b[39]
i168 b[40]
i169 b[41]
i170 b[42]
i171 b[43]
i172 b[44]
i173 b[45]
i174 b[46]
i175 b[47]
i176 b[48]
i177 b[49]
i178 b[50]
i179 b[51]
i180 b[52]
i181 b[53]
i182 b[54]
i183 b[55]
i184 b[56]
i185 b[57]
i186 b[58]
i187 b[59]
i188 b[60]
i189 b[61]
i190 b[62]
i191 b[63]
i192 b[64]
i193 b[65]
i194 b[66]
i195 b[67]
i196 b[68]
i197 b[69]
i198 b[70]
i199 b[71]
i200 b[72]
i201 b[73]
i202 b[74]
i203 b[75]
i204 b[76]
i205 b[77]
i206 b[78]
i207 b[79]
i208 b[80]
i209 b[81]
i210 b[82]
i211 b[83]
i212 b[84]
i213 b[85]
i214 b[86]
i215 b[87]
i216 b[88]
i217 b[89]
i218 b[90]
i219 b[91]
i220 b[92]
i221 b[93]
i222 b[94]
i223 b[95]
i224 b[96]
i225 b[97]
i226 b[98]
i227 b[99]
i228 b[100]
i229 b[101]
i230 b[102]
i231 b[103]
i232 b[104]
i233 b[105]
i234 b[106]
i235 b[107]
i236 b[108]
i237 b[109]
i238 b[110]
i239 b[111]
i240 b[112]
i241 b[113]
i242 b[114]
i243 b[115]
i244 b[116]
i245 b[117]
i246 b[118]
i247 b[119]
i248 b[120]
i249 b[121]
i250 b[122]
i251 b[123]
i252 b[124]
i253 b[125]
i254 b[126]
i255 b[127]
o0 f[0]
o1 f[1]
o2 f[2]
o3 f[3]
o4 f[4]
o5 f[5]
o6 f[6]
o7 f[7]
o8 f[8]
o9 f[9]
o10 f[10]
o11 f[11]
o12 f[12]
o13 f[13]
o14 f[14]
o15 f[15]
o16 f[16]
o17 f[17]
o18 f[18]
o19 f[19]
o20 f[20]
o21 f[21]
o22 f[22]
o23 f[23]
o24 f[24]
o25 f[25]
o26 f[26]
o27 f[27]
o28 f[28]
o29 f[29]
o30 f[30]
o31 f[31]
o32 f[32]
o33 f[33]
o34 f[34]
o35 f[35]
o36 f[36]
o37 f[37]
o38 f[38]
o39 f[39]
o40 f[40]
o41 f[41]
o42 f[42]
o43 f[43]
o44 f[44]
o45 f[45]
o46 f[46]
o47 f[47]
o48 f[48]
o49 f[49]
o50 f[50]
o51 f[51]
o52 f[52]
o53 f[53]
o54 f[54]
o55 f[55]
o56 f[56]
o57 f[57]
o58 f[58]
o59 f[59]
o60 f[60]
o61 f[61]
o62 f[62]
o63 f[63]
o64 f[64]
o65 f[65]
o66 f[66]
o67 f[67]
o68 f[68]
o69 f[69]
o70 f[70]
o71 f[71]
o72 f[72]
o73 f[73]
o74 f[74]
o75 f[75]
o76 f[76]
o77 f[77]
o78 f[78]
o79 f[79]
o80 f[80]
o81 f[81]
o82 f[82]
o83 f[83]
o84 f[84]
o85 f[85]
o86 f[86]
o87 f[87]
o88 f[88]
o89 f[89]
o90 f[90]
o91 f[91]
o92 f[92]
o93 f[93]
o94 f[94]
o95 f[95]
o96 f[96]
o97 f[97]
o98 f[98]
o99 f[99]
o100 f[100]
o101 f[101]
o102 f[102]
o103 f[103]
o104 f[104]
o105 f[105]
o106 f[106]
o107 f[107]
o108 f[108]
o109 f[109]
o110 f[110]
o111 f[111]
o112 f[112]
o113 f[113]
o114 f[114]
o115 f[115]
o116 f[116]
o117 f[117]
o118 f[118]
o119 f[119]
o120 f[120]
o121 f[121]
o122 f[122]
o123 f[123]
o124 f[124]
o125 f[125]
o126 f[126]
o127 f[127]
o128 cOut
c
top
This file was written by ABC on Thu Mar 5 00:06:49 2015
For information about AIGER format, refer to http://fmv.jku.at/aiger