vtr_flow/benchmarks/blif/2/count.blif

.model top
.inputs pp pa0 pq pb0 pr pc0 ps pd0 pe0 pu pf0 pv pg0 pw ph0 px pi0 py pj0 pz \
pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0 pt0 pu0 pv0 pw0 px0 py0 pz0
.names [122] [352] pk0
1- 1
-1 1
.names [117] [353] pl0
1- 1
-1 1
.names [112] [354] pm0
1- 1
-1 1
.names [107] [355] pn0
1- 1
-1 1
.names [102] [357] po0
1- 1
-1 1
.names [97] [358] pp0
1- 1
-1 1
.names [92] [359] pq0
1- 1
-1 1
.names [87] [360] pr0
1- 1
-1 1
.names [82] [362] ps0
1- 1
-1 1
.names [77] [363] pt0
1- 1
-1 1
.names [72] [364] pu0
1- 1
-1 1
.names [67] [365] pv0
1- 1
-1 1
.names [62] [367] pw0
1- 1
-1 1
.names [57] [368] px0
1- 1
-1 1
.names [52] [369] py0
1- 1
-1 1
.names [20] [370] pz0
1- 1
-1 1
.names pr pu [30]
11 1
00 1
.names pv [27] [31]
11 1
00 1
.names pw [16] [32]
11 1
00 1
.names px [24] [33]
11 1
00 1
.names [28] [105] [34]
0- 1
-1 1
.names pz [28] [36]
11 1
00 1
.names pa0 [17] [37]
11 1
00 1
.names pb0 [25] [38]
11 1
00 1
.names [29] [85] [39]
0- 1
-1 1
.names pd0 [29] [41]
11 1
00 1
.names pe0 [18] [42]
11 1
00 1
.names pf0 [26] [43]
11 1
00 1
.names [19] [65] [44]
0- 1
-1 1
.names ph0 [19] [46]
11 1
00 1
.names pi0 [23] [47]
11 1
00 1
.names pj0 [49] [48]
11 1
00 1
.names pr pu [27]
1- 1
-1 1
.names pv [27] [16]
1- 1
-1 1
.names [24] [356] [28]
1- 1
-1 1
.names pz [28] [17]
1- 1
-1 1
.names [25] [361] [29]
1- 1
-1 1
.names pd0 [29] [18]
1- 1
-1 1
.names pe0 [18] [26]
1- 1
-1 1
.names [26] [366] [19]
1- 1
-1 1
.names ph0 [19] [23]
1- 1
-1 1
.names pw [16] [24]
1- 1
-1 1
.names pa0 [17] [25]
1- 1
-1 1
.names px [24] [35]
1- 1
-1 1
.names pb0 [25] [40]
1- 1
-1 1
.names pf0 [26] [45]
1- 1
-1 1
.names pi0 [23] [49]
1- 1
-1 1
.names pq [48] [20]
11 1
.names pq pa [21]
00 1
.names pq [47] [52]
11 1
.names pq pb [53]
00 1
.names pq [46] [57]
11 1
.names pq pc [58]
00 1
.names pq [44] [62]
11 1
.names pq pd [63]
00 1
.names pg0 [45] [65]
11 1
.names pq [43] [67]
11 1
.names pq pe [68]
00 1
.names pq [42] [72]
11 1
.names pq pf [73]
00 1
.names pq [41] [77]
11 1
.names pq pg [78]
00 1
.names pq [39] [82]
11 1
.names pq ph [83]
00 1
.names pc0 [40] [85]
11 1
.names pq [38] [87]
11 1
.names pq pi [88]
00 1
.names pq [37] [92]
11 1
.names pq pj [93]
00 1
.names pq [36] [97]
11 1
.names pq pk [98]
00 1
.names pq [34] [102]
11 1
.names pq pl [103]
00 1
.names py [35] [105]
11 1
.names pq [33] [107]
11 1
.names pq pm [108]
00 1
.names pq [32] [112]
11 1
.names pq pn [113]
00 1
.names pq [31] [117]
11 1
.names pq po [118]
00 1
.names pq [30] [122]
11 1
.names pp pq [123]
00 1
.names [123] ps [352]
1- 1
-1 1
.names [118] ps [353]
1- 1
-1 1
.names [113] ps [354]
1- 1
-1 1
.names [108] ps [355]
1- 1
-1 1
.names py px [356]
1- 1
-1 1
.names [103] ps [357]
1- 1
-1 1
.names [98] ps [358]
1- 1
-1 1
.names [93] ps [359]
1- 1
-1 1
.names [88] ps [360]
1- 1
-1 1
.names pc0 pb0 [361]
1- 1
-1 1
.names [83] ps [362]
1- 1
-1 1
.names [78] ps [363]
1- 1
-1 1
.names [73] ps [364]
1- 1
-1 1
.names [68] ps [365]
1- 1
-1 1
.names pg0 pf0 [366]
1- 1
-1 1
.names [63] ps [367]
1- 1
-1 1
.names [58] ps [368]
1- 1
-1 1
.names [53] ps [369]
1- 1
-1 1
.names [21] ps [370]
1- 1
-1 1
.end