correct use of time interval in SpaceEx
The reachable states are only output for the time t in [t1, t2].
Before we overapproximated this with t in [0, t2].