Double StressResult.Probability { get; }