lower the times to something more maintainable

3 files changed, 5 insertions, 5 deletions

diff --git a/progs/bench/fib.sy b/progs/bench/fib.sy
index a6504bf..bd1aaa4 100644
--- a/progs/bench/fib.sy
+++ b/progs/bench/fib.sy
@@ -7,4 +7,4 @@ fib :: fn a:int -> int {
     ret fib(a - 1) + fib(a - 2)
 }
 // 23 is around where things start getting slow.
-fib(28) <=> 317811
+fib(23) <=> 28657
diff --git a/progs/bench/fib_iter.sy b/progs/bench/fib_iter.sy
index b6ff3d8..0e188e8 100644
--- a/progs/bench/fib_iter.sy
+++ b/progs/bench/fib_iter.sy
@@ -1,7 +1,7 @@
 // A fibonacci implementation that is a little
-// less awefull. But we run it 10000 times instead.
+// less awefull. But we run it 1000 times instead.
 j := 0
-for , j < 10000, j = j + 1 {
+for , j < 1000, j = j + 1 {
     a := 0
     b := 1
 
diff --git a/progs/bench/sum.sy b/progs/bench/sum.sy
index bf3a867..bb6870f 100644
--- a/progs/bench/sum.sy
+++ b/progs/bench/sum.sy
@@ -1,6 +1,6 @@
 // Adds the numbers 0 to 10000
 sum := 0
-for i := 0, i <= 1000000, i += 1 {
+for i := 0, i <= 100000, i += 1 {
     sum += i
 }
-sum <=> 500000500000
+sum <=> 5000050000