Benchmark specifications

Run make to compile the specifications:

./make

Run the scripts regen-figs if you want to re-generate the figures and tables:

./regen-figs

Install latex packages:

sudo apt-get install texlive-full

sudo apt-get install texlive-latex-base texlive-latex-extra texlive-fonts-extra texlive-fonts-recommended texlive-science