fixpoint algorithm optimised (storing only half of the time stamps, fixpoint acceleration, etc.)