The above seems like a pretty usual time for Full Autonomy; I've only beaten the full game once so far, and it took 7 hours 58 minutes and 10 seconds to beat completely.
I've heard some people can do the whole thing in four hours; I'm far along in my second playthrough right now, we'll see!