Fast(er) Reasoning in Interval Temporal Logic