Boolean StressResult.IsSolved { get; }