Merge pull request #83 from freespek/igor/report-table

update the figure for C4
freespek · Nov 4, 2024 · 664f668 · 664f668
2 parents 2cc1ae2 + a4e7fc2
commit 664f668
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/EXPERIMENTS.md b/EXPERIMENTS.md
@@ -430,7 +430,7 @@ The table below summarizes the experiments with accountable safety:
 | Instance               | Init    | Invariant         | Memory | Time       |
 |------------------------|---------|-------------------|--------|------------|
 | MC_ffg-b1_ffg5_v12     | Init_C1 | AccountableSafety | 1.2 GB | 11h 31min  |
-| MC_ffg-b3_ffg5_v12     | Init_C4 | AccountableSafety | 1.4 GB | TO (> 6d)  |
+| MC_ffg-b3_ffg5_v12     | Init_C4 | AccountableSafety | 1.4 GB | 6d 16h     |
 | MC_ffg-b3_ffg5_v12     | Init_C2 | AccountableSafety | 1.3 GB | 1day 6h    |
 | MC_ffg-b3_ffg5_v12     | Init_C3 | AccountableSafety | 1.2 GB | 1h 53min   |
 | MC_ffg-b3_ffg5_v12     | Init_C1 | AccountableSafety | 1.5 GB | TO (> 6d)  |

diff --git a/reports/spec4b.tex b/reports/spec4b.tex
@@ -132,13 +132,13 @@ \subsection{Model checking experiments}
             & \texttt{MC\_ffg\_b3\_ffg5\_v12}
             & \texttt{Init\_C4}
             & 1.4 GB
-            & TO ($>6$d)
+            & 6d 15h
             \\
         M4b: Fig.~\ref{fig:four-bottom}
             & \texttt{MC\_ffg\_b3\_ffg5\_v12}
             & \texttt{Init\_C2}
             & 1.3 GB
-            & 1day 6h
+            & 1d 6h
             \\
         M5a: Fig.~\ref{fig:five1}
             & \texttt{MC\_ffg\_b3\_ffg5\_v12}