vtr_flow/benchmarks/blif/5/c8.blif

.model top
.inputs pp pa0 pq pb0 pr pc0 ps pu pv pw px py pz pa pb pc pd pe pf pg ph pi \
pj pk pl pm pn po
.outputs pd0 pe0 pf0 pg0 ph0 pi0 pj0 pk0 pl0 pm0 pn0 po0 pp0 pq0 pr0 ps0 pt0 \
pu0
.names pc0 pu pi pd0
00- 1
1-0 1
.names pc0 pv pj pe0
00- 1
1-0 1
.names pc0 pw pk pf0
00- 1
1-0 1
.names pc0 px pl pg0
00- 1
1-0 1
.names pc0 py pm ph0
00- 1
1-0 1
.names pc0 pz pn pi0
00- 1
1-0 1
.names pa0 pc0 po pj0
00- 1
-10 1
.names pp pb0 pc0 pk0
0-1 1
-00 1
.names pq pr pu [288] pm0
---1 1
111- 1
100- 1
.names [33] [72] [73] [74] pn0
1000 1
.names pq ps pc pk [24] po0
1---1 1
-11-1 1
-0-11 1
--111 1
.names pq px [21] [296] pp0
0--1 1
-111 1
-001 1
.names pq py [18] [298] pq0
0--1 1
-111 1
-001 1
.names pq py pz [18] [300] pr0
0---1 1
-11-1 1
--111 1
-0001 1
.names pq ps pg po [29] ps0
1---1 1
-11-1 1
-0-11 1
--111 1
.names [45] [26] [49] pt0
11- 1
1-1 1
.names py pz [48] [309] [310] pu0
--1-- 1
00-11 1
.names pq pr pu pv [33]
0--- 1
---1 1
-00- 1
.names pq pr pu pv pw [24]
0---- 1
-1--1 1
--1-1 1
---11 1
-0000 1
.names pa0 pq py pz [18] [29]
-0--- 1
1-1-- 1
1--1- 1
1---1 1
0-000 1
.names pp pq ps ph [45]
-1-- 1
1-0- 1
1--1 1
--11 1
.names pr pu pv pw [21]
1--- 1
-1-- 1
--1- 1
---1 1
.names pr pu pv pw px [18]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names py pz [18] [303] [304] [26]
----1 1
0001- 1
.names pc0 pl0
1 1
.names pq pr pc0 [48]
111 1
.names pb0 py pz [18] [49]
11-- 1
1-1- 1
1--1 1
.names pq pr pu pv [72]
1001 1
.names pq ps pj [73]
000 1
.names pq ps pb [74]
010 1
.names pq ps pa pi [288]
011- 1
00-1 1
.names pq ps pd pl [296]
1--- 1
-11- 1
-0-1 1
--11 1
.names pq ps pe pm [298]
1--- 1
-11- 1
-0-1 1
--11 1
.names pq ps pf pn [300]
1--- 1
-11- 1
-0-1 1
--11 1
.names pb0 pa0 [303]
00 1
.names pa0 pq pb0 [304]
-0- 1
1-1 1
.names pa0 pq pb0 pr [309]
0100 1
.names pu pv pw px [310]
1000 1
.end