Adding benchmarking data from maxstation1 (Maxeler FPGA)