Added results from new improved solvers