Richer return result from solver