scripts: hoffentlich arbeitet bench.sh nun korrekt

[testub10.git] / gesamt / georg_fib_122.instr

diff --git a/gesamt/georg_fib_122.instr b/gesamt/georg_fib_122.instr
index 7b690e22d7d1f4ceb2a8ac9e74af2639d9e1ca77..b80c99c6b45df5634f8354f308bf71b35f017505 100644 (file)
--- a/gesamt/georg_fib_122.instr
+++ b/gesamt/georg_fib_122.instr
@@ -1 +1 @@
-4574
+5046