Solving linear programming instances