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

Title % 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