benchmarks

Author: Jérôme FERET

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

@@ -7,20 +7,20 @@
 \cmidrule(lr){4-6}
 & & \bfseries\shortstack{analysis} & \bfseries\shortstack{initial\\analysis} & \bfseries\shortstack{disable\\rules} & \bfseries\shortstack{add\\a rule}\\
 \midrule
-\texttt{tgf\_v19} & 96 & 0.0827 & 0.132 & 0.0114 & 0.0436 \\
-\texttt{tgf\_20180419} & 291 & 0.212 & 0.244 & 0.00675 & 0.0849 \\
-\texttt{wnt\_20151228} & 355 & 0.94 & 1.09 & 0.0613 & 0.339 \\
-\texttt{wnt\_20170322} & 1469 & 3.65 & 3.9 & 0.0208 & 1.72 \\
-\texttt{korkut\_20170113} & 3915 & 3.33 & 3.36 & 0.0759 & 0.122 \\
-\texttt{korkut\_20170206} & 5749 & 13.9 & 13.8 & 0.206 & 1.2 \\
+\texttt{tgf\_v19} & 96 & 0.0772 & 0.116 & 0.0128 & 0.0381 \\
+\texttt{tgf\_20180419} & 291 & 0.2 & 0.227 & 0.00479 & 0.0868 \\
+\texttt{wnt\_20151228} & 355 & 0.895 & 1.02 & 0.0655 & 0.364 \\
+\texttt{wnt\_20170322} & 1469 & 3.54 & 3.86 & 0.0125 & 1.59 \\
+\texttt{korkut\_20170113} & 3915 & 3.22 & 3.24 & 0.0737 & 0.119 \\
+\texttt{korkut\_20170206} & 5749 & 13.4 & 13.5 & 0.2 & 1.18 \\
 \bottomrule
 \end{tabular}
 \AltTextCMSB{
 The table shows the number of rules and the runtimes of the evaluation for 6 models from the literature. 
-The model tgf\_v19 has 96 rules. The non-incremental analysis took 0.0827 seconds. The incremental initial analysis took 0.132 seconds. Disabling 10 rules took 0.0114 seconds. Adding a rule took 0.0436 seconds. 
-The model tgf\_20180419 has 291 rules. The non-incremental analysis took 0.212 seconds. The incremental initial analysis took 0.244 seconds. Disabling 10 rules took 0.00675 seconds. Adding a rule took 0.0849 seconds. 
-The model wnt\_20151228 has 355 rules. The non-incremental analysis took 0.94 seconds. The incremental initial analysis took 1.09 seconds. Disabling 10 rules took 0.0613 seconds. Adding a rule took 0.339 seconds. 
-The model wnt\_20170322 has 1469 rules. The non-incremental analysis took 3.65 seconds. The incremental initial analysis took 3.9 seconds. Disabling 10 rules took 0.0208 seconds. Adding a rule took 1.72 seconds. 
-The model korkut\_20170113 has 3915 rules. The non-incremental analysis took 3.33 seconds. The incremental initial analysis took 3.36 seconds. Disabling 10 rules took 0.0759 seconds. Adding a rule took 0.122 seconds. 
-The model korkut\_20170206 has 5749 rules. The non-incremental analysis took 13.9 seconds. The incremental initial analysis took 13.8 seconds. Disabling 10 rules took 0.206 seconds. Adding a rule took 1.2 seconds. 
+The model tgf\_v19 has 96 rules. The non-incremental analysis took 0.0772 seconds. The incremental initial analysis took 0.116 seconds. Disabling 10 rules took 0.0128 seconds. Adding a rule took 0.0381 seconds. 
+The model tgf\_20180419 has 291 rules. The non-incremental analysis took 0.2 seconds. The incremental initial analysis took 0.227 seconds. Disabling 10 rules took 0.00479 seconds. Adding a rule took 0.0868 seconds. 
+The model wnt\_20151228 has 355 rules. The non-incremental analysis took 0.895 seconds. The incremental initial analysis took 1.02 seconds. Disabling 10 rules took 0.0655 seconds. Adding a rule took 0.364 seconds. 
+The model wnt\_20170322 has 1469 rules. The non-incremental analysis took 3.54 seconds. The incremental initial analysis took 3.86 seconds. Disabling 10 rules took 0.0125 seconds. Adding a rule took 1.59 seconds. 
+The model korkut\_20170113 has 3915 rules. The non-incremental analysis took 3.22 seconds. The incremental initial analysis took 3.24 seconds. Disabling 10 rules took 0.0737 seconds. Adding a rule took 0.119 seconds. 
+The model korkut\_20170206 has 5749 rules. The non-incremental analysis took 13.4 seconds. The incremental initial analysis took 13.5 seconds. Disabling 10 rules took 0.2 seconds. Adding a rule took 1.18 seconds. 
 }