The results in the blog post were produced with make bench The benchmarks use the tailfin benchmark harness.