Improvements of the UberSolver