bugfix; time discriminant had wrong sign and did not work therefore

Change-Id: I554c6901e0824f13a5bfbc4fe69719b9a15f96f0