vtr_flow/benchmarks/blif/5/frg1.blif

.model top
.inputs pp pa0 pq pb0 pr pc0 ps pt pu pv pw px py pz pa pb pc pe pf pg ph pi \
pj pk pl pm pn po
.outputs pd0 pe0 pf0
.names pb pc [32] pd0
01- 1
-01 1
.names pa0 pa pc pe pf pe0
-1--- 1
--1-- 1
0---1 1
---11 1
.names pb0 pa pc pe pf0
0--0 1
-1-0 1
--10 1
.names pc0 [33] [16] [309] [310] [32]
00--- 1
-11-- 1
-1-1- 1
-1--1 1
.names [18] [75] [76] [78] [304] [9]
1---- 1
-1--- 1
--1-- 1
---1- 1
----1 1
.names pl [18] [52] [281] [286] [36]
0---- 1
--11- 1
-1--1 1
.names pw px py pz pm [18]
----0 1
0000- 1
.names ps pt pv pk [42]
---0 1
000- 1
.names pu ph pl [18] [286] [48]
0-0-- 1
-00-- 1
0--11 1
.names pw py pj pm po [51]
-00-- 1
--00- 1
---00 1
00--0 1
.names pw px ph pm po [52]
-00-- 1
--00- 1
---00 1
00--0 1
.names pa pe [33]
1- 1
-1 1
.names pu pv pk [39]
--0 1
00- 1
.names ps pt pv [48] [287] [16]
00--1 1
0001- 1
.names pr ph [42] [88] [291] [17]
00-1- 1
001-1 1
.names pj [39] [294] [296] [25]
0--1 1
011- 1
.names pg [51] [57] [299] [301] [26]
0-1-- 1
0---1 1
01-1- 1
.names pw pi pl pm po [57]
-00-- 1
00--0 1
-0-00 1
.names px py pz ph pj [75]
0-00- 1
-00-0 1
--000 1
.names pw px py pg pi [76]
0-00- 1
00--0 1
0--00 1
.names px ph pi [78]
000 1
.names pv pz pj pk pm [88]
000-- 1
-000- 1
0-0-0 1
--000 1
.names pi pp [281]
00 1
.names pp pq pr po [286]
0000 1
.names pp pi pl [52] [287]
-00- 1
00-1 1
.names pp px pz pm [291]
0--0 1
000- 1
.names pq pr py pz pm [294]
00--0 1
0000- 1
.names pu pv ph pi pl [296]
---0- 1
00--0 1
-00-0 1
.names pq pu pk [299]
00- 1
0-0 1
.names pu ph pl [301]
-0- 1
0-0 1
.names py pg pj pl [304]
---0 1
000- 1
.names pk [36] [26] [309]
--1 1
01- 1
.names pn [9] [17] [25] [310]
--1- 1
---1 1
01-- 1
.end