Streaming vs Downloading for short videos on iOS

I have a bunch of videos that I need to play in an iOS app and I'm trying to decide which format to use.

All the videos are about 10-15s long - will HLS streaming be faster / less data intensive, or is there a bottom duration threshold where downloading the whole video as an MP4 would actually be faster?