% This is the latex source of the appendix for
% Satisfiability Papers. 
% 
% This may be edited later to report a standardized
% result.  For now, just include your raw data.
%
\documentstyle{article}
\topmargin 0pt
\advance \topmargin by -\headheight
\advance \topmargin by -\headsep
     
\textheight 8.9in
     
\oddsidemargin 0pt
\evensidemargin \oddsidemargin
\marginparwidth 0.5in
     
\textwidth 6.5in
\begin{document}
\centerline{\bf Second DIMACS Challenge}
\centerline{Satisfiability Benchmark Results}
\noindent{\it GENERAL INFORMATION}\par
{\it Authors: }    \par
{\it Title: }      \par
{\it Name of Algorithm: }       \par
%        The brief description should be just a few words, but should
%        begin with whether your algorithm is complete or not.  Examples:
%        Complete: polyhedral cutting approach
%        Incomplete: simulated annealing with restart
{\it Brief Description of Algorithm: } \par

\bigskip
\noindent{\it Type of Machine: } \par
\noindent{\it Compiler and flags used: } \par

\bigskip
\noindent{\it MACHINE BENCHMARKS}

{\it User time for instances:}

\begin{center}
\begin{tabular}{rrrrr}\hline
{\tt r100.5}&{\tt r200.5}&{\tt r300.5}&{\tt r400.5}&{\tt
  r500.5}\\
%Times for five clique instances in machine benchmark here.
%If not run, leave blank
   &   &   &  &   \\\hline
\end{tabular}
\end{center}

\bigskip
\noindent{\it ALGORITHM BENCHMARKS}

{\it Authors' Comments:}

\newpage
{\it Results on Benchmark Instances:}

%
% Please see the file instruct.tex for specific information
% on filling out this table
%
\begin{tabular}[htbp]{c|c|ccc|c}
  &    &\multicolumn{3}{c|}{Time}&\\
Name&Runs (Fail)&Min&Avg (Std. Dev.)&Max&Result\\\hline
{\tt aim-100-2\_0-no-1}& & & & \\
{\tt aim-100-2\_0-no-2}& & & & \\
{\tt aim-100-2\_0-no-3}& & & & \\
{\tt aim-100-2\_0-no-4}& & & & \\
{\tt aim-100-2\_0-yes1-1}& & & & \\
{\tt aim-100-2\_0-yes1-2}& & & & \\
{\tt aim-100-2\_0-yes1-3}& & & & \\
{\tt aim-100-2\_0-yes1-4}& & & & \\
{\tt bf0432-007.cnf}& & & & \\
{\tt bf2670-001.cnf}& & & & \\
{\tt dubois20.cnf}& & & & \\
{\tt dubois21.cnf}& & & & \\
{\tt f400.cnf}& & & & \\
{\tt f800.cnf}& & & & \\
{\tt f1600.cnf}& & & & \\
{\tt f3200.cnf}& & & & \\
{\tt f6400.cnf}& & & & \\
{\tt g125.17.cnf}& & & & \\
{\tt g125.18.cnf}& & & & \\
{\tt g250.15.cnf}& & & & \\
{\tt g250.29.cnf}& & & & \\
{\tt ii32b3.cnf}& & & & \\
{\tt ii32c3.cnf}& & & & \\
{\tt ii32d3.cnf}& & & & \\
{\tt ii32e3.cnf}& & & & \\
{\tt par16-2-c.cnf}& & & & \\
{\tt par16-4-c.cnf}& & & & \\
{\tt par32-2-c.cnf}& & & & \\
{\tt par32-4-c.cnf}& & & & \\
{\tt par8-2-c.cnf}& & & & \\
{\tt par8-4-c.cnf}& & & & \\
{\tt pret150\_25.cnf}& & & & \\
{\tt pret150\_75.cnf}& & & & \\
{\tt pret60\_25.cnf}& & & & \\
{\tt pret60\_75.cnf}& & & & \\
{\tt ssa0432-003.cnf}& & & & \\
{\tt ssa2670-141.cnf}& & & & \\
{\tt ssa7552-038.cnf}& & & & \\
{\tt ssa7552-158.cnf}& & & & \\
{\tt ssa7552-159.cnf}& & & & \\
{\tt ssa7552-160.cnf}& & & & \\
\end{tabular}



\end{document}