scripts: hoffentlich arbeitet bench.sh nun korrekt
[testub10.git] / gesamt / intelli_00.instr
index b6a7d89c68e0ca66e96a9a51892cc33db66fb8a3..b1bd38b62a0800a4f6a80c34e21c5acffae52c7e 100644 (file)
@@ -1 +1 @@
-16
+13