vtr_flow/benchmarks/blif/8/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 pp pq pr ps pu pk0
---1- 1
00--- 1
-11-1 1
-10-0 1
.names pq pr ps pu pv po pl0
--1--- 1
0----0 1
11--1- 1
1--11- 1
10-00- 1
.names pq pr ps pu pv pw pn pm0
--1---- 1
0-----0 1
11---1- 1
1--1-1- 1
1---11- 1
10-000- 1
.names pq pr ps pu pv pw px pm pn0
--1----- 1
0------0 1
11----1- 1
1--1--1- 1
1---1-1- 1
1----11- 1
10-0000- 1
.names pq ps pl [102] po0
-1-- 1
---1 1
0-0- 1
.names pq ps pk [97] pp0
-1-- 1
---1 1
0-0- 1
.names pq ps pj [37] pq0
-1-- 1
0-0- 1
1--1 1
.names pq pb0 ps pi [25] pr0
--1-- 1
0--0- 1
11--1 1
10--0 1
.names pq pb0 pc0 ps ph [25] ps0
---1-- 1
0---0- 1
111--- 1
1-1--1 1
100--0 1
.names pq pb0 pc0 ps pd0 pg [25] pt0
---1--- 1
0----0- 1
11--1-- 1
1-1-1-- 1
1---1-1 1
100-0-0 1
.names pq pb0 pc0 ps pd0 pe0 pf [25] pu0
---1---- 1
0-----0- 1
11---1-- 1
1-1--1-- 1
1---11-- 1
1----1-1 1
100-00-0 1
.names pq pb0 pc0 pd0 pe0 pf0 [25] [365] pv0
-------1 1
11---1-- 1
1-1--1-- 1
1--1-1-- 1
1---11-- 1
1----11- 1
1000000- 1
.names pq pd0 pe0 pf0 pg0 [25] [361] [367] pw0
-------1 1
11--1--- 1
1-1-1--- 1
1--11--- 1
1---11-- 1
1---1-1- 1
1000000- 1
.names pq pd0 pe0 ph0 [25] [361] [366] [368] px0
-------1 1
11-1---- 1
1-11---- 1
1--11--- 1
1--1-1-- 1
1--1--1- 1
1000000- 1
.names pq ps pb [52] py0
-1-- 1
---1 1
0-0- 1
.names pq ps pa [48] pz0
-1-- 1
0-0- 1
1--1 1
.names pa0 pr pu pv pw px py pz [37]
11------ 1
1-1----- 1
1--1---- 1
1---1--- 1
1----1-- 1
1-----1- 1
1------1 1
00000000 1
.names pd0 pe0 ph0 pi0 pj0 [25] [361] [366] [48]
1---1--- 1
-1--1--- 1
--1-1--- 1
---11--- 1
----11-- 1
----1-1- 1
----1--1 1
00000000 1
.names pa0 pr pu pv pw px py pz [25]
1------- 1
-1------ 1
--1----- 1
---1---- 1
----1--- 1
-----1-- 1
------1- 1
-------1 1
.names pq pd0 pe0 ph0 pi0 [25] [361] [366] [52]
11--1--- 1
1-1-1--- 1
1--11--- 1
1---11-- 1
1---1-1- 1
1---1--1 1
10000000 1
.names pq pr pu pv pw px py pz [97]
11-----1 1
1-1----1 1
1--1---1 1
1---1--1 1
1----1-1 1
1-----11 1
10000000 1
.names pq pr pu pv pw px py [102]
11----1 1
1-1---1 1
1--1--1 1
1---1-1 1
1----11 1
1000000 1
.names pc0 pb0 [361]
1- 1
-1 1
.names pq ps pe [365]
-1- 1
0-0 1
.names pg0 pf0 [366]
1- 1
-1 1
.names pq ps pd [367]
-1- 1
0-0 1
.names pq ps pc [368]
-1- 1
0-0 1
.end