experiments output with 30 rules in working set

Author: reb-ddm

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

@@ -13,10 +13,10 @@
 \cmidrule(lr){9-12}
 & & \bfseries\shortstack{Domain\\initialization} & \bfseries\shortstack{Initial\\state} & \bfseries\shortstack{Fixpoint} & \bfseries\shortstack{Domain\\initialization} & \bfseries\shortstack{Initial\\state} & \bfseries\shortstack{Fixpoint} & \bfseries\shortstack{Domain\\initialization} & \bfseries\shortstack{Initial\\state} & \bfseries\shortstack{Fixpoint} & \bfseries\shortstack{Disable\\rules} \\
 \midrule
-\texttt{korkut\_20170113} & 3915 & 14.2 & 4.21 & 6.27 & 14.1 & 4.16 & 6.23 & 16.9 & 4.46 & 6.72 & 0.024 \\
-\texttt{korkut\_20170206} & 5749 & 117 & 23.7 & 54.2 & 117 & 23.1 & 52.7 & 727 & 28.5 & 62 & 0.0464 \\
-\texttt{wnt\_20151228} & 355 & 1.57 & 0.0928 & 1.85 & 1.46 & 0.0828 & 1.43 & 2.94 & 0.0844 & 3.78 & 0.56 \\
-\texttt{wnt\_20170322} & 1469 & 11.3 & 0.938 & 15.4 & 11.2 & 0.928 & 14.4 & 17.8 & 0.851 & 16.9 & 0.16 \\
+\texttt{korkut\_20170113} & 3915 & 14.3 & 4.23 & 6.31 & 14.2 & 4.22 & 6.27 & 18.8 & 4.9 & 7.63 & 0.0236 \\
+\texttt{korkut\_20170206} & 5749 & 118 & 23.8 & 54.2 & 114 & 23.2 & 53 & 1.1e+03 & 33.9 & 69.9 & 0.0768 \\
+\texttt{wnt\_20151228} & 355 & 1.58 & 0.0916 & 1.86 & 1.38 & 0.08 & 1.41 & 3.76 & 0.0868 & 5.62 & 0.844 \\
+\texttt{wnt\_20170322} & 1469 & 11.4 & 0.939 & 15.7 & 11.1 & 0.926 & 13 & 21.7 & 0.858 & 18.5 & 0.252 \\
 \bottomrule
 \end{tabular}
 \caption{Timing table}