Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Clarification

  • Loading branch information...
commit a6dc6038f856f2813fda377203c69bb9b6e9474e 1 parent 8731714
@gilith gilith authored
Showing with 8 additions and 8 deletions.
  1. +8 −8 paper.tex
View
16 paper.tex
@@ -153,17 +153,17 @@ \section{Preliminary Performance Results}
\begin{center}
\begin{tabular}{||@{~}l@{~}||@{}l@{~}r@{~}|@{~}r@{~}l@{}||@{~}r@{~}||@{}l@{~}r@{~}|@{~}r@{~}l@{}||@{~}r@{~}||r@{~}||}
\hline
-\textbf{Problem} & & \multicolumn{2}{c}{\textbf{Goal}} & & \textbf{Web} & & \multicolumn{2}{c}{\textbf{Proof}} & & \textbf{Total} & \textbf{Local} \\
+\textbf{Tactic-} & & \multicolumn{2}{c}{\textbf{Goal}} & & \textbf{Web} & & \multicolumn{2}{c}{\textbf{Proof}} & & \textbf{Total} & \textbf{Local} \\
\cline{2-4} \cline{7-9}
-\textbf{Name} & & \textbf{Size} & \textbf{Time} & & \textbf{Time} & & \textbf{Size} & \textbf{Time} & & \textbf{Time} & \textbf{Time} \\
+\textbf{Problem} & & \textbf{Size} & \textbf{Time} & & \textbf{Time} & & \textbf{Size} & \textbf{Time} & & \textbf{Time} & \textbf{Time} \\
& & \textbf{(b)} & \textbf{(s)} & & \textbf{(s)} & & \textbf{(b)} & \textbf{(s)} & & \textbf{(s)} & \textbf{(s)} \\
\hline
-QBF${}_1$ & & 927 & 0.001 & & 1.064 & & 10,991 & 0.022 & & 1.088 & 0.002\\
-QBF${}_2$ & & 1,474 & 0.001 & & 1.892 & & 79,944 & 0.139 & & 2.034 & 0.024\\
-QBF${}_3$ & & 1,546 & 0.001 & & 1.821 & & 91,639 & 0.172 & & 1.996 & 0.024\\
-SKICo${}_1$ & & 927 & 0.001 & & 1.212 & & 20,047 & 0.041 & & 1.255 & 0.000\\
-SKICo${}_2$ & & 1,474 & 0.002 & & 1.557 & & 52,249 & 0.113 & & 1.673 & 0.001\\
-SKICo${}_3$ & & 1,546 & 0.002 & & 1.716 & & 60,642 & 0.125 & & 1.844 & 0.005\\
+QBF-1 & & 927 & 0.001 & & 1.064 & & 10,991 & 0.022 & & 1.088 & 0.002\\
+QBF-2 & & 1,474 & 0.001 & & 1.892 & & 79,944 & 0.139 & & 2.034 & 0.024\\
+QBF-3 & & 1,546 & 0.001 & & 1.821 & & 91,639 & 0.172 & & 1.996 & 0.024\\
+SKICo-1 & & 927 & 0.001 & & 1.212 & & 20,047 & 0.041 & & 1.255 & 0.000\\
+SKICo-2 & & 1,474 & 0.002 & & 1.557 & & 52,249 & 0.113 & & 1.673 & 0.001\\
+SKICo-3 & & 1,546 & 0.002 & & 1.716 & & 60,642 & 0.125 & & 1.844 & 0.005\\
\hline
\end{tabular}
\end{center}
Please sign in to comment.
Something went wrong with that request. Please try again.