Working on a benchmark to measure decoding time for TSNC