# Benchmark "IWLS93__majority" written by ABC on Sat Jul 16 12:01:53 2016
.model IWLS93__majority
.inputs pi0 pi1 pi2 pi3 pi4
.outputs po0
.names n11 po0
0 1
.names pi1 pi2 pi3 n7
000 1
.names pi2 pi3 pi4 n8
000 1
.names pi1 pi3 pi4 n9
000 1
.names pi0 pi3 pi4 n10
000 1
.names n10 n9 n12 n7 n13 n8 n11
1----- 1
-1---- 1
--1--- 1
---1-- 1
----1- 1
-----1 1
.names pi0 pi2 pi3 n12
000 1
.names pi0 pi1 pi3 n13
000 1
.end
