s9234.bench.txt

好不容易才从国外网站上下下来的哦

# 19 inputs
# 22 outputs
# 228 D-type flipflops
# 3570 inverters
# 2027 gates (955 ANDs + 528 NANDs + 431 ORs + 113 NORs)

INPUT(g89)
INPUT(g94)
INPUT(g98)
INPUT(g102)
INPUT(g107)
INPUT(g301)
INPUT(g306)
INPUT(g310)
INPUT(g314)
INPUT(g319)
INPUT(g557)
INPUT(g558)
INPUT(g559)
INPUT(g560)
INPUT(g561)
INPUT(g562)
INPUT(g563)
INPUT(g564)
INPUT(g705)

OUTPUT(g2584)
OUTPUT(g3222)
OUTPUT(g3600)
OUTPUT(g4307)
OUTPUT(g4321)
OUTPUT(g4422)
OUTPUT(g4809)
OUTPUT(g5137)
OUTPUT(g5468)
OUTPUT(g5469)
OUTPUT(g5692)
OUTPUT(g6282)
OUTPUT(g6284)
OUTPUT(g6360)
OUTPUT(g6362)
OUTPUT(g6364)
OUTPUT(g6366)
OUTPUT(g6368)
OUTPUT(g6370)
OUTPUT(g6372)
OUTPUT(g6374)
OUTPUT(g6728)

g46 = DFF(g4109)
g45 = DFF(g4108)
g44 = DFF(g4107)
g42 = DFF(g4106)
g40 = DFF(g4105)
g39 = DFF(g4103)
g38 = DFF(g4102)
g37 = DFF(g4101)
g36 = DFF(g4100)
g32 = DFF(g4099)
g28 = DFF(g6727)
g24 = DFF(g6726)
g18 = DFF(g6725)
g14 = DFF(g6724)
g10 = DFF(g6723)
g6 = DFF(g6722)
g2 = DFF(g6721)
g1 = DFF(g6720)
g48 = DFF(g6729)
g47 = DFF(g4112)
g41 = DFF(g4110)
g22 = DFF(g4104)
g23 = DFF(g4098)
g284 = DFF(g3224)
g285 = DFF(g3225)
g286 = DFF(g3226)
g287 = DFF(g3227)
g288 = DFF(g3228)
g289 = DFF(g3229)
g290 = DFF(g3230)
g291 = DFF(g3231)
g292 = DFF(g3232)
g338 = DFF(g5475)
g341 = DFF(g5476)
g345 = DFF(g5477)
g349 = DFF(g5478)
g353 = DFF(g5479)
g357 = DFF(g5480)
g361 = DFF(g6582)
g49 = DFF(g6583)
g54 = DFF(g6584)
g59 = DFF(g6585)
g64 = DFF(g6586)
g69 = DFF(g6587)
g74 = DFF(g6588)
g79 = DFF(g6589)
g84 = DFF(g6590)
g366 = DFF(g6278)
g370 = DFF(g5693)
g374 = DFF(g5694)
g378 = DFF(g5695)
g382 = DFF(g5696)
g386 = DFF(g5697)
g390 = DFF(g5698)
g394 = DFF(g5699)
g398 = DFF(g5700)
g326 = DFF(g4840)
g327 = DFF(g4117)
g328 = DFF(g4118)
g331 = DFF(g4119)
g323 = DFF(g4120)
g332 = DFF(g6823)
g336 = DFF(g6925)
g337 = DFF(g2585)
g128 = DFF(g5138)
g131 = DFF(g5139)
g135 = DFF(g5140)
g139 = DFF(g5141)
g143 = DFF(g6401)
g152 = DFF(g6402)
g161 = DFF(g6403)
g170 = DFF(g6404)
g179 = DFF(g6405)
g188 = DFF(g6406)
g148 = DFF(g5874)
g157 = DFF(g5470)
g166 = DFF(g5471)
g175 = DFF(g5472)
g184 = DFF(g5473)
g193 = DFF(g5474)
g117 = DFF(g4839)
g118 = DFF(g4113)
g119 = DFF(g4114)
g122 = DFF(g4115)
g114 = DFF(g4116)
g123 = DFF(g6940)
g111 = DFF(g6277)
g127 = DFF(g6941)
g276 = DFF(g5877)
g277 = DFF(g6104)
g278 = DFF(g6105)
g279 = DFF(g6106)
g280 = DFF(g5878)
g281 = DFF(g6107)
g282 = DFF(g6841)
g283 = DFF(g6842)
g204 = DFF(g5875)
g205 = DFF(g6100)
g206 = DFF(g6101)
g207 = DFF(g6102)
g208 = DFF(g5876)
g209 = DFF(g6103)
g210 = DFF(g6839)
g211 = DFF(g6840)
g212 = DFF(g3233)
g218 = DFF(g3234)
g224 = DFF(g3235)
g230 = DFF(g3236)
g236 = DFF(g3237)
g242 = DFF(g3238)
g248 = DFF(g3239)
g254 = DFF(g3240)
g260 = DFF(g3241)
g567 = DFF(g4121)
g598 = DFF(g4122)
g634 = DFF(g4424)
g642 = DFF(g4658)
g606 = DFF(g4857)
g646 = DFF(g5148)
g650 = DFF(g5329)
g654 = DFF(g5490)
g571 = DFF(g5580)
g578 = DFF(g6592)
g582 = DFF(g6593)
g586 = DFF(g6594)
g574 = DFF(g6591)
g590 = DFF(g6595)
g594 = DFF(g6596)
g602 = DFF(g4123)
g610 = DFF(g4124)
g613 = DFF(g4423)
g616 = DFF(g4657)
g619 = DFF(g4858)
g622 = DFF(g5147)
g625 = DFF(g5328)
g628 = DFF(g5489)
g631 = DFF(g5581)
g43 = DFF(g6407)
g266 = DFF(g4659)
g658 = DFF(g4425)
g667 = DFF(g4127)
g666 = DFF(g4128)
g662 = DFF(g1831)
g663 = DFF(g4125)
g664 = DFF(g1288)
g471 = DFF(g1291)
g665 = DFF(g4126)
g478 = DFF(g1292)
g638 = DFF(g1289)
g639 = DFF(g1290)
g699 = DFF(g4426)
g702 = DFF(g1293)
g675 = DFF(g1294)
g669 = DFF(g5582)
g676 = DFF(g5330)
g672 = DFF(g5491)
g3 = DFF(g6597)
g7 = DFF(g6598)
g11 = DFF(g6599)
g15 = DFF(g6602)
g19 = DFF(g6600)
g25 = DFF(g6601)
g29 = DFF(g6853)
g33 = DFF(g6854)
g690 = DFF(g4142)
g691 = DFF(g4143)
g692 = DFF(g4144)
g693 = DFF(g4145)
g694 = DFF(g4146)
g695 = DFF(g4147)
g696 = DFF(g4148)
g697 = DFF(g4149)
g677 = DFF(g4129)
g678 = DFF(g4130)
g679 = DFF(g4131)
g680 = DFF(g4132)
g681 = DFF(g4133)
g682 = DFF(g4134)
g683 = DFF(g4135)
g684 = DFF(g4136)
g685 = DFF(g4137)
g686 = DFF(g4138)
g687 = DFF(g4139)
g688 = DFF(g4140)
g689 = DFF(g4141)
g698 = DFF(g4150)
g668 = DFF(g6800)
g485 = DFF(g6801)
g402 = DFF(g4849)
g406 = DFF(g4850)
g410 = DFF(g4851)
g414 = DFF(g4852)
g418 = DFF(g4853)
g422 = DFF(g4854)
g426 = DFF(g4855)
g430 = DFF(g4856)
g461 = DFF(g4841)
g457 = DFF(g4842)
g453 = DFF(g4843)
g449 = DFF(g4844)
g445 = DFF(g4845)
g441 = DFF(g4846)
g437 = DFF(g4847)
g434 = DFF(g4848)
g545 = DFF(g6824)
g548 = DFF(g6825)
g551 = DFF(g6826)
g554 = DFF(g6827)
g197 = DFF(g6509)
g269 = DFF(g6510)
g293 = DFF(g6511)
g297 = DFF(g6512)
g500 = DFF(g6497)
g504 = DFF(g6498)
g508 = DFF(g6499)
g512 = DFF(g6500)
g516 = DFF(g6501)
g520 = DFF(g6502)
g524 = DFF(g6503)
g528 = DFF(g6504)
g532 = DFF(g6508)
g465 = DFF(g6507)
g536 = DFF(g6506)
g541 = DFF(g6505)
g486 = DFF(g2586)
g489 = DFF(g2587)
g496 = DFF(g6745)
g492 = DFF(g6744)

I1825 = NOT(g361)
g706 = NOT(I1825)
g709 = NOT(g114)
g710 = NOT(g128)
g714 = NOT(g131)
g715 = NOT(g135)
I1832 = NOT(g143)
g716 = NOT(I1832)
I1835 = NOT(g205)
g719 = NOT(I1835)
I1838 = NOT(g206)
g729 = NOT(I1838)
I1841 = NOT(g207)
g736 = NOT(I1841)
I1844 = NOT(g208)
g743 = NOT(I1844)
I1847 = NOT(g209)
g749 = NOT(I1847)
I1850 = NOT(g210)
g754 = NOT(I1850)
I1853 = NOT(g211)
g760 = NOT(I1853)
I1856 = NOT(g204)
g766 = NOT(I1856)
I1859 = NOT(g277)
g774 = NOT(I1859)
I1862 = NOT(g278)
g784 = NOT(I1862)
I1865 = NOT(g279)
g791 = NOT(I1865)
I1868 = NOT(g280)
g798 = NOT(I1868)
I1871 = NOT(g281)
g804 = NOT(I1871)
I1874 = NOT(g282)
g809 = NOT(I1874)
I1877 = NOT(g283)
g815 = NOT(I1877)
I1880 = NOT(g276)
g821 = NOT(I1880)
g829 = NOT(g323)
g830 = NOT(g338)
g834 = NOT(g341)
g835 = NOT(g345)
g836 = NOT(g349)
g837 = NOT(g353)
g838 = NOT(g564)
g839 = NOT(g567)
g842 = NOT(g571)
g843 = NOT(g574)
g844 = NOT(g578)
g845 = NOT(g582)
g846 = NOT(g586)
g847 = NOT(g590)
g848 = NOT(g594)
g849 = NOT(g598)
g850 = NOT(g602)
g851 = NOT(g606)
g852 = NOT(g634)
g853 = NOT(g642)
g854 = NOT(g646)
g855 = NOT(g650)
g856 = NOT(g654)
g857 = NOT(g170)
g858 = NOT(g301)
g861 = NOT(g179)
g862 = NOT(g319)
g865 = NOT(g188)
g866 = NOT(g314)
g872 = NOT(g143)
g873 = NOT(g306)
g878 = NOT(g639)
g889 = NOT(g310)
g893 = NOT(g23)
I1917 = NOT(g48)
g894 = NOT(I1917)
g895 = NOT(g139)
g896 = NOT(g22)
g897 = NOT(g41)
g898 = NOT(g47)
I1924 = NOT(g663)
g899 = NOT(I1924)
I1927 = NOT(g665)
g900 = NOT(I1927)
I1932 = NOT(g667)
g908 = NOT(I1932)
I1935 = NOT(g666)
g909 = NOT(I1935)
I1938 = NOT(g332)
g910 = NOT(I1938)
g913 = NOT(g658)
I1942 = NOT(g664)
g917 = NOT(I1942)
g921 = NOT(g111)
I1947 = NOT(g699)
g922 = NOT(I1947)
g923 = NOT(g332)
I1958 = NOT(g702)
g927 = NOT(I1958)
g929 = NOT(g49)
g931 = NOT(g54)
g932 = NOT(g337)
g938 = NOT(g59)
g940 = NOT(g64)
g942 = NOT(g69)
g943 = NOT(g496)
g945 = NOT(g536)
g946 = NOT(g361)
g947 = NOT(g74)
g949 = NOT(g79)
g951 = NOT(g84)
I2029 = NOT(g677)
g952 = NOT(I2029)
g964 = NOT(g357)
I2033 = NOT(g678)
g965 = NOT(I2033)
g971 = NOT(g658)
I2037 = NOT(g679)
g980 = NOT(I2037)
g985 = NOT(g638)
I2041 = NOT(g680)
g996 = NOT(I2041)
I2044 = NOT(g681)
g1001 = NOT(I2044)
I2047 = NOT(g682)
g1006 = NOT(I2047)
I2050 = NOT(g683)
g1011 = NOT(I2050)
I2053 = NOT(g684)
g1017 = NOT(I2053)
I2057 = NOT(g685)
g1030 = NOT(I2057)
I2067 = NOT(g686)
g1037 = NOT(I2067)
g1038 = NOT(g127)
g1039 = NOT(g662)
g1043 = NOT(g486)
g1045 = NOT(g699)
g1046 = NOT(g489)
g1048 = NOT(g492)
g1049 = NOT(g266)
g1052 = NOT(g668)
g1053 = NOT(g197)
g1054 = NOT(g485)
g1055 = NOT(g269)
g1056 = NOT(g89)
g1059 = NOT(g702)
g1060 = NOT(g107)
g1063 = NOT(g675)
g1064 = NOT(g102)
g1070 = NOT(g94)
I2115 = NOT(g687)
g1076 = NOT(I2115)
g1084 = NOT(g98)
I2119 = NOT(g688)
g1088 = NOT(I2119)
I2122 = NOT(g689)
g1094 = NOT(I2122)
I2125 = NOT(g698)
g1101 = NOT(I2125)
I2128 = NOT(g18)
g1106 = NOT(I2128)
I2131 = NOT(g24)
g1107 = NOT(I2131)
I2134 = NOT(g705)
g1108 = NOT(I2134)
I2137 = NOT(g1)
g1109 = NOT(I2137)
I2140 = NOT(g28)
g1110 = NOT(I2140)
I2143 = NOT(g2)
g1111 = NOT(I2143)
g1112 = NOT(g336)
I2147 = NOT(g6)
g1113 = NOT(I2147)
I2150 = NOT(g10)
g1114 = NOT(I2150)
g1115 = NOT(g40)
I2154 = NOT(g14)
g1116 = NOT(I2154)
g1117 = NOT(g32)
g1118 = NOT(g36)
I2159 = NOT(g465)
g1119 = NOT(I2159)
I2162 = NOT(g197)
g1122 = NOT(I2162)
I2165 = NOT(g690)
g1123 = NOT(I2165)
I2169 = NOT(g269)
g1142 = NOT(I2169)
I2172 = NOT(g691)
g1143 = NOT(I2172)
I2175 = NOT(g25)
g1156 = NOT(I2175)
I2179 = NOT(g293)
g1160 = NOT(I2179)
I2182 = NOT(g692)
g1161 = NOT(I2182)
I2185 = NOT(g29)
g1173 = NOT(I2185)
g1174 = NOT(g37)
g1175 = NOT(g42)
I2190 = NOT(g297)
g1176 = NOT(I2190)
I2193 = NOT(g693)
g1177 = NOT(I2193)
I2196 = NOT(g3)
g1189 = NOT(I2196)
I2199 = NOT(g33)
g1190 = NOT(I2199)
g1191 = NOT(g38)
g1192 = NOT(g44)
I2204 = NOT(g694)
g1193 = NOT(I2204)
I2207 = NOT(g7)
g1203 = NOT(I2207)
g1204 = NOT(g39)
g1205 = NOT(g45)
I2212 = NOT(g123)
g1206 = NOT(I2212)
I2215 = NOT(g695)
g1209 = NOT(I2215)
I2218 = NOT(g11)
g1219 = NOT(I2218)
I2221 = NOT(g43)
g1220 = NOT(I2221)
g1221 = NOT(g46)
I2225 = NOT(g696)
g1222 = NOT(I2225)
I2228 = NOT(g15)
g1232 = NOT(I2228)
I2231 = NOT(g465)
g1233 = NOT(I2231)
I2234 = NOT(g697)
g1236 = NOT(I2234)
I2237 = NOT(g465)
g1246 = NOT(I2237)
I2240 = NOT(g19)
g1249 = NOT(I2240)
g1250 = NOT(g123)
g1254 = NOT(g152)
g1255 = NOT(g161)
g1256 = NOT(g838)
g1257 = NOT(g845)
g1263 = NOT(g846)
g1267 = NOT(g843)
g1270 = NOT(g844)
g1273 = NOT(g839)
g1274 = NOT(g856)
g1275 = NOT(g842)
g1276 = NOT(g847)
g1279 = NOT(g848)
g1282 = NOT(g849)
g1283 = NOT(g853)
g1284 = NOT(g851)
g1285 = NOT(g852)
g1286 = NOT(g854)
g1287 = NOT(g855)
I2269 = NOT(g899)
g1288 = NOT(I2269)
I2272 = NOT(g908)
g1289 = NOT(I2272)
I2275 = NOT(g909)
g1290 = NOT(I2275)
I2278 = NOT(g917)
g1291 = NOT(I2278)
I2281 = NOT(g900)
g1292 = NOT(I2281)
I2284 = NOT(g922)
g1293 = NOT(I2284)
I2287 = NOT(g927)
g1294 = NOT(I2287)
I2290 = NOT(g971)
g1295 = NOT(I2290)
I2293 = NOT(g971)
g1305 = NOT(I2293)
I2296 = NOT(g893)
g1315 = NOT(I2296)
I2306 = NOT(g896)
g1317 = NOT(I2306)
I2309 = NOT(g1236)
g1318 = NOT(I2309)
I2312 = NOT(g897)
g1319 = NOT(I2312)
I2315 = NOT(g1222)
g1320 = NOT(I2315)
I2318 = NOT(g1236)
g1321 = NOT(I2318)
I2321 = NOT(g898)
g1322 = NOT(I2321)
I2324 = NOT(g1209)
g1323 = NOT(I2324)
I2327 = NOT(g1222)
g1324 = NOT(I2327)
I2330 = NOT(g1122)
g1325 = NOT(I2330)
g1326 = NOT(g894)
I2334 = NOT(g1193)
g1327 = NOT(I2334)
I2337 = NOT(g1209)
g1328 = NOT(I2337)
I2340 = NOT(g1142)
g1329 = NOT(I2340)
I2343 = NOT(g1177)
g1330 = NOT(I2343)
I2346 = NOT(g1193)
g1331 = NOT(I2346)
I2349 = NOT(g1160)
g1332 = NOT(I2349)
I2352 = NOT(g1161)
g1333 = NOT(I2352)
I2355 = NOT(g1177)
g1334 = NOT(I2355)
I2358 = NOT(g1176)
g1335 = NOT(I2358)
I2361 = NOT(g1075)
g1336 = NOT(I2361)
I2364 = NOT(g1143)
g1337 = NOT(I2364)
I2367 = NOT(g1161)
g1338 = NOT(I2367)
I2370 = NOT(g1123)
g1339 = NOT(I2370)
I2373 = NOT(g1143)
g1340 = NOT(I2373)
I2376 = NOT(g729)
g1341 = NOT(I2376)
I2379 = NOT(g1123)
g1344 = NOT(I2379)
I2382 = NOT(g719)
g1345 = NOT(I2382)
I2385 = NOT(g784)
g1348 = NOT(I2385)
I2388 = NOT(g878)
g1351 = NOT(I2388)
I2391 = NOT(g774)
g1352 = NOT(I2391)
I2394 = NOT(g719)
g1355 = NOT(I2394)
g1358 = NOT(g1119)
I2399 = NOT(g729)
g1363 = NOT(I2399)
I2402 = NOT(g774)
g1366 = NOT(I2402)
I2405 = NOT(g1112)
g1369 = NOT(I2405)
I2408 = NOT(g719)
g1372 = NOT(I2408)
I2411 = NOT(g736)
g1375 = NOT(I2411)
I2414 = NOT(g784)
g1378 = NOT(I2414)
I2417 = NOT(g774)
g1381 = NOT(I2417)
I2420 = NOT(g791)
g1384 = NOT(I2420)
I2424 = NOT(g719)
g1391 = NOT(I2424)
g1394 = NOT(g1206)
I2428 = NOT(g774)
g1395 = NOT(I2428)
g1410 = NOT(g1233)
g1415 = NOT(g1246)
I2442 = NOT(g872)
g1423 = NOT(I2442)
I2445 = NOT(g971)
g1426 = NOT(I2445)
I2449 = NOT(g971)
g1439 = NOT(I2449)
I2453 = NOT(g952)
g1450 = NOT(I2453)
I2457 = NOT(g1253)
g1460 = NOT(I2457)
I2460 = NOT(g952)
g1461 = NOT(I2460)
I2464 = NOT(g850)
g1471 = NOT(I2464)
g1472 = NOT(g952)
g1477 = NOT(g952)
g1480 = NOT(g985)
I2473 = NOT(g971)
g1484 = NOT(I2473)
I2476 = NOT(g971)
g1491 = NOT(I2476)
I2479 = NOT(g1049)
g1498 = NOT(I2479)
g1502 = NOT(g709)
g1503 = NOT(g878)
I2485 = NOT(g766)
g1504 = NOT(I2485)
g1513 = NOT(g878)
I2491 = NOT(g821)
g1519 = NOT(I2491)
g1528 = NOT(g878)
g1529 = NOT(g1076)
g1533 = NOT(g878)
g1535 = NOT(g1088)
g1539 = NOT(g878)
g1541 = NOT(g1094)
g1542 = NOT(g878)
g1543 = NOT(g1006)
g1546 = NOT(g1101)
g1549 = NOT(g878)
g1550 = NOT(g996)
g1551 = NOT(g1011)
g1552 = NOT(g1030)
I2521 = NOT(g1063)
g1555 = NOT(I2521)
g1556 = NOT(g878)
g1557 = NOT(g1017)
g1559 = NOT(g965)
g1563 = NOT(g1006)
g1564 = NOT(g1030)
I2537 = NOT(g971)
g1567 = NOT(I2537)
g1577 = NOT(g1001)
I2552 = NOT(g971)
g1578 = NOT(I2552)
g1581 = NOT(g910)
g1583 = NOT(g1001)
g1584 = NOT(g743)
g1586 = NOT(g1052)
g1587 = NOT(g1123)