Report results meaningfully when SHRINK_TO_MEM and/or OVERLOAD_CORES are set to 1

docker/repro

@@ -30,11 +30,21 @@ echo
 echo
 echo "=== Figure 6 Public channel ==="
 echo
-( head -1 public.csv ; grep ^1048576 public.csv | grep ,1,256 | sort -t, -n -k2,2 ) | cut -d, -f1-7
+( head -1 public.csv ; grep ,1,256 public.csv | sort -t, -n -k2,2 ) | cut -d, -f1-7
 echo
 echo "=== Figure 6 Private channel ==="
 echo
-( head -1 private.csv ; grep ^1048576 private.csv | grep ,1,256 | sort -t, -n -k2,2 ) | cut -d, -f1-7
+( head -1 private.csv ; grep ,1,256 private.csv | sort -t, -n -k2,2 ) | cut -d, -f1-7
 echo
+if [ "$OVERLOAD_CORES" == "1" ]; then
+    echo "*** Reminder: OVERLOAD_CORES is set to 1; performance may be lowered"
+    echo "*** as compared to the values reported in the paper"
+    echo
+fi
+if [ "$SHRINK_TO_MEM" != "" ]; then
+    echo "*** Reminder: SHRINK_TO_MEM is set to 1; experiments may be smaller"
+    echo "*** than the ones reported in the paper"
+    echo
+fi
 
 ./stop-docker >/dev/null