4, and Table 1, is the generic metric for evaluating a partial derivation d which has two implementations (partial bleu or potential bleu).
they evaluate a partial translation through extending it to a complete translation by re-decoding, and thus they need many passes of decoding for many partial translations, while ours only need one pass of decoding for all partial translations and thus is much more efficient.