#!/usr/bin/awk -f

{ sub(/\r/, ""); }

/^File name:/ {
  file = $3;
}

/^Primitive Name:/ {
  name = $3;
}

/^Key size:/ { 
  keysize = $3;
}

/^IV size:/ { 
  ivsize = $3;
}

/^Testing.*:/ {
  test = $2;
}

/Simple Imix/ {
  test = "imix";
}

/cycles\/byte/ {
  cycles[test] = $4;
}

/End of performance measurements/ {
  print name " " keysize " " ivsize ": " cycles["stream"] " " cycles["imix"] \
    " " file;
}