add a benchmark for double encodings