From 8f7a95f518dacaaef406637d64c40a149bdb500a Mon Sep 17 00:00:00 2001
From: Stefan Brass <stefan.brass@informatik.uni-halle.de>
Date: Wed, 1 May 2019 13:13:54 +0200
Subject: [PATCH] opt RUNS

---
 opt/RUNS | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/opt/RUNS b/opt/RUNS
index 7f70aa5..9ae2008 100644
--- a/opt/RUNS
+++ b/opt/RUNS
@@ -25,3 +25,5 @@
 
 # 121072913001
 ./opt sqlite3 Startup=0-200 LoadX=0-500 RuleApp=0-800 Result=0-1500 >SQLITE &
+# The same with timestamp output:
+(date; ./opt sqlite3 Startup=0-200 LoadX=0-500 RuleApp=0-800 Result=0-1500; date) >SQLITE &
-- 
GitLab