idris benchmarking