Class TabulationSolver.Result