Update STHbench-Dev012.11.sh

Redis benchmark from 18 min to 3 min in this version.