FIX a typo mistake of record
ADD benchmarks for int timsort
FIX a typo mistake of tim as time