\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}

\setlength{\tabcolsep}{.42em}
\begin{table*}[t]
\small
\centering
\begin{tabular}{lr rrrr rrr rrrr}
\centering
\input{testing_table.tex}
\end{tabular}
\caption{Results from applying CHESS and the embedded \psharp schedulers on buggy \benchmarkSuite programs for at most 10,000 executions with a 5 minute time limit. We run CHESS in two modes: with its data race detection on (RD-on) and with its data race detection off (RD-off). We report: number of threads per execution (\#T); number of scheduling points (\#SP); number of explored schedules per second (\#Sch/sec); and percentage of buggy schedules (\%Buggy)}
\end{table*}

\end{document}
