\documentclass[pldi]{sigplanconf}

\usepackage{array}
\usepackage{booktabs}
\usepackage{algorithm}
\usepackage{amsmath}
\usepackage{amsthm}
\usepackage{graphicx}
\usepackage{multirow}
\usepackage{pifont}
\usepackage{stmaryrd}
\usepackage{xspace}

\usepackage[colorlinks=true,allcolors=blue,breaklinks,draft=false]{hyperref}

\newcommand{\psharp}{\texorpdfstring{P\#\xspace}{P\#\xspace}}

\newcommand{\caseStudy}{AsyncSystem\xspace}
\newcommand{\benchmarkSuite}{PSharpBench\xspace}
\newcommand{\soterSuite}{SOTER--\psharp}

\newcommand{\cmark}{\ding{51}}
\newcommand{\xmark}{\ding{55}}

\begin{document}

\newcommand{\colspacing}{\hspace{1.8em}}
\begin{table*}[t]
\small
\centering
\begin{tabular}{cl rrrr rrrr rr}
\centering
\input{analysis_table.tex}
\end{tabular}
\caption{Verification and runtime results from using the \psharp static analyzer on all our benchmarks. Only the \benchmarkSuite suite has both non-racy and racy versions. All reported times are in seconds and averages of 10 executions. We also report program statistics for the non-racy benchmarks: lines of \psharp code (LoC); number of machines (\#M); number of state transitions (\#ST); and number of action bindings (\#AB) (these numbers are statically derived from the source code)}
\end{table*}

\end{document}
