From 5520d8d001c378a70cd943e22380d1efa91c2c80 Mon Sep 17 00:00:00 2001
From: Eugen Betke <betke@dkrz.de>
Date: Thu, 6 Dec 2018 19:56:00 +0100
Subject: [PATCH] Show IME results

---
 benchmark/print_ime_results.sh | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 benchmark/print_ime_results.sh

diff --git a/benchmark/print_ime_results.sh b/benchmark/print_ime_results.sh
new file mode 100644
index 000000000..7c91ccd0d
--- /dev/null
+++ b/benchmark/print_ime_results.sh
@@ -0,0 +1 @@
+sqlite3 results.db "select * from p where api=\"ime\" and iteration<3 and access==\"write\" order by t,iteration" | column -s"|" -t | head