Add a little more paranoia to the output parser

docker/parse_output

@@ -11,8 +11,14 @@ while(<>) {
     $size = "$1|$2" if /===== Running oram (\d+) (\d+)/;
     $res{$size} = {} unless defined $res{$size};
     $who = $1 if /===== ([CDE]) output/;
-    $mode = $1 if /(Online Time|ETE)/;
-    $res{$size}->{$who.$mode} = $1/1000 if /WC\(ms\): (\d+)/;
+    $mode = $1 if /(Online Time|Offline Time|ETE)/;
+    if(/WC\(ms\): (\d+)/) {
+        if (defined $res{$size}->{$who.$mode}) {
+            print "Redefinition of res{$size}->{$who$mode}\n";
+        } else {
+            $res{$size}->{$who.$mode} = $1/1000
+        }
+    }
 }
 
 sub max3 {