update benchmark result

Author: reb-ddm

examples/benchmarks/incremental-KaSa/output/experiments_output.tex

@@ -5,20 +5,20 @@
 \begin{table}[ht]
 \centering
 \small
-\begin{tabular}{l c c c c c c c c c c c c}
+\begin{tabular}{l c c c c c c c c c}
 \toprule
-\textbf{Model} & \textbf{Nr. of rules} & \multicolumn{3}{c}{\textbf{full}} & \multicolumn{3}{c}{\textbf{partial}} & \multicolumn{5}{c}{\textbf{incremental}} \\
-\cmidrule(lr){3-5}
-\cmidrule(lr){6-8}
-\cmidrule(lr){9-13}
-& & \bfseries\shortstack{Init} & \bfseries\shortstack{Fixpoint} & \bfseries\shortstack{Print} & \bfseries\shortstack{Init} & \bfseries\shortstack{Fixpoint} & \bfseries\shortstack{Print} & \bfseries\shortstack{Init} & \bfseries\shortstack{Fixpoint} & \bfseries\shortstack{Print} & \bfseries\shortstack{Disable\\rules} & \bfseries\shortstack{Print} \\
+\textbf{Model} & \textbf{Nr. of rules} & \multicolumn{2}{c}{\textbf{full}} & \multicolumn{2}{c}{\textbf{partial}} & \multicolumn{4}{c}{\textbf{incremental}} \\
+\cmidrule(lr){3-4}
+\cmidrule(lr){5-6}
+\cmidrule(lr){7-10}
+& & \bfseries\shortstack{static\\analysis} & \bfseries\shortstack{print\\result} & \bfseries\shortstack{static\\analysis} & \bfseries\shortstack{print\\result} & \bfseries\shortstack{static\\analysis} & \bfseries\shortstack{print\\result} & \bfseries\shortstack{activate/\\deactivate} & \bfseries\shortstack{print\\result} \\
 \midrule
-\texttt{korkut\_20170113} & 3915 & 18.5 & 6.31 & 0.296 & 18.4 & 6.25 & 0.308 & 19.8 & 6.47 & 0.324 & 0.0192 & 0.323 \\
-\texttt{korkut\_20170206} & 5749 & 142 & 54.7 & 0.85 & 142 & 54.3 & 0.86 & 413 & 58.2 & 0.833 & 0.0376 & 0.827 \\
-\texttt{tgf\_20180419} & 291 & 1.38 & 0.744 & 0.0112 & 1.27 & 0.662 & 0.0152 & 3.39 & 1.01 & 0.0176 & 0.024 & 0.0084 \\
-\texttt{tgf\_v19} & 96 & 0.417 & 0.288 & 0.0144 & 0.312 & 0.218 & 0.0124 & 0.869 & 0.601 & 0.0316 & 0.0776 & 0.0076 \\
-\texttt{wnt\_20151228} & 355 & 1.68 & 1.86 & 2.59 & 1.59 & 1.73 & 1.81 & 2.28 & 2.6 & 2.91 & 0.434 & 0.028 \\
-\texttt{wnt\_20170322} & 1469 & 12.3 & 15.7 & 0.0328 & 12.3 & 15.6 & 0.0456 & 15.1 & 16.6 & 0.0612 & 0.0988 & 0.0172 \\
+\texttt{korkut\_20170113} & 3915 & 24.8 & 0.295 & 24.7 & 0.309 & 26.2 & 0.328 & 0.032 & 0.326 \\
+\texttt{korkut\_20170206} & 5749 & 198 & 0.869 & 196 & 0.847 & 472 & 0.847 & 0.0668 & 0.828 \\
+\texttt{tgf\_20180419} & 291 & 2.13 & 0.0124 & 1.9 & 0.0136 & 4.43 & 0.0172 & 0.0304 & 0.0076 \\
+\texttt{tgf\_v19} & 96 & 0.709 & 0.0168 & 0.52 & 0.014 & 1.5 & 0.0332 & 0.1 & 0.006 \\
+\texttt{wnt\_20151228} & 355 & 3.53 & 2.6 & 3.33 & 1.37 & 5.01 & 3.07 & 0.414 & 0.0304 \\
+\texttt{wnt\_20170322} & 1469 & 28.2 & 0.0336 & 26.9 & 0.0492 & 32.4 & 0.068 & 0.109 & 0.0144 \\
 \bottomrule
 \end{tabular}
 \caption{Timing table}