diff --git a/opt/RUNS b/opt/RUNS
index 7f70aa523af9e9825b74185a38fc1b6667e645a2..9ae2008c999252b72f26b57c19d6c5072fe0498e 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 &