Computed Hilbert 9

It took 1 hour, 33 minutes and 15.57 seconds.