My anecdotal experience ties out with those FWIW.
10x "faster" than that is something targeting an FPGA, and I don't see any Verilog in the repo.
Come on folks, #1?