vtr_flow/benchmarks/blif/3/misex2.blif

.model top
.inputs a b c d e f g h i j k l m n o p q r s t u v w x y
.outputs q1 p1 a1 c1 b1 e1 d1 g1 f1 i1 h1 k1 z j1 m1 l1 o1 n1
.names a b c q1
001 1
.names a b p1
01 1
.names j k [22] a1
111 1
.names m f1 [47] c1
--1 1
11- 1
.names j k [22] b1
101 1
.names j [25] [181] e1
111 1
.names [25] [181] [185] d1
111 1
.names a c [28] g1
111 1
.names [25] [181] [182] f1
111 1
.names [43] [44] i1
1- 1
-1 1
.names q1 [202] [206] h1
111 1
.names [41] [42] k1
1- 1
-1 1
.names j k [22] z
011 1
.names [39] [40] j1
1- 1
-1 1
.names c r [213] m1
011 1
.names j y [29] l1
101 1
.names c [32] [20] o1
--1 1
01- 1
.names j k [22] n1
001 1
.names s [178] [179] [22]
011 1
.names b [186] [187] [28]
0-- 1
-11 1
.names m1 [34] [35] [29]
1-- 1
-1- 1
--1 1
.names a b [25]
11 1
.names a b t [32]
1-- 1
-01 1
.names c k [30]
0- 1
-0 1
.names a b k [20]
110 1
.names a b [30] [34]
111 1
.names x q1 [37] [35]
11- 1
1-1 1
.names a b t [37]
001 1
.names [189] [190] [210] [39]
111 1
.names [196] [197] [211] [40]
111 1
.names [189] [190] [207] [41]
111 1
.names [196] [197] [208] [42]
111 1
.names [189] [190] [191] [43]
111 1
.names [196] [197] [198] [44]
111 1
.names s [178] [179] [47]
111 1
.names r c [178]
00 1
.names a b t [179]
000 1
.names k c [181]
11 1
.names l j [182]
10 1
.names j l m [185]
000 1
.names k j [186]
10 1
.names m l [187]
01 1
.names t s [189]
01 1
.names a b u [190]
010 1
.names w v [191]
00 1
.names o n [193]
00 1
.names l m w [195]
010 1
.names u v [193] [196]
101 1
.names [195] q1 [197]
11 1
.names q p [198]
00 1
.names g f [200]
00 1
.names i h [201]
00 1
.names s r [202]
01 1
.names d e t [203]
011 1
.names [200] [201] [203] [206]
111 1
.names w v [207]
01 1
.names q p [208]
01 1
.names w v [210]
11 1
.names q p [211]
11 1
.names a b t [213]
000 1
.end