Rotation speed?

I don’t see an option to set the speed of the carousel, and I’m not even sure it auto-rotates. Is this manual only/how can I set the speed at which images rotate?

Thanks.

http://ww.wp.xz.cn/extend/plugins/carousel-without-jetpack/