vtr_flow/benchmarks/blif/2/sao2.blif

.model top
.inputs i_9_ i_7_ i_8_ i_5_ i_6_ i_3_ i_4_ i_1_ i_2_ i_0_
.outputs o_1_ o_2_ o_0_ o_3_
.names n_n86 [474] o_1_
1- 1
-1 1
.names n_n96 [492] o_2_
1- 1
-1 1
.names [71] [505] o_0_
1- 1
-1 1
.names [515] [516] o_3_
1- 1
-1 1
.names [124] [459] n_n85
1- 1
-1 1
.names [115] [472] n_n86
1- 1
-1 1
.names [447] [448] [8]
11 1
.names [110] [111] [38]
1- 1
-1 1
.names [480] [481] n_n96
1- 1
-1 1
.names i_9_ i_5_ [4]
00 1
.names [92] [487] [5]
1- 1
-1 1
.names i_1_ [26] [6]
11 1
.names [4] [463] [9]
11 1
.names [31] [482] [13]
11 1
.names [89] [90] [15]
1- 1
-1 1
.names [484] [485] [39]
1- 1
-1 1
.names [37] [469] n_n176
11 1
.names i_6_ [32] n_n43
01 1
.names i_0_ [450] n_n53
01 1
.names i_0_ [451] n_n49
11 1
.names i_0_ [456] n_n46
11 1
.names [27] [468] [25]
11 1
.names i_3_ [4] [26]
01 1
.names [453] [454] [27]
11 1
.names i_7_ i_8_ [32]
10 1
.names n_n46 [464] [33]
11 1
.names i_8_ i_2_ [35]
00 1
.names i_7_ i_1_ [42]
0- 1
-0 1
.names [74] [75] [40]
1- 1
-1 1
.names [507] [508] n_n104
1- 1
-1 1
.names [510] [511] n_n106
1- 1
-1 1
.names i_6_ i_4_ [30]
01 1
.names [8] [6] [44]
1- 1
-1 1
.names [34] [22] [43]
1- 1
-1 1
.names [26] [458] [37]
11 1
.names [4] [476] [7]
11 1
.names [105] [106] [10]
1- 1
-1 1
.names [103] [104] [14]
1- 1
-1 1
.names [101] [102] [16]
1- 1
-1 1
.names [9] [7] [46]
1- 1
-1 1
.names i_6_ [449] n_n28
11 1
.names [127] [457] [48]
1- 1
-1 1
.names n_n53 n_n49 [47]
1- 1
-1 1
.names [119] [120] [53]
1- 1
-1 1
.names n_n53 [117] [52]
1- 1
-1 1
.names i_2_ i_0_ [56]
0- 1
-0 1
.names [94] [95] [57]
1- 1
-1 1
.names i_2_ i_0_ [31]
01 1
.names i_6_ [455] [28]
01 1
.names i_2_ [483] [34]
11 1
.names [76] [77] [41]
1- 1
-1 1
.names [35] [24] [45]
1- 1
-1 1
.names n_n46 [131] [50]
1- 1
-1 1
.names [28] [129] [49]
1- 1
-1 1
.names i_2_ i_0_ [51]
01 1
10 1
.names [121] [122] [55]
1- 1
-1 1
.names n_n53 n_n49 [54]
1- 1
-1 1
.names [4] [43] [11]
11 1
.names i_7_ [44] [12]
01 1
.names [26] [30] [17]
11 1
.names i_1_ [8] [18]
01 1
.names i_3_ [45] [22]
11 1
.names i_6_ i_0_ [24]
00 1
.names i_2_ [46] [36]
01 1
.names i_0_ [7] [58]
01 1
.names n_n46 [37] [62]
11 1
.names i_8_ [6] [63]
01 1
.names [4] [5] [64]
11 1
.names [494] [495] [67]
11 1
.names [496] [497] [68]
11 1
.names [33] [498] [69]
11 1
.names [27] [499] [70]
11 1
.names i_1_ [40] [71]
11 1
.names n_n53 [25] [72]
11 1
.names [25] [500] [74]
11 1
.names [8] [41] [75]
11 1
.names i_0_ [28] [76]
11 1
.names i_2_ n_n28 [77]
01 1
.names i_9_ [39] [78]
01 1
.names i_2_ [9] [79]
01 1
.names i_8_ [6] [80]
01 1
.names [4] [5] [81]
11 1
.names i_0_ [30] [85]
01 1
.names i_7_ i_3_ [86]
00 1
.names i_7_ [7] [89]
01 1
.names i_0_ [6] [90]
01 1
.names i_1_ [486] [91]
01 1
.names i_4_ [57] [92]
01 1
.names i_2_ [30] [93]
01 1
.names i_2_ i_0_ [94]
10 1
.names i_8_ i_6_ [95]
01 1
.names [477] [478] [96]
11 1
.names [7] [56] [97]
11 1
.names i_0_ [9] [101]
01 1
.names i_4_ [6] [102]
01 1
.names i_7_ [9] [103]
01 1
.names i_2_ [6] [104]
01 1
.names [30] [475] [105]
11 1
.names i_4_ [7] [106]
01 1
.names [8] [38] [107]
11 1
.names [28] [473] [110]
11 1
.names n_n43 n_n49 [111]
11 1
.names [460] [461] [112]
11 1
.names [52] [462] [113]
11 1
.names [33] [465] [114]
11 1
.names i_7_ [53] [115]
01 1
.names i_0_ n_n176 [116]
01 1
.names i_1_ [31] [117]
01 1
.names [55] [467] [119]
11 1
.names [25] [54] [120]
11 1
.names [35] [466] [121]
11 1
.names i_8_ n_n53 [122]
11 1
.names [47] [452] [123]
11 1
.names [27] [48] [124]
11 1
.names n_n46 [37] [125]
11 1
.names n_n49 [49] [126]
11 1
.names n_n28 [50] [127]
11 1
.names n_n43 n_n46 [128]
11 1
.names i_6_ [32] [129]
11 1
.names i_1_ [51] [131]
11 1
.names i_5_ i_9_ [447]
00 1
.names i_4_ i_3_ [448]
01 1
.names i_8_ i_7_ [449]
11 1
.names i_2_ i_1_ [450]
01 1
.names i_2_ i_1_ [451]
11 1
.names n_n28 [8] [452]
11 1
.names i_5_ i_9_ [453]
00 1
.names i_4_ i_3_ [454]
11 1
.names i_8_ i_7_ [455]
11 1
.names i_2_ i_1_ [456]
10 1
.names [126] [128] [457]
1- 1
-1 1
.names n_n43 i_4_ [458]
10 1
.names [125] [123] [459]
1- 1
-1 1
.names n_n49 i_4_ [460]
11 1
.names n_n28 [26] [461]
11 1
.names n_n43 [8] [462]
11 1
.names i_6_ i_8_ [463]
10 1
.names i_4_ i_7_ [464]
11 1
.names [9] i_3_ [465]
10 1
.names i_0_ i_1_ [466]
00 1
.names [8] i_6_ [467]
10 1
.names i_6_ i_8_ [468]
11 1
.names i_2_ i_1_ [469]
00 1
.names [113] [112] [470]
1- 1
-1 1
.names [470] [114] [471]
1- 1
-1 1
.names [471] [116] [472]
1- 1
-1 1
.names [31] i_1_ [473]
11 1
.names n_n85 [107] [474]
1- 1
-1 1
.names [4] i_7_ [475]
10 1
.names i_1_ i_8_ [476]
01 1
.names i_6_ i_9_ [477]
00 1
.names i_1_ i_3_ [478]
10 1
.names [97] [96] [479]
1- 1
-1 1
.names [479] [10] [480]
1- 1
-1 1
.names [16] [14] [481]
1- 1
-1 1
.names [4] i_7_ [482]
10 1
.names i_4_ i_7_ [483]
00 1
.names [86] i_5_ [484]
1- 1
-1 1
.names [85] [34] [485]
1- 1
-1 1
.names i_6_ i_8_ [486]
01 1
.names [93] [91] [487]
1- 1
-1 1
.names [79] [13] [488]
1- 1
-1 1
.names [488] [80] [489]
1- 1
-1 1
.names [78] [15] [490]
1- 1
-1 1
.names [489] [81] [491]
1- 1
-1 1
.names [491] [490] [492]
1- 1
-1 1
.names i_0_ i_6_ [493]
00 1
.names [42] [35] [494]
11 1
.names [8] [493] [495]
11 1
.names [4] i_3_ [496]
11 1
.names n_n49 n_n43 [497]
11 1
.names [26] i_6_ [498]
11 1
.names n_n46 [32] [499]
11 1
.names i_0_ i_7_ [500]
00 1
.names [68] [67] [501]
1- 1
-1 1
.names [70] [69] [502]
1- 1
-1 1
.names n_n176 [72] [503]
1- 1
-1 1
.names [502] [501] [504]
1- 1
-1 1
.names [504] [503] [505]
1- 1
-1 1
.names [63] [13] [506]
1- 1
-1 1
.names [62] n_n176 [507]
1- 1
-1 1
.names [506] [64] [508]
1- 1
-1 1
.names [10] [58] [509]
1- 1
-1 1
.names [14] [36] [510]
1- 1
-1 1
.names [509] [16] [511]
1- 1
-1 1
.names [18] [17] [512]
1- 1
-1 1
.names [15] [512] [513]
1- 1
-1 1
.names [12] [11] [514]
1- 1
-1 1
.names [514] [513] [515]
1- 1
-1 1
.names n_n106 n_n104 [516]
1- 1
-1 1
.end