Boolean StressToolResult.IsSolved { get; }