A Generalized If-Then-Else Operator for the Representation of Multi-Output Functions

Table 2

Experimental results in which the decomposed network is simpler than the monolith MTBDD.

Title	|𝑋|	𝐷%	𝑁mon	𝑁net	Ratio
ALU1	12	18	982	25	0.02
B12	15	29	155	145	0.93
DK48	15	31	3428	58	0.02
DK27	9	34	79	22	0.28
CON1	7	37	16	15	0.94
ALU2	10	39	264	150	0.57
DUKE2	22	40	1435	326	0.23
ALU3	10	42	278	151	0.54
MISEX3C	14	43	10875	705	0.06
WIM	4	50	15	10	0.67
F51M	8	53	255	155	0.61
DK17	10	57	160	55	0.34
APLA	10	64	128	85	0.66
INC	7	79	39	35	0.90