You could Also consider the Turek 3D benchmark as a reference solution: http://www.featflow.de/en/benchmarks/cfdbenchmarking/flow/dfg_flow3d.html
I have a code for a slightly newer version of dolfin, dolfinx available here: https://github.com/jorgensd/dolfinx_ipcs/tree/master
There is a mesh there, along with an IPCS solver.