Commit 62005eae authored by Remi Oudin's avatar Remi Oudin
Browse files

Who dared to remove my tabular ?

parent a3d84f21
......@@ -279,6 +279,26 @@
suggérée par les auteurs est de trouver une mesure de complexité de la
formule plus pertinente que le rapport clause/littéraux.
\begin{figure}[t]
\centering
\begin{tabular}{c||c|c|c|c|c}
runtime & $\text{Structure}_{V Cr}$ & $\text{Structure}_{V
r}$&$\text{Structure}_{V C}$&$\text{Structure}_{V}$ &
SATzilla \\
\hline
minimum & 0.26 & 0.26 & 0.26 & 0.26 & 0.26 \\
median & 272.62 & 268.10 & 262.02 & 310.27 & 261.84 \\
average & 874.59 & 863.32 & 876.84 & 881.15 & 831.61 \\
stdev & 1199.59 & 1197.70 & 1200.11 & 1207.83 & 1143.55\\
maximum & 4913.23 & 4913.23 & 4913.23 & 4913.23 & 4745.21\\
\hline
\#solved & 285 & 281 & 285 & 281 & 288
\end{tabular}
\caption{Runtime over 300 industrial
instances\cite{Ansotegui2016}}
\end{figure}
\section{Réseaux neuronaux et graphes}
Nous nous sommes également penché vers des méthodes de résolutions des
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment