No thread version, functional
Timed Analysis, functional