# Benchmark "1-adder" written by ABC on Sat Apr 16 14:15:31 2016
.model 1-adder
.inputs pi0 pi1 pi2
.outputs po0 po1
.names pi0 pi1 pi2 po1
001 1
010 1
100 1
111 1
.names pi0 pi1 pi2 po0
11- 1
1-1 1
-11 1
.end
