Lines Matching defs:BSolverResult