Index: /reasoner/evaluation.tex
===================================================================
--- /reasoner/evaluation.tex	(revision 260)
+++ /reasoner/evaluation.tex	(revision 261)
@@ -234,4 +234,5 @@
 \begin{itemize}
   \item min always 0, average of averages, similar max but left out digits
+  \item some tests on Jenkins are disabled
   \item reasoner 1.3.0 is faster and produces less constraints/re-evaluations although being more complete. 
   \item reasoner 1.1.0 produces ineffective and less complex constraints that can be evaluated faster