>From 5c56bad538021adfb91fbb6b65ff0b5544f4e849 Mon Sep 17 00:00:00 2001
From: Akira Yokosawa <akiyks@xxxxxxxxx>
Date: Mon, 11 Feb 2019 08:44:25 +0900
Subject: [PATCH 2/3] formal/spinhint: Add column of search depth in Table 12.2
Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx>
---
formal/spinhint.tex | 27 ++++++++++++++-------------
1 file changed, 14 insertions(+), 13 deletions(-)
diff --git a/formal/spinhint.tex b/formal/spinhint.tex
index bbbaa10..deddbbc 100644
--- a/formal/spinhint.tex
+++ b/formal/spinhint.tex
@@ -856,26 +856,27 @@ cc -DSAFETY [-DCOLLAPSE] -o pan pan.c
\begin{table}
\rowcolors{1}{}{lightgray}
\renewcommand*{\arraystretch}{1.2}
-\small
+\footnotesize
\centering
\begin{tabular}{S[table-format = 1.0]S[table-format = 1.0]S[table-format = 9.0]
- S[table-format = 5.1]}
+ S[table-format = 6.0]S[table-format = 5.1]}
\toprule
\multicolumn{1}{r}{updaters} &
\multicolumn{1}{r}{readers} &
\multicolumn{1}{r}{\# states} &
- \multicolumn{1}{r}{MB\footnote{
- Obtained with the compiler flag \co{-DCOLLAPSE}
- specified.}} \\
+ \multicolumn{1}{r}{depth} &
+ \multicolumn{1}{r}{memory (MB)\footnote{
+ Obtained with the compiler flag \co{-DCOLLAPSE}
+ specified.}} \\
\midrule
- 1 & 1 & 376 & 128.7 \\
- 1 & 2 & 6 177 & 128.9 \\
- 1 & 3 & 99 728 & 132.6 \\
- 2 & 1 & 29 399 & 129.8 \\
- 2 & 2 & 1 071 181 & 169.6 \\
- 2 & 3 & 33 866 736 & 1 540.8 \\
- 3 & 1 & 2 749 453 & 236.6 \\
- 3 & 2 & 186 202 860 & 10 483.7 \\
+ 1 & 1 & 376 & 95 & 128.7 \\
+ 1 & 2 & 6 177 & 218 & 128.9 \\
+ 1 & 3 & 99 728 & 385 & 132.6 \\
+ 2 & 1 & 29 399 & 859 & 129.8 \\
+ 2 & 2 & 1 071 181 & 2 352 & 169.6 \\
+ 2 & 3 & 33 866 736 & 12 857 & 1 540.8 \\
+ 3 & 1 & 2 749 453 & 53 809 & 236.6 \\
+ 3 & 2 & 186 202 860 & 328 014 & 10 483.7 \\
\bottomrule
\end{tabular}
\caption{Memory Usage of QRCU Model}
--
2.7.4
