single edge a1a2, a3 isolated: |D|=1 mwc=1 target=3 opt(Gamma)=3 maxsat=3 bb=3 opt(Gamma',K=3|D|+1)=3 opt(Gamma',K=1,2,3)={1: 3, 2: 3, 3: 3}
single edge a1-c, terminals isolated otherwise: |D|=1 mwc=0 target=2 opt(Gamma)=2 maxsat=2 bb=2 opt(Gamma',K=3|D|+1)=2 opt(Gamma',K=1,2,3)={1: 2, 2: 2, 3: 2}
triangle on the terminals: |D|=3 mwc=3 target=9 opt(Gamma)=9 maxsat=9 bb=9 opt(Gamma',K=3|D|+1)=9 opt(Gamma',K=1,2,3)={1: 8, 2: 9, 3: 9}
star K_{1,3} centre c, leaves terminals: |D|=3 mwc=2 target=8 opt(Gamma)=8 maxsat=8 bb=8 opt(Gamma',K=3|D|+1)=8 opt(Gamma',K=1,2,3)={1: 8, 2: 8, 3: 8}
K4 on terminals + c: |D|=6 mwc=5 target=17 opt(Gamma)=17 maxsat=17 bb=None opt(Gamma',K=3|D|+1)=17 opt(Gamma',K=1,2,3)={1: 14, 2: 16, 3: 17}
C4 a1-x-a2-y-a1, a3 isolated: |D|=4 mwc=2 target=10 opt(Gamma)=10 maxsat=10 bb=10 opt(Gamma',K=3|D|+1)=10 opt(Gamma',K=1,2,3)={1: 9, 2: 10, 3: 10}
path a1-a2-a3: |D|=2 mwc=2 target=6 opt(Gamma)=6 maxsat=6 bb=6 opt(Gamma',K=3|D|+1)=6 opt(Gamma',K=1,2,3)={1: 6, 2: 6, 3: 6}
