Fix the diagram

1 files changed, 12 insertions, 11 deletions

diff --git a/eval.tex b/eval.tex
index 7449fd2..5c76b9e 100644
--- a/eval.tex
+++ b/eval.tex
@@ -22,11 +22,11 @@ However, we were able to manually reproduce all the bugs found in LegUp 4.0 in L
     \begin{tikzpicture}[scale=0.61]
       \draw (-7.2,7.0) rectangle (7.2,0.7);
       \fill[vivado,fill opacity=0.5] (0.5,4.4) ellipse (3.75 and 1.5);
-      \fill[intel,fill opacity=0.5] (-5,4.4) ellipse (1.5 and 1.5);
+      \fill[intel,fill opacity=0.5] (-4,4.8) ellipse (2.5 and 1.3);
       \fill[bambu,fill opacity=0.5] (2.5,3) ellipse (3.75 and 1.5);
       \fill[legup,fill opacity=0.5] (-2.5,3) ellipse (3.75 and 1.5);
       \draw[white, thick] (0.5,4.4) ellipse (3.75 and 1.5);
-      \draw[white, thick] (-5,4.4) ellipse (1.5 and 1.5);
+      \draw[white, thick] (-4,4.8) ellipse (2.5 and 1.3);
       \draw[white, thick] (2.5,3) ellipse (3.75 and 1.5);
       \draw[white, thick] (-2.5,3) ellipse (3.75 and 1.5);
       \node[align=center, anchor=south west] at (-0.5,6) {\textcolor{vivado}{\bf Xilinx Vivado HLS v2019.1}};
@@ -34,15 +34,16 @@ However, we were able to manually reproduce all the bugs found in LegUp 4.0 in L
       \node at (-3,1.1) {\textcolor{legup}{\bf LegUp 4.0}};
       \node at (3,1.1) {\textcolor{bambu}{\bf Bambu PandA 0.9.7}};
 
-      \node at (-3.5,2.5) {159};
-      \node at (-5.5,5) {26};
-      \node at (-5,3.5) {1};
-      \node at (-2,3.8) {4};
-      \node at (0,2.5) {3};
-      \node at (3.5,2.5) {906};
-      \node at (2.5,3.8) {9};
-      \node at (0,5) {70};
-      \node at (-6,1.4) {5856};
+      \node at (-3.5,2.5) {\small 159 (\textcolor{timeout}{4})};
+      \node at (-5,5) {\small 26 (\textcolor{timeout}{540})};
+      \node at (-4,3.9) {\small 1 (\textcolor{timeout}{1})};
+      \node at (-2.3,4.8) {\small 0 (\textcolor{timeout}{5})};
+      \node at (-1.5,3.8) {\small 4 (\textcolor{timeout}{0})};
+      \node at (0,2.5) {\small 3 (\textcolor{timeout}{2})};
+      \node at (3.5,2.5) {\small 906 (\textcolor{timeout}{14})};
+      \node at (2.5,3.8) {\small 9 (\textcolor{timeout}{0})};
+      \node at (0,5) {\small 70 (\textcolor{timeout}{20})};
+      \node at (-6,1.4) {4936};
     \end{tikzpicture}
 \caption{The number of failures per tool out of \totaltestcases{} test-cases. Overlapping regions mean that the same test-cases failed in multiple tools. The numbers in parentheses report how many test-cases timed out.}\label{fig:existing_tools}
 \end{figure}