use Div encoder for benchmarking