vtr_flow/benchmarks/blif/3/duke2.blif

.model top
.inputs i_20_ i_9_ i_10_ i_7_ i_8_ i_5_ i_6_ i_14_ i_3_ i_13_ i_4_ i_12_ i_1_ \
i_11_ i_2_ i_18_ i_17_ i_0_ i_21_ i_16_ i_15_ i_19_
.outputs o_1_ o_19_ o_2_ o_0_ o_25_ o_12_ o_26_ o_11_ o_27_ o_14_ o_28_ o_13_ \
o_21_ o_16_ o_22_ o_15_ o_23_ o_18_ o_24_ o_17_ o_20_ o_10_ o_9_ o_7_ o_8_ \
o_5_ o_6_ o_3_ o_4_
.names [834] [835] [838] o_1_
1-- 1
-1- 1
--1 1
.names i_15_ [29] [49] o_19_
011 1
.names [889] [890] [891] o_2_
1-- 1
-1- 1
--1 1
.names [903] [904] o_0_
1- 1
-1 1
.names o_23_ [71] o_25_
1- 1
-1 1
.names [77] [921] [922] o_12_
1-- 1
-1- 1
--1 1
.names i_20_ i_14_ i_21_ o_26_
01- 1
0-1 1
.names i_1_ n_n134 [877] o_11_
111 1
.names [59] [920] [926] o_27_
1-- 1
-1- 1
--1 1
.names [60] [933] [937] o_14_
1-- 1
-1- 1
--1 1
.names [62] [962] [966] o_28_
1-- 1
-1- 1
--1 1
.names [52] [967] [968] o_13_
1-- 1
-1- 1
--1 1
.names [145] [146] [972] o_21_
1-- 1
-1- 1
--1 1
.names [996] [997] [998] o_16_
1-- 1
-1- 1
--1 1
.names [30] [1000] [1002] o_22_
--1 1
11- 1
.names i_15_ [49] [899] o_15_
011 1
.names n_n140 n_n139 n_n134 o_23_
110 1
.names [62] n_n324 [1005] o_18_
1-- 1
-1- 1
--1 1
.names n_n307 n_n309 [1008] o_24_
1-- 1
-1- 1
--1 1
.names [59] [73] [920] o_17_
1-- 1
-1- 1
--1 1
.names [1011] [1012] [1016] o_20_
1-- 1
-1- 1
--1 1
.names o_13_ [1020] o_10_
1- 1
-1 1
.names [1034] [1035] [1036] o_9_
1-- 1
-1- 1
--1 1
.names [46] [68] [1039] o_7_
1-- 1
-1- 1
--1 1
.names i_20_ i_14_ o_8_
01 1
.names [62] n_n324 [1040] o_5_
1-- 1
-1- 1
--1 1
.names [78] [1043] [1044] o_6_
1-- 1
-1- 1
--1 1
.names o_13_ [68] [1046] o_3_
1-- 1
-1- 1
--1 1
.names i_20_ i_14_ o_4_
00 1
.names [65] [66] [814] n_n319
111 1
.names i_9_ [33] [48] n_n304
111 1
.names [35] [65] [66] n_n315
111 1
.names n_n140 [35] [818] n_n301
111 1
.names [90] [222] [821] [59]
-1- 1
1-1 1
.names n_n333 n_n311 [220] [77]
1-- 1
-1- 1
--1 1
.names i_18_ i_17_ [87]
00 1
.names i_15_ n_n128 [89]
11 1
.names n_n137 [840] [841] n_n273
111 1
.names i_11_ [33] [821] n_n307
011 1
.names i_18_ i_17_ n_n101
10 1
.names i_1_ n_n134 [844] n_n294
111 1
.names i_7_ [38] n_n134 n_n268
110 1
.names i_7_ i_5_ [29]
00 1
.names i_5_ i_15_ n_n101 [30]
011 1
101 1
.names n_n255 n_n257 [46]
1- 1
-1 1
.names n_n265 [209] [61]
1- 1
-1 1
.names [83] [854] [856] [68]
11- 1
1-1 1
.names i_19_ [91] n_n137 [71]
111 1
011 1
.names i_7_ n_n134 [83]
01 1
.names i_12_ n_n139 [31] [85]
011 1
.names i_9_ i_21_ [93]
01 1
.names [29] [49] [893] n_n283
111 1
.names i_15_ n_n128 [41] n_n276
111 1
.names n_n134 [894] [898] n_n309
111 1
.names i_9_ i_18_ i_17_ [49]
001 1
.names n_n140 [905] [908] n_n310
111 1
.names [48] n_n303 [818] [60]
-1- 1
1-1 1
.names [54] n_n320 [915] [72]
-1- 1
1-1 1
.names i_1_ n_n134 [53]
0- 1
-0 1
.names i_7_ n_n134 [854] n_n277
011 1
.names i_9_ n_n140 n_n139 [92]
111 1
.names [29] [49] [916] n_n271
111 1
.names i_9_ i_7_ i_5_ n_n128
010 1
.names i_7_ i_8_ i_5_ n_n140
010 1
.names i_8_ i_5_ n_n139 [38]
111 1
.names i_4_ i_12_ [40]
10 1
.names i_7_ n_n139 [31] [86]
011 1
.names i_8_ i_5_ [33] [94]
101 1
.names [44] n_n137 [846] n_n255
111 1
.names i_11_ i_2_ [35]
10 1
.names i_6_ i_16_ [67] [62]
111 1
001 1
.names n_n315 n_n316 [74]
1- 1
-1 1
.names n_n271 n_n128 [917] [52]
1-- 1
-11 1
.names i_18_ i_17_ i_15_ n_n139
100 1
.names i_9_ i_7_ i_8_ n_n58
000 1
.names i_18_ i_17_ i_15_ [33]
101 1
.names i_5_ i_6_ n_n58 [54]
001 1
.names n_n137 [850] [851] n_n265
011 1
.names [32] [43] [911] n_n320
111 1
.names i_9_ i_17_ i_15_ n_n134
000 1
.names n_n324 [975] n_n325
01 1
.names i_14_ n_n139 [32]
01 1
.names i_14_ [37] [42]
01 1
.names i_8_ i_5_ [44]
10 1
.names i_9_ i_21_ [45]
00 1
.names i_2_ n_n140 [47]
11 1
.names i_11_ i_2_ n_n140 [48]
101 1
.names n_n137 [858] n_n278
11 1
.names n_n319 n_n318 [73]
1- 1
-1 1
.names [62] n_n324 [78]
1- 1
-1 1
.names i_7_ i_5_ [57] [91]
001 1
.names [40] [86] [45] n_n303
111 1
.names [54] [66] [1003] n_n318
111 1
.names [48] [50] [827] n_n333
111 1
.names [40] [54] [66] n_n316
111 1
.names n_n134 [31] [848] n_n257
111 1
.names [50] [829] [974] n_n324
111 1
.names i_7_ n_n134 [856] n_n275
011 1
.names [65] [831] n_n311
11 1
.names [54] [915] n_n312
11 1
.names i_18_ i_21_ n_n60
10 1
.names i_14_ i_13_ n_n139 [50]
011 1
.names i_9_ i_17_ i_15_ n_n137
001 1
.names i_8_ i_18_ [57]
01 1
.names i_5_ i_6_ n_n58 [65]
011 1
.names i_14_ n_n139 n_n60 [66]
010 1
.names i_7_ i_5_ n_n43 [43]
001 1
.names i_17_ i_15_ [39]
00 1
.names i_8_ i_5_ [31]
11 1
.names i_11_ [33] [90]
01 1
.names i_12_ i_18_ i_21_ [37]
110 1
.names i_9_ i_10_ i_8_ n_n43
011 1
.names i_18_ i_17_ [41]
01 1
.names i_12_ i_15_ [34]
1- 1
-1 1
.names [42] [43] [941] [67]
111 1
.names [47] [50] [1022] [70]
111 1
.names [93] n_n139 [31] [75]
111 1
.names i_6_ [30] n_n58 [107]
011 1
.names [29] n_n134 [57] [121]
111 1
.names [42] [48] [977] [130]
111 1
.names [42] [48] [980] [131]
111 1
.names [32] [47] [983] [132]
111 1
.names [44] [985] [986] [133]
111 1
.names i_9_ [85] [134]
11 1
.names n_n139 n_n58 [970] [144]
111 1
.names i_6_ [92] [145]
11 1
.names [33] [54] [146]
11 1
.names [42] [43] [951] [152]
111 1
.names [93] [33] [44] [153]
111 1
.names i_3_ i_19_ [92] [174]
111 1
.names i_19_ n_n255 n_n257 [175]
11- 1
1-1 1
.names n_n128 [917] [180]
11 1
.names [30] [876] [192]
11 1
.names i_16_ o_11_ [193]
11 1
.names [86] [860] [205]
11 1
.names i_11_ [33] [862] [207]
011 1
.names i_2_ [33] [44] [209]
011 1
.names i_15_ n_n128 [833] [213]
111 1
.names [48] [50] [829] [220]
111 1
.names [65] [824] [222]
11 1
.names i_2_ i_11_ [814]
10 1
.names [33] i_9_ [816]
11 1
.names i_9_ i_21_ [33] [818]
001 1
.names i_4_ i_7_ [819]
00 1
.names [45] [31] [819] [821]
111 1
.names i_2_ i_11_ [822]
10 1
.names n_n60 [39] [822] [824]
111 1
.names [40] n_n60 n_n43 [827]
111 1
.names i_9_ i_21_ n_n43 [829]
000 1
.names [35] n_n60 [39] [831]
111 1
.names i_11_ i_2_ [87] [833]
111 1
.names [48] [213] [816] [834]
-1- 1
1-1 1
.names n_n319 [48] [818] [835]
1-- 1
-11 1
.names n_n315 n_n307 [222] [836]
1-- 1
-1- 1
--1 1
.names [77] [836] [838]
1- 1
-1 1
.names i_18_ i_7_ [840]
10 1
.names i_8_ i_5_ i_21_ [841]
111 1
.names i_8_ i_18_ i_17_ [843]
10- 1
1-1 1
.names [843] n_n128 [844]
11 1
.names n_n134 i_7_ [845]
01 1
.names i_18_ i_7_ [846]
11 1
.names i_18_ i_7_ [848]
11 1
.names i_18_ i_17_ i_15_ [850]
101 1
.names i_7_ i_8_ i_5_ [851]
110 1
.names i_5_ i_19_ [57] [854]
111 1
.names i_5_ i_19_ [57] [856]
101 1
.names i_19_ [29] [57] [857]
011 1
.names i_19_ [29] [57] [858]
111 1
.names i_9_ i_4_ i_12_ [860]
101 1
.names i_2_ n_n140 n_n60 [861]
111 1
.names i_9_ i_2_ n_n140 [862]
111 1
.names [37] i_4_ [863]
10 1
.names [90] [205] [861] [864]
-1- 1
1-1 1
.names [86] [207] [863] [865]
-1- 1
1-1 1
.names i_2_ i_6_ [866]
01 1
.names n_n101 [29] [866] [868]
111 1
.names i_11_ i_6_ [869]
01 1
.names n_n101 [29] [869] [871]
111 1
.names i_6_ i_12_ n_n101 [873]
001 1
.names i_6_ i_4_ n_n101 [875]
001 1
.names i_9_ i_8_ i_21_ [876]
011 1
.names i_7_ i_5_ i_18_ [877]
100 1
.names n_n273 n_n140 n_n139 [878]
1-- 1
-11 1
.names [85] n_n255 n_n257 [880]
1-- 1
-1- 1
--1 1
.names [83] [868] [871] [881]
11- 1
1-1 1
.names [83] [873] [875] [882]
11- 1
1-1 1
.names n_n294 n_n268 [878] [885]
1-- 1
-1- 1
--1 1
.names [881] [880] [886]
1- 1
-1 1
.names n_n307 [68] [192] [888]
1-- 1
-1- 1
--1 1
.names [71] [193] [885] [889]
1-- 1
-1- 1
--1 1
.names [864] [865] [886] [890]
1-- 1
-1- 1
--1 1
.names [61] [882] [888] [891]
1-- 1
-1- 1
--1 1
.names i_15_ i_0_ [893]
10 1
.names i_4_ i_14_ [894]
10 1
.names i_18_ i_17_ i_21_ [895]
000 1
.names i_14_ i_4_ n_n134 [897]
011 1
.names [29] [34] [895] [898]
111 1
.names i_5_ i_7_ [899]
10 1
.names i_15_ i_5_ [900]
01 1
.names [49] [899] [900] [901]
11- 1
1-1 1
.names n_n276 [897] [898] [903]
1-- 1
-11 1
.names o_19_ n_n283 [901] [904]
1-- 1
-1- 1
--1 1
.names i_14_ i_10_ [905]
00 1
.names i_13_ i_18_ i_21_ [906]
010 1
.names i_10_ i_14_ n_n140 [907]
001 1
.names [906] n_n134 [908]
11 1
.names i_13_ i_21_ [40] [911]
001 1
.names i_17_ i_4_ [913]
01 1
.names n_n60 [34] [913] [915]
101 1
.names i_15_ i_0_ [916]
11 1
.names i_18_ i_17_ i_15_ [917]
010 1
.names i_4_ i_17_ i_15_ [918]
000 1
.names [918] [37] [919]
11 1
.names [52] [54] [919] [920]
1-- 1
-11 1
.names n_n301 n_n310 n_n303 [921]
1-- 1
-1- 1
--1 1
.names [59] [72] [920] [922]
1-- 1
-1- 1
--1 1
.names n_n277 [174] [175] [926]
1-- 1
-1- 1
--1 1
.names n_n140 i_19_ [927]
00 1
.names i_19_ n_n139 [31] [928]
011 1
.names i_9_ i_4_ i_12_ [929]
110 1
.names n_n128 i_18_ [930]
10 1
.names n_n283 [897] [898] [931]
1-- 1
-11 1
.names [53] n_n271 [930] [932]
-1- 1
1-1 1
.names n_n304 [94] [927] [933]
1-- 1
-11 1
.names [86] [928] [929] [934]
01- 1
1-1 1
.names [931] [932] [934] [937]
1-- 1
-1- 1
--1 1
.names i_12_ i_2_ i_21_ [939]
110 1
.names [29] n_n43 [939] [940]
111 1
.names i_13_ i_17_ i_15_ [941]
000 1
.names i_5_ i_15_ [49] [947]
011 1
.names i_2_ i_18_ i_17_ [948]
000 1
.names i_11_ i_18_ i_17_ [949]
000 1
.names [49] i_19_ [950]
10 1
.names i_11_ i_2_ n_n101 [951]
101 1
.names [49] n_n255 [899] [952]
-1- 1
1-1 1
.names n_n273 n_n137 [857] [953]
1-- 1
-11 1
.names [89] [947] [948] [954]
01- 1
1-1 1
.names [89] [949] [950] [955]
11- 1
1-1 1
.names [50] [940] [952] [956]
--1 1
11- 1
.names [153] [152] [957]
1- 1
-1 1
.names [954] [953] [958]
1- 1
-1 1
.names n_n265 [209] [955] [959]
1-- 1
-1- 1
--1 1
.names i_6_ i_16_ [67] [960]
011 1
101 1
.names [864] [865] [958] [962]
1-- 1
-1- 1
--1 1
.names [956] [957] [960] [964]
1-- 1
-1- 1
--1 1
.names [74] [959] [964] [966]
1-- 1
-1- 1
--1 1
.names o_19_ [49] [899] [967]
1-- 1
-11 1
.names n_n276 n_n283 [968]
1- 1
-1 1
.names i_6_ i_5_ [970]
11 1
.names [144] n_n255 [972]
1- 1
-1 1
.names i_6_ i_2_ n_n140 [974]
011 1
.names [47] [50] [829] [975]
111 1
.names i_6_ i_16_ n_n134 [977]
101 1
.names i_6_ i_16_ n_n134 [980]
011 1
.names i_6_ i_4_ i_12_ [982]
110 1
.names i_9_ i_21_ [982] [983]
001 1
.names i_2_ i_9_ [985]
01 1
.names i_18_ i_17_ i_15_ [986]
101 1
.names [38] [133] [845] [988]
-1- 1
1-1 1
.names n_n265 [907] [908] [989]
1-- 1
-11 1
.names [130] n_n320 [990]
1- 1
-1 1
.names [132] [131] [991]
1- 1
-1 1
.names i_19_ o_23_ [134] [992]
--1 1
01- 1
.names i_6_ i_16_ [67] [994]
011 1
101 1
.names [988] [989] [992] [996]
1-- 1
-1- 1
--1 1
.names n_n325 n_n333 [220] [997]
1-- 1
-1- 1
--1 1
.names [990] [991] [994] [998]
1-- 1
-1- 1
--1 1
.names n_n58 i_6_ [1000]
11 1
.names o_23_ n_n255 n_n265 [1002]
1-- 1
-1- 1
--1 1
.names i_12_ i_4_ [1003]
10 1
.names n_n319 n_n278 n_n318 [1005]
1-- 1
-1- 1
--1 1
.names [53] [121] [844] [1006]
-1- 1
0-1 1
.names n_n301 n_n303 [1006] [1008]
1-- 1
-1- 1
--1 1
.names i_9_ i_4_ i_12_ [1009]
110 1
.names [54] n_n303 [919] [1011]
-1- 1
1-1 1
.names [86] n_n333 [1009] [1012]
-1- 1
1-1 1
.names n_n320 n_n318 n_n312 [1013]
1-- 1
-1- 1
--1 1
.names n_n307 n_n309 n_n316 [1014]
1-- 1
-1- 1
--1 1
.names [1014] [1013] [1016]
1- 1
-1 1
.names o_23_ n_n257 [1018]
1- 1
-1 1
.names n_n268 [107] [1018] [1020]
1-- 1
-1- 1
--1 1
.names i_9_ i_4_ i_12_ [1021]
010 1
.names i_18_ i_21_ [1021] [1022]
101 1
.names n_n273 o_15_ [1025]
1- 1
-1 1
.names i_12_ [38] [845] [1026]
01- 1
-11 1
.names [50] [75] [940] [1028]
-1- 1
1-1 1
.names o_19_ n_n257 [70] [1030]
1-- 1
-1- 1
--1 1
.names n_n309 n_n324 n_n275 [1032]
1-- 1
-1- 1
--1 1
.names n_n311 n_n312 [1028] [1033]
1-- 1
-1- 1
--1 1
.names [1025] [1026] [1030] [1034]
1-- 1
-1- 1
--1 1
.names n_n325 [864] [865] [1035]
1-- 1
-1- 1
--1 1
.names [1033] [1032] [1036]
1- 1
-1 1
.names i_16_ [71] [92] [1039]
-1- 1
1-1 1
.names n_n319 [74] n_n318 [1040]
1-- 1
-1- 1
--1 1
.names n_n310 n_n271 [180] [1041]
1-- 1
-1- 1
--1 1
.names n_n315 n_n316 [1041] [1043]
1-- 1
-1- 1
--1 1
.names [77] [60] [72] [1044]
1-- 1
-1- 1
--1 1
.names o_23_ n_n255 n_n257 [1046]
1-- 1
-1- 1
--1 1
.end