Conclusions on decoding performance

for a given error correction power t, each additional symbol known to the decoder improves the miscorrection margin by about 1.3 dB

assuming ~ 4.5 dB to be a sufficient miscorrection margin, we may: * correct t = 2 if two user symbols (out of 7) are known * correct t = 3 if four user symbols (out of 7) are known