Symbol: BSolverResult