scripts: hoffentlich arbeitet bench.sh nun korrekt

[testub10.git] / gesamt / georg_fib_102.instr

diff --git a/gesamt/georg_fib_102.instr b/gesamt/georg_fib_102.instr
index 328e4ce676d2b89277cf2e33784d93bc09ee8c35..0cfdca4ca2c793ceea0e49719605309409baf3f9 100644 (file)
--- a/gesamt/georg_fib_102.instr
+++ b/gesamt/georg_fib_102.instr
@@ -1 +1 @@
-3694
+4606