Fixed dof_encoder3 + minor changes to decoding_time benchmark