Weak solutions of the Navier-Stokes equations may be smooth for a.e. time

In a recent result, Buckmaster and Vicol proved non-uniqueness of weak solutions to the Navier-Stokes equations which have bounded kinetic energy and integrable vorticity.

We discuss the existence of such solutions, which in addition are regular outside a set of times of dimension less than 1.