Boolean ResultProbe.IsSolved { get; }