diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 776cec549221207595108e3adaad01d6e8017fd4..142dc0bfca26eb14be51f9c96c5f09ef6e15df49 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -32,7 +32,7 @@ test_benchmark:
   script:
     - docker pull $CONTAINER_TEST_IMAGE
     - docker run $CONTAINER_TEST_IMAGE /ttc18/gradlew benchmarkFull -Pscenario=0,small 2>&1 | tee benchmarkFull.log
-    - grep "BUILD FAILED" benchmarkFull.log; test $? -eq 1
+    - grep -v "BUILD FAILED" benchmarkFull.log
 
 test_unit_tests:
   stage: test
diff --git a/Dockerfile b/Dockerfile
index 71f067a2aa7231b3eb77d9774949690a2472fde8..4681ef2db8338cbce57a22f44eb9ad27e226b39c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -67,3 +67,4 @@ RUN ./gradlew --no-daemon compileJava
 
 #RUN ./gradlew test
 #RUN ./gradlew benchmarkFull -Pscenario=0,small
+#RUN ./gradlew jastadd-mquat-solver-random:test