reencoding benchmarks