I'm sure Gordon Smyth can provide a far more detailed explanation. But until he can chime in with more detail I'll give it a shot:
From the perspective of the T-test, you have a setup that looks like
y = Xb
where y is the feature response (nx1), X is your treatment matrix (n x k ; binary), and b is the coefficient vector. We'll assume everything is 0 centered.
The least squares operator
is what links the observations to the statistics (indeed, for a constrast design C, the expectation of the statistic is simply
).
This breaks the full set of n observations into k constrained variates (coming from the (k x k) matrix) and n-k residual variates. Critically this does not depend on the structure of X (except in degenerate cases like when the column rank of X is less than k). The "residual variates" can be thought of as the effective sample that determines the (single!) error variance. (Single, here, is important).
In your case, X is binary, and your question is really one about what it means when the two following cases disagree (here I will assume there are only 4 columns in X), and the observations are ordered by condition
Case 1:
C = [1 0 0 -1]; X = [I1, I2, I3, I4] (indicators, block diagonal); Y = [Y1 | Y2 | Y3 | Y4]
Case 2:
C = [1 -1]; X=[I1, I4] (indicators, block diagonal); Y = [Y1 | Y4]
If there are only differences in mean (homoskedasticity across groups), then Case 2 kills your power for no gain, as you have lost confidence in the error variance, due to the "lost" residual degree of freedom.
If there are differences in mean and variance (heteroskedasticity), then Case 1 will appear to kill your power, since high-variance groups will increase the estimate of the (assumed to be constant) error variance.
In your case, feature 1 looks by eye to be heteroskedastic, with treatments 13, 14, and 16 clearly having larger errors than the others. I think it's this increase in overall variance (driven by a few groups) that is leading to the results you observe, and that it has little to do with loss of degrees of freedom due to missing values.
In general, if you feel like you're getting "better results" by treating groups in a pairwise fashion - it's probably a good bet that the groups are heteroskedastic.