From 79735873d7f1c5af3cadb9bbd789610c9ebeb89b Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 16 Mar 2026 11:13:30 +0100
Subject: [PATCH] Mon 16 Mar 11:13:23 CET 2026

---
 build/benchmark.plx | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 build/benchmark.plx

diff --git a/build/benchmark.plx b/build/benchmark.plx
new file mode 100644
index 0000000..a595ffd
--- /dev/null
+++ b/build/benchmark.plx
@@ -0,0 +1,11 @@
+a=1:b=1:c=1
+t0=millis(1)
+for j=1,1000 {
+  for i=1,10000 {
+    a=a+1
+    b=b+1
+    c=c+1
+  }
+}
+t1=millis(1)
+! t1-t0,"ms"