Started working on specification report generation, updated the benchmarks-from-the-generators