# Benchmark "IWLS93__b1" written by ABC on Sun Jul 03 15:47:08 2016
.model IWLS93__b1
.inputs pi0 pi1 pi2
.outputs po0 po1 po2
.names n15 po0
0 1
.names n14 po1
0 1
.names pi2 po2
0 1
.names pi0 pi1 n9
10 1
.names pi1 pi2 n10
00 1
.names pi0 pi2 n11
00 1
.names pi1 pi2 n12
11 1
.names pi0 pi2 n13
11 1
.names n12 n11 n9 n13 n16 n10 n14
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names n17 n18 n15
1- 1
-1 1
.names pi0 pi1 n16
01 1
.names pi0 pi1 n17
00 1
.names pi0 pi1 n18
11 1
.end
