small fixes

.dockerignore

@@ -25,4 +25,4 @@
 **/*.pdf
 **/*.tar
 docker-output
-README.md
\ No newline at end of file
+rpg-stela-docker.tar

benchmarking/run.sh

@@ -87,7 +87,7 @@ execute_file() {
     shortname=$(basename "$filename" | sed 's/\.[^.]*$//')
 
     ### details about the benchmark ###
-    if grep -q "Real" <<< "$content"; then
+    if grep -q "Real" < "$filename"; then
         domain="R"
     else
         domain="Z"