vtr_flow/benchmarks/blif/5/vda.blif

.model top
.inputs pp pq pa pb pc pd pe pf pg ph pi pj pk pl pm pn po
.outputs pa1 pa0 pb0 pc1 pr pb1 pc0 ps pd0 pt pd1 pe0 pu pf0 pv pg0 pw ph0 px \
pi0 py pj0 pz pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0 pt0 pu0 pv0 pw0 px0 py0 pz0
.names pl po [93] pa1
101 1
.names [93] [63] [91] [107] [900] pa0
-1--- 1
--11- 1
1---1 1
.names pk pl po [93] pb0
0011 1
.names pq pn [41] [104] pc1
111- 1
00-1 1
.names [48] [39] [927] [933] pr
1--- 1
-1-- 1
--1- 1
---1 1
.names pq ph pj pn [101] pb1
01111 1
.names pq pn [107] pc0
111 1
.names [232] [938] [940] ps
1-- 1
-1- 1
--1 1
.names [49] [68] [953] [971] [972] pd0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pq pn [110] pd1
111 1
.names [994] [995] [1011] [1012] pe0
1--- 1
-1-- 1
--1- 1
---1 1
.names [80] [1017] pu
1- 1
-1 1
.names [64] [67] [1029] [1030] [1044] pf0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [75] [40] [54] [100] [1049] pv
1---- 1
-1--- 1
----1 1
--11- 1
.names pe [120] [904] [1053] [1055] pg0
--1-- 1
---1- 1
----1 1
11--- 1
.names [1059] [1060] [1064] [1073] [1076] ph0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [68] [1063] [1064] [1086] [1087] pi0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [63] [75] [40] nk6 [902] py
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [232] [938] [1090] pj0
1-- 1
-1- 1
--1 1
.names pp pl pm po [53] pz
10011 1
00011 1
.names [39] [86] [1093] pk0
1-- 1
-1- 1
--1 1
.names [88] [39] [1095] [1097] [1099] pl0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [70] [89] [1100] [1103] pm0
1--- 1
-1-- 1
--1- 1
---1 1
.names [88] [39] [70] [1095] [1097] pn0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [86] [45] [1108] [1109] po0
1--- 1
-1-- 1
--1- 1
---1 1
.names [39] [40] [1112] pp0
1-- 1
-1- 1
--1 1
.names [39] [40] [1049] [1117] pq0
1--- 1
-1-- 1
--1- 1
---1 1
.names pe [64] [120] [904] [1121] pr0
-1--- 1
---1- 1
----1 1
1-1-- 1
.names nh6 [39] [40] [74] [1112] ps0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pe [120] [1104] [1108] [1127] pt0
--1-- 1
---1- 1
----1 1
11--- 1
.names [63] [75] [39] [927] pu0
1--- 1
-1-- 1
--1- 1
---1 1
.names ng6 [40] [919] [1129] [1133] pv0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pe [120] [1104] [1134] [1135] pw0
--1-- 1
---1- 1
----1 1
11--- 1
.names pe [120] [1104] [1134] [1137] px0
--1-- 1
---1- 1
----1 1
11--- 1
.names [40] [72] [1130] [1138] [1139] py0
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pq pn [104] pz0
101 1
.names pl po [58]
10 1
.names pp pq pm pn [93]
1100 1
.names pg [55] [56] [98] [53] [63]
11-1- 1
111-1 1
.names pl po [55]
01 1
.names pp pl pm po [41]
1011 1
.names pq pn [91]
11 1
.names pe [39] [120] [904] [927] nw
-1--- 1
---1- 1
----1 1
1-1-- 1
.names pg pl po [93] nn5
1111 1
.names pp pf pm [100] [88]
0-01 1
1101 1
1001 1
.names pp pl pm po [107]
0000 1
.names ph [51] [114] [236] [938] [49]
----1 1
-1-1- 1
011-- 1
.names pp pm [905] nh6
101 1
.names pq pn [51]
01 1
.names no6 [74] nn4 [959] [960] [68]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pg pl po [93] [98] [75]
-11-1 1
1111- 1
.names pq pn [110] [101] [909] [79]
111-- 1
10-1- 1
01--1 1
.names pp pm [90]
11 1
.names pe [120] [904] [48]
--1 1
11- 1
.names pp pl pm po [110]
0110 1
.names pp pq pl pm pn no5
10110 1
.names pq pi pn [41] [956] no6
00111 1
.names pq pl pm pn po nv4
01100 1
.names pd [98] [181] [1003] [73]
--1- 1
01-1 1
.names [41] [92] [102] [56] [906] [81]
11--- 1
--11- 1
-1--1 1
.names [91] [104] [57] [98] [944] [80]
11--- 1
--11- 1
--1-1 1
.names pl po [93] [1021] na7
0011 1
.names pp pq pm pn po nw6
00011 1
.names [1033] [1034] [1035] [1036] [64]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pl pm po [104]
0100 1
.names pp pl pm pn po ni4
11101 1
.names pg [41] [52] [53] [111] [85]
01-1- 1
0-1-1 1
.names pq pn [92]
10 1
.names pp pl pm po [101]
0011 1
.names pd pi pl po [98] nm4
00001 1
.names pb pf pl po [93] ng6
01001 1
.names [81] [85] [910] [912] [913] [39]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pc1 [93] ng6 [919] [928] [70]
1---- 1
--1-- 1
---1- 1
-1--1 1
.names pb1 [63] [232] [938] [1090] [86]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pm [107] [102] [916] [89]
--1-1 1
10-1- 1
.names [179] [180] [1046] [1047] [40]
1--- 1
-1-- 1
--1- 1
---1 1
.names [41] [119] [920] [923] [74]
1111 1
.names pl po [908] [944] [82]
111- 1
11-1 1
.names pl po [944] nk6
111 1
.names pe [120] [1104] [1134] [72]
--1- 1
---1 1
11-- 1
.names pp pm [54]
00 1
.names pq pl pn po [100]
0010 1
.names pq pl pn po [102]
0000 1
.names pp pm [56]
01 1
.names pl po [57]
11 1
.names pl po [52]
00 1
.names pp pq pm pn [98]
1101 1
.names pp pl pm po [109]
0001 1
.names pq pn [53]
00 1
.names pp pq pm pn [111]
1111 1
.names pp pm [94]
10 1
.names pq pl pn po [108]
0101 1
.names pp pm [108] nn4
101 1
.names pq pa pl pn po [99]
01101 1
.names pq pl pm pn po ny5
00011 1
.names [41] [100] [929] [978] [988] [67]
----1 1
-11-- 1
1--1- 1
.names pe [120] [1104] [45]
--1 1
11- 1
.names pb pc pe pf [112]
1-0- 1
-00- 1
--00 1
.names pb pc pf [118]
1-- 1
-0- 1
--0 1
.names pb pc pf [119]
1-- 1
-0- 1
--0 1
.names [93] [54] [52] [99] [121] [120]
-1-1- 1
1-1-1 1
.names pp pi pl pm po [114]
0-011 1
-0011 1
.names pb pf [121]
1- 1
-0 1
.names nw pt
1 1
.names nw pw
1 1
.names nw px
1 1
.names pp pc pg pi [997] [136]
10001 1
.names pc pi pk [41] [984] [179]
1--11 1
-1-11 1
--111 1
.names pd pi pl po [98] [180]
10001 1
.names pp pq pl pm pn [181]
01101 1
.names pp pq pl pm po [188]
01010 1
.names pp pq pm pn po [200]
10110 1
.names pp pa pl pn po [221]
00101 1
.names pq ph pn [114] [236] [232]
0-1-1 1
0011- 1
.names pp pl pm po [236]
1101 1
.names pn pq [899]
01 1
.names pk pl po [900]
001 1
.names pn pq [901]
11 1
.names pq pn [93] [107] [900] [902]
--1-1 1
11-1- 1
.names pq pl pn po [903]
0001 1
.names pp pq pm pn [55] [904]
01001 1
10001 1
00001 1
.names pq pl pn po [905]
0100 1
.names pp pl pm po [906]
1110 1
.names pp pq pm pn [908]
0100 1
.names pl pm po [909]
001 1
.names pp pm [108] ny5 [910]
0--1 1
011- 1
.names pi pl po [911]
100 1
.names pl po [111] [908] [912]
101- 1
11-1 1
.names pq pn [110] [98] [911] [913]
---11 1
011-- 1
.names pq pc pn [916]
110 1
.names pg pl po [917]
011 1
.names pf pb [918]
10 1
.names pq pn [93] [109] [917] [919]
--1-1 1
11-1- 1
.names pq pi pn [920]
001 1
.names pe ph pj [923]
111 1
.names [107] [102] [94] [905] [916] [925]
-11-- 1
--11- 1
1---1 1
.names ng6 [74] nn4 [919] [925] [927]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pg pl po [928]
111 1
.names pp pf pm [929]
100 1
.names pp pf pm [930]
110 1
.names [93] [63] [88] [928] [933]
-1-- 1
--1- 1
1--1 1
.names pq ph pn [934]
011 1
.names pe pf po [935]
000 1
.names pp pe pf pm [936]
0000 1
.names [41] [99] [112] [920] [936] [938]
-1--1 1
1-11- 1
.names [58] [93] [54] [102] [935] [940]
11--- 1
--11- 1
-1--1 1
.names pk pl po [941]
101 1
.names pp pq pm pn [943]
0011 1
.names pp pq pm pn [944]
0110 1
.names pe pf po [93] no5 [947]
----1 1
0001- 1
.names pq pn [57] [906] [943] [948]
--1-1 1
10-1- 1
.names pq pn [110] [221] [949]
---1 1
101- 1
.names ng6 [82] [947] [948] [949] [953]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pb pc pf ph [956]
0111 1
.names pp pq pm pn [958]
1110 1
.names pl po nv4 [958] [959]
--1- 1
00-1 1
.names pq pn [110] [104] [960]
011- 1
01-1 1
.names pp pq pm pn [58] [965]
11001 1
01001 1
.names pp pl pm po [53] [966]
01111 1
01001 1
.names pp pm [899] [905] [917] [967]
10-1- 1
101-1 1
.names [93] [79] [200] [941] [971]
-1-- 1
--1- 1
1--1 1
.names [75] [965] [966] [967] [972]
1--- 1
-1-- 1
--1- 1
---1 1
.names pq pl pn po [975]
0110 1
.names pp pm nw6 [102] [977]
--1- 1
11-1 1
.names pq pi pn [978]
011 1
.names pe ph pj pn [982]
1101 1
.names pq pg pn [984]
010 1
.names pc pi pk [986]
000 1
.names [41] [100] [929] [978] [987]
-11- 1
1--1 1
.names [41] [118] [982] [984] [986] [988]
111-- 1
1--11 1
.names pq pn [93] [110] [941] [990]
--1-1 1
11-1- 1
.names pl po [94] [944] [975] [991]
--1-1 1
11-1- 1
.names pq pn [110] [188] [992]
---1 1
011- 1
.names [51] [110] [188] [990] [991] [994]
--1-- 1
---1- 1
----1 1
11--- 1
.names [85] [977] [987] [988] [995]
1--- 1
-1-- 1
--1- 1
---1 1
.names pq pl pn po [997]
1011 1
.names pq pg pn [999]
000 1
.names pp pg pl [111] [997] [1001]
-101- 1
10--1 1
.names [58] [93] [101] [934] [999] [1002]
11--- 1
--11- 1
--1-1 1
.names pi pl po [1003]
000 1
.names pg pl po [93] [98] [1005]
-11-1 1
0111- 1
.names pp pm no5 [100] [1006]
--1- 1
01-1 1
.names [41] nv4 [920] [956] [1007]
-1-- 1
1-11 1
.names [1001] [1002] [1005] [1006] [1011]
1--- 1
-1-- 1
--1- 1
---1 1
.names [63] [73] [81] [1007] [1012]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pq pm pn [52] [1017]
01111 1
01011 1
10101 1
.names pe pf pm [1019]
010 1
.names pb pe pf [1021]
101 1
.names pp pl pm po [53] [1023]
01111 1
01001 1
.names pl po [111] [958] [1024]
101- 1
00-1 1
.names pp pm [108] [901] [911] [1025]
101-- 1
10-11 1
.names pl po [90] [100] [98] [1026]
--11- 1
10--1 1
.names [179] [180] [1023] [1024] [1029]
1--- 1
-1-- 1
--1- 1
---1 1
.names [1001] [1002] [1025] [1026] [1030]
1--- 1
-1-- 1
--1- 1
---1 1
.names pg pl po [93] [1033]
1111 1
0111 1
.names pp pq pm pn [52] [1034]
01111 1
00011 1
.names pq pn [41] [100] [930] [1035]
---11 1
101-- 1
.names [93] [91] [107] [109] [900] [1036]
-11-- 1
-1-1- 1
1---1 1
.names pp pm nw6 [100] [1039]
--1- 1
01-1 1
.names pi [41] [51] [104] [956] [1040]
--11- 1
011-1 1
.names [93] [52] [99] [1019] [1021] [1041]
--11- 1
11--1 1
.names [79] [1039] [1040] [1041] [1044]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pq pm pn [52] [1046]
01111 1
10101 1
.names pd [91] [104] [98] [1003] [1047]
-11-- 1
0--11 1
.names pl po [63] [902] [944] [1049]
--1-- 1
---1- 1
11--1 1
.names [73] ni4 [85] [94] [975] [1053]
1---- 1
-1--- 1
--1-- 1
---11 1
.names [49] [67] [953] [1029] [1030] [1055]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pm [108] [905] [1056]
011- 1
10-1 1
.names pp pf pm ni4 [100] [1057]
---1- 1
110-1 1
.names pq pn [109] ny5 [1058]
---1 1
111- 1
.names pq pn [110] [102] [94] [1059]
---11 1
101-- 1
.names pl po [98] [99] [1019] [1060]
---11 1
101-- 1
.names [58] [98] [99] [1019] [1059] [1063]
----1 1
11--- 1
--11- 1
.names na7 [1056] [1057] [1058] [1064]
1--- 1
-1-- 1
--1- 1
---1 1
.names pq pn [104] [94] [108] [1065]
---11 1
101-- 1
.names pq pn [107] [109] [1067]
111- 1
10-1 1
.names pl po [94] [903] [908] [1068]
--11- 1
11--1 1
.names pq pc pn [107] [101] [1069]
1-0-1 1
1101- 1
.names pc1 pb1 [136] [1065] [1073]
1--- 1
-1-- 1
--1- 1
---1 1
.names [179] [180] [1067] [1068] [1069] [1074]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names [990] [991] [992] [995] [1074] [1076]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pn pc [1077]
00 1
.names pp pm [100] [102] [1078]
011- 1
00-1 1
.names pq pl pn po [54] [1079]
11101 1
00101 1
.names pl po [41] [111] [978] [1080]
--1-1 1
10-1- 1
.names pp pm [107] [102] [1077] [1081]
--1-1 1
01-1- 1
.names ng6 [1078] [1079] [1080] [1086]
1--- 1
-1-- 1
--1- 1
---1 1
.names pz [85] nm4 [977] [1081] [1087]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pm [102] [57] [943] [1090]
---11 1
001-- 1
.names pc1 pd1 nn5 ng6 [919] [1093]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pp pq pm pn [58] [1095]
01111 1
11001 1
.names pb1 [63] [902] [1065] [1097]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pm [55] [89] [53] [1099]
---1- 1
101-1 1
001-1 1
.names pp pm [102] [57] [908] [1100]
---11 1
011-- 1
.names pe [85] [120] [904] [910] [1103]
-1--- 1
---1- 1
----1 1
1-1-- 1
.names pq pn [98] [906] [911] [1104]
--1-1 1
10-1- 1
.names pp pm [93] [100] [900] [1105]
--1-1 1
00-1- 1
.names pq pc pn [107] [109] [1106]
0-0-1 1
1101- 1
.names [74] [94] [108] [1105] [1106] [1108]
1---- 1
---1- 1
----1 1
-11-- 1
.names pq pn [41] [104] [1109]
101- 1
10-1 1
.names [63] [75] ng6 [919] [1112]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pl pm po [53] [1114]
10011 1
00011 1
11001 1
.names [88] ng6 [74] [1114] [1117]
1--- 1
-1-- 1
--1- 1
---1 1
.names pd [100] [98] [929] [1003] [1119]
-1-1- 1
0-1-1 1
.names [80] [85] [910] [1119] [1121]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pm [92] [102] [57] [1125]
11-1- 1
01-1- 1
011-1 1
001-1 1
.names [63] [179] [180] [1125] [1127]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pq pm pn [58] [1129]
11111 1
00111 1
.names [93] [52] [918] [919] [1129] [1130]
---1- 1
----1 1
111-- 1
.names pz [63] [85] [82] [1133]
1--- 1
-1-- 1
--1- 1
---1 1
.names pp pm [108] ny5 [1134]
0--1 1
011- 1
.names pp pl pm po [92] [1135]
01111 1
00011 1
.names pq pn [57] [98] [109] [1136]
--11- 1
10--1 1
.names [179] [180] [1046] [1047] [1136] [1137]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pq pn [107] [109] [1138]
111- 1
00-1 1
.names pp pf pm [100] [1139]
1101 1
1001 1
.end