1 files changed, 15 insertions, 0 deletions
diff --git a/results/scheduler/hint_fw.awk b/results/scheduler/hint_fw.awk
new file mode 100755
index 0000000..594df94
--- /dev/null
+++ b/results/scheduler/hint_fw.awk
@@ -0,0 +1,15 @@
+#!/usr/bin/awk -f
+
+BEGIN {
+    RS="\n"
+    FS=" "
+    CSV_HEADER="node,ts"
+    CSV_DATA=""
+    skip=1
+    print(CSV_HEADER)
+}
+
+/forward a hint successfully/ {
+    gsub("]","",$0)
+    print($4","$2)
+}