vtr_flow/benchmarks/blif/2/9symml.blif

.model top
.inputs _9 _8 _7 _6 _5 _4 _3 _2 _1
.outputs _52
.names [605] [606] _52
1- 1
-1 1
.names _1 [52] n_n106
01 1
.names _2 [59] n_n103
11 1
.names _4 [66] n_n102
01 1
.names _2 [73] n_n104
01 1
.names _9 [79] n_n101
01 1
.names _9 [88] n_n100
11 1
.names _5 _4 [1]
01 1
10 1
.names _3 _2 [51]
01 1
10 1
.names [157] [559] [52]
1- 1
-1 1
.names [139] [568] [59]
1- 1
-1 1
.names [117] [578] [66]
1- 1
-1 1
.names [99] [100] [73]
1- 1
-1 1
.names [33] [592] [79]
1- 1
-1 1
.names [16] [599] [88]
1- 1
-1 1
.names _8 _7 [27]
10 1
.names _8 _7 n_10
01 1
10 1
.names _2 [554] [28]
01 1
.names [28] [135] [8]
1- 1
-1 1
.names _4 _1 [29]
10 1
.names [29] [153] [10]
1- 1
-1 1
.names _6 _5 [44]
01 1
.names [44] [113] [12]
1- 1
-1 1
.names _5 _3 [43]
01 1
.names _8 _7 [45]
00 1
.names _7 _6 [46]
10 1
.names _7 _5 [47]
10 1
.names _6 _1 [48]
10 1
.names _6 _4 [49]
01 1
.names _4 _3 [50]
10 1
.names [164] [558] [55]
1- 1
-1 1
.names [158] [159] [53]
1- 1
-1 1
.names [160] [161] [54]
1- 1
-1 1
.names [168] [557] [57]
1- 1
-1 1
.names [28] [165] [56]
1- 1
-1 1
.names [171] [556] [58]
1- 1
-1 1
.names [566] [567] [61]
1- 1
-1 1
.names [140] [141] [60]
1- 1
-1 1
.names [150] [564] [65]
1- 1
-1 1
.names [146] [147] [63]
1- 1
-1 1
.names [27] [10] [62]
1- 1
-1 1
.names [148] [149] [64]
1- 1
-1 1
.names [121] [577] [68]
1- 1
-1 1
.names [118] [119] [67]
1- 1
-1 1
.names [134] [573] [72]
1- 1
-1 1
.names [128] [129] [70]
1- 1
-1 1
.names [123] [124] [69]
1- 1
-1 1
.names [125] [576] [71]
1- 1
-1 1
.names [580] [581] [76]
1- 1
-1 1
.names [101] [102] [74]
1- 1
-1 1
.names [103] [104] [75]
1- 1
-1 1
.names [1] n_10 [78]
1- 1
-1 1
.names [109] [110] [77]
1- 1
-1 1
.names [42] [590] [84]
1- 1
-1 1
.names [36] [37] [82]
1- 1
-1 1
.names [34] [35] [80]
1- 1
-1 1
.names [27] [47] [81]
1- 1
-1 1
.names [29] [38] [83]
1- 1
-1 1
.names [95] [96] [86]
1- 1
-1 1
.names [8] [93] [85]
1- 1
-1 1
.names n_10 [97] [87]
1- 1
-1 1
.names [22] [598] [90]
1- 1
-1 1
.names [19] [597] [89]
1- 1
-1 1
.names _4 _1 [92]
01 1
10 1
.names [12] [25] [91]
1- 1
-1 1
.names [51] [601] [2]
11 1
.names n_10 [593] [14]
11 1
.names _6 [89] [15]
11 1
.names [45] [90] [16]
11 1
.names [92] [594] [17]
11 1
.names [43] [595] [18]
11 1
.names n_10 [596] [19]
11 1
.names _3 [91] [22]
11 1
.names _2 [50] [23]
11 1
.names _5 [48] [24]
11 1
.names _4 _2 [25]
01 1
.names [583] [584] [30]
11 1
.names _3 [80] [31]
11 1
.names _5 [82] [32]
11 1
.names _6 [84] [33]
11 1
.names [45] [585] [34]
11 1
.names [49] [81] [35]
11 1
.names [49] [586] [36]
11 1
.names [46] [83] [37]
11 1
.names _8 _4 [38]
10 1
.names [47] [587] [40]
11 1
.names _1 [85] [41]
11 1
.names _5 [86] [42]
11 1
.names _2 [588] [93]
01 1
.names _2 [589] [95]
11 1
.names _2 [87] [96]
01 1
.names _4 _1 [97]
01 1
.names _4 [74] [99]
11 1
.names _1 [76] [100]
11 1
.names [44] [75] [101]
11 1
.names [43] [48] [102]
11 1
.names _9 _1 [103]
10 1
.names _9 _3 [104]
01 1
.names [78] [579] [105]
11 1
.names _6 [77] [106]
11 1
.names [44] [50] [107]
11 1
.names n_10 [12] [108]
11 1
.names _4 [45] [109]
11 1
.names _4 [43] [110]
01 1
.names _5 _4 [113]
01 1
.names [67] [570] [115]
11 1
.names [8] [572] [116]
11 1
.names _3 [68] [117]
11 1
.names _8 _5 [118]
01 1
.names _9 _6 [119]
01 1
.names [72] [574] [120]
11 1
.names _2 [69] [121]
01 1
.names _9 [70] [122]
01 1
.names _1 [575] [123]
01 1
.names _1 [71] [124]
11 1
.names _9 _8 [125]
10 1
.names _6 [47] [128]
11 1
.names _2 n_10 [129]
11 1
.names _6 _2 [132]
01 1
.names _7 _6 [133]
01 1
.names _8 _7 [134]
01 1
.names _2 [571] [135]
11 1
.names [560] [561] [137]
11 1
.names [60] [562] [138]
11 1
.names _3 [61] [139]
01 1
.names _3 [48] [140]
11 1
.names _1 [46] [141]
11 1
.names [62] [563] [142]
11 1
.names [65] [565] [143]
11 1
.names _9 [63] [144]
11 1
.names [10] [46] [145]
11 1
.names _4 [64] [146]
01 1
.names _7 [44] [147]
01 1
.names _8 _1 [148]
10 1
.names _5 _1 [149]
01 1
.names _7 _5 [150]
01 1
.names _9 _8 [153]
10 1
.names [549] [550] [155]
11 1
.names _8 [53] [156]
01 1
.names _8 [55] [157]
11 1
.names [54] [551] [158]
11 1
.names [43] [552] [159]
11 1
.names _5 _3 [160]
10 1
.names _9 _3 [161]
01 1
.names [44] [553] [162]
11 1
.names _9 [56] [163]
11 1
.names _9 [57] [164]
01 1
.names _6 [43] [165]
01 1
.names _3 [555] [167]
11 1
.names _6 [58] [168]
11 1
.names _5 [50] [169]
11 1
.names _7 _2 [170]
10 1
.names _7 _4 [171]
01 1
.names _4 _7 [549]
10 1
.names [43] _2 [550]
11 1
.names _4 _6 [551]
11 1
.names _7 _9 [552]
11 1
.names _3 _7 [553]
10 1
.names _3 _7 [554]
01 1
.names _4 _7 [555]
01 1
.names [170] [43] [556]
1- 1
-1 1
.names [169] [167] [557]
1- 1
-1 1
.names [163] [162] [558]
1- 1
-1 1
.names [156] [155] [559]
1- 1
-1 1
.names _6 _8 [560]
00 1
.names [29] _3 [561]
11 1
.names _4 _5 [562]
00 1
.names _5 _6 [563]
01 1
.names [49] [47] [564]
1- 1
-1 1
.names _8 _9 [565]
10 1
.names [142] [145] [566]
1- 1
-1 1
.names [144] [143] [567]
1- 1
-1 1
.names [138] [137] [568]
1- 1
-1 1
.names _3 _7 [569]
01 1
.names [569] _2 [570]
11 1
.names _5 _7 [571]
00 1
.names _1 _8 [572]
11 1
.names [133] [132] [573]
1- 1
-1 1
.names _1 _5 [574]
01 1
.names _7 _8 [575]
11 1
.names [47] [27] [576]
1- 1
-1 1
.names [122] [120] [577]
1- 1
-1 1
.names [116] [115] [578]
1- 1
-1 1
.names _3 _9 [579]
01 1
.names [108] [107] [580]
1- 1
-1 1
.names [106] [105] [581]
1- 1
-1 1
.names _7 _8 [582]
11 1
.names _4 _5 [583]
10 1
.names [582] _2 [584]
10 1
.names _1 _2 [585]
11 1
.names _2 _8 [586]
10 1
.names _4 _8 [587]
10 1
.names _5 _8 [588]
01 1
.names _3 _8 [589]
00 1
.names [41] [40] [590]
1- 1
-1 1
.names [31] [30] [591]
1- 1
-1 1
.names [591] [32] [592]
1- 1
-1 1
.names [1] _6 [593]
10 1
.names _3 _7 [594]
00 1
.names _4 _8 [595]
00 1
.names _1 _2 [596]
00 1
.names [17] [18] [597]
1- 1
-1 1
.names [24] [23] [598]
1- 1
-1 1
.names [15] [14] [599]
1- 1
-1 1
.names _1 _6 [600]
10 1
.names [1] [600] [601]
11 1
.names n_n104 [2] [602]
1- 1
-1 1
.names n_n106 n_n100 [603]
1- 1
-1 1
.names n_n102 n_n103 [604]
1- 1
-1 1
.names [602] n_n101 [605]
1- 1
-1 1
.names [604] [603] [606]
1- 1
-1 1
.end