benchmark against hilbert (instead of master)