\newcommand{\numTotalBenchmarks}{44\xspace}
\newcommand{\numNASBench}{6\xspace}
\newcommand{\numPolybenchBench}{28\xspace}
\newcommand{\numRodiniaBench}{10\xspace}

\newcommand{\numBenchmarksImproved}{11\xspace}
\newcommand{\numBenchmarksMixed}{2\xspace}
\newcommand{\numBenchmarksGreat}{6\xspace}
\newcommand{\numBenchmarksPerfect}{5\xspace}
\newcommand{\pctBenchmarksPerfect}{21.74\%\xspace}

\newcommand{\avgReexecutions}{2.03\xspace}
\newcommand{\capReexecutions}{20\xspace}

\newcommand{\numSolvedBenchmarks}{21\xspace}
\newcommand{\numInterestingBenchmarks}{23\xspace}

\newcommand{\numMicrobench}{45\xspace}
\newcommand{\numMicrobenchNA}{0\xspace}
\newcommand{\numMicrobenchEFTSanFixed}{39\xspace}
\newcommand{\numMicrobenchInteresting}{6\xspace}
