Weak solutions to the Navier-Stokes equations constructed by semi-discretization are suitable