Index: /reasoner/evaluation.tex
===================================================================
--- /reasoner/evaluation.tex	(revision 270)
+++ /reasoner/evaluation.tex	(revision 271)
@@ -225,5 +225,5 @@
 5 & \ref{jenkinsId}        & 1.3.0 & 1.8.0   & 427 & 13  & 480      & 53     & 6000     & 494  & 19466 & 104\\
 6 & \ref{piId}                & 1.1.0 & 1.8.0   & 400 & 548 & 28613 & 723   & 24110   & 1092 & 46477 & 366\\
-7 & \ref{piId}                & 1.3.0 & 1.8.0   & 433 & 255 & 6117   & 53     & 6000     & 815   & 23708 &\\
+7 & \ref{piId}                & 1.3.0 & 1.8.0   & 433 & 181 & 6065   & 53     & 6000     & 603   & 23706 & 795\\
 \hline
 \end{tabular}
@@ -375,9 +375,9 @@
 \begin{figure}[!htb]
   \centering
-  \includegraphics[scale=\evalPDFscale]{figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_reasoningTime_all.pdf}
-  \hfill
-  \includegraphics[scale=\evalPDFscale]{figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_translationTime_all.pdf}
-  \hfill
-  \includegraphics[scale=\evalPDFscale]{figures/benchmark-results-pi-1_3_0-jdk1_8-20190219_evaluationTime_all.pdf}
+  \includegraphics[scale=\evalPDFscale]{figures/benchmark-results-pi-1_3_0-jdk1_8-20190308_reasoningTime_all.pdf}
+  \hfill
+  \includegraphics[scale=\evalPDFscale]{figures/benchmark-results-pi-1_3_0-jdk1_8-20190308_translationTime_all.pdf}
+  \hfill
+  \includegraphics[scale=\evalPDFscale]{figures/benchmark-results-pi-1_3_0-jdk1_8-20190308_evaluationTime_all.pdf}
   \caption{Reasoner 1.30 on a Pi 3 using Oracle JDK 1.8. \TBD{still old}}\label{fig:pi-1_30-jdk8}
 \end{figure}
Index: /reasoner/measures/log.txt
===================================================================
--- /reasoner/measures/log.txt	(revision 270)
+++ /reasoner/measures/log.txt	(revision 271)
@@ -77,2 +77,15 @@
 [1] "constraints count;0;694.81654676259;24110"
 [1] "reevaluation count;0;1049.49061322371;46483.8"
+[1] "processing folder  W:/offlineFiles/EASy-concepts/reasoner/measures/benchmark-results-pi-1_3_0-jdk1_8-20190308"
+[1] "#tests;433"
+[1] "reasoning time;0;181.128010557572;6065.57142857143"
+[1] "translation time;0;74.8409765753877;2718.71428571429"
+[1] "evaluation time;0;56.2167601451666;2513.85714285714"
+[1] "constraints count;0;52.6235565819861;6000"
+[1] "reevaluation count;0;603.296106895414;23706.4285714286"
+[1] "#tests;450"
+[1] "reasoning time;0.0285714285714286;175.39073015873;6069.42857142857"
+[1] "translation time;0;72.600253968254;2752.11428571429"
+[1] "evaluation time;0;54.069873015873;2474.71428571429"
+[1] "constraints count;0;50.9155555555556;6000"
+[1] "reevaluation count;0;581.902253968254;23706.4285714286"