Index: doc/generic_types/evaluation/Makefile
===================================================================
--- doc/generic_types/evaluation/Makefile	(revision 2f0fc56893ae1bb4b938a671bb0cbd87da24f81f)
+++ doc/generic_types/evaluation/Makefile	(revision 47535a0d20eddfa1887efa7cbf99f719d14c7696)
@@ -55,26 +55,30 @@
 
 run-c: c-bench
+	@echo
 	@echo '## C ##'
-	@./c-bench
-	@printf 'source_size:\t%7d lines\n' `cat c-bench.c bench.h c-stack.h c-stack.c | wc -l`
-	@printf 'binary_size:\t%7d bytes\n' `wc -c < c-bench`
+	@/usr/bin/time -f 'max_memory:\t%M kilobytes' ./c-bench
+	@printf 'source_size:\t%8d lines\n' `cat c-bench.c bench.h c-stack.h c-stack.c | wc -l`
+	@printf 'binary_size:\t%8d bytes\n' `stat -c %s c-bench`
 
 run-cfa: cfa-bench
+	@echo
 	@echo '## Cforall ##'
-	@./cfa-bench
-	@printf 'source_size:\t%7d lines\n' `cat cfa-bench.c bench.h cfa-stack.h cfa-stack.c | wc -l`
-	@printf 'binary_size:\t%7d bytes\n' `wc -c < cfa-bench`
+	@/usr/bin/time -f 'max_memory:\t %M kilobytes' ./cfa-bench
+	@printf 'source_size:\t%8d lines\n' `cat cfa-bench.c bench.h cfa-stack.h cfa-stack.c | wc -l`
+	@printf 'binary_size:\t%8d bytes\n' `stat -c %s cfa-bench`
 
 run-cpp: cpp-bench
+	@echo
 	@echo '## C++ ##'
-	@./cpp-bench
-	@printf 'source_size:\t%7d lines\n' `cat cpp-bench.cpp bench.hpp cpp-stack.hpp | wc -l`
-	@printf 'binary_size:\t%7d bytes\n' `wc -c < cpp-bench`
+	@/usr/bin/time -f 'max_memory:\t %M kilobytes' ./cpp-bench
+	@printf 'source_size:\t%8d lines\n' `cat cpp-bench.cpp bench.hpp cpp-stack.hpp | wc -l`
+	@printf 'binary_size:\t%8d bytes\n' `stat -c %s cpp-bench`
 
 run-cppv: cpp-vbench
+	@echo
 	@echo '## C++ virtual ##'
-	@./cpp-vbench
-	@printf 'source_size:\t%7d lines\n' `cat cpp-vbench.cpp bench.hpp object.hpp cpp-vstack.hpp cpp-vstack.cpp | wc -l`
-	@printf 'binary_size:\t%7d bytes\n' `wc -c < cpp-vbench`
+	@/usr/bin/time -f 'max_memory:\t%M kilobytes' ./cpp-vbench
+	@printf 'source_size:\t%8d lines\n' `cat cpp-vbench.cpp bench.hpp object.hpp cpp-vstack.hpp cpp-vstack.cpp | wc -l`
+	@printf 'binary_size:\t%8d bytes\n' `stat -c %s cpp-vbench`
 
 run: run-c run-cfa run-cpp run-cppv
Index: doc/generic_types/evaluation/bench.h
===================================================================
--- doc/generic_types/evaluation/bench.h	(revision 2f0fc56893ae1bb4b938a671bb0cbd87da24f81f)
+++ doc/generic_types/evaluation/bench.h	(revision 47535a0d20eddfa1887efa7cbf99f719d14c7696)
@@ -4,6 +4,5 @@
 #include <time.h>
 
- #define N 100000000
- 
+#define N 100000000
 
 long ms_between(clock_t start, clock_t end) {
@@ -16,5 +15,5 @@
 	code \
 	_end = clock(); \
-	printf("%s:\t%7ld ms\n", name, ms_between(_start, _end)); \
+	printf("%s:\t%8ld ms\n", name, ms_between(_start, _end)); \
 }
 
Index: doc/generic_types/evaluation/bench.hpp
===================================================================
--- doc/generic_types/evaluation/bench.hpp	(revision 2f0fc56893ae1bb4b938a671bb0cbd87da24f81f)
+++ doc/generic_types/evaluation/bench.hpp	(revision 47535a0d20eddfa1887efa7cbf99f719d14c7696)
@@ -5,6 +5,5 @@
 #include <time.h>
 
- #define N 100000000
- 
+static const int N = 100000000;
 
 long ms_between(clock_t start, clock_t end) {
@@ -17,5 +16,5 @@
 	code \
 	_end = clock(); \
-	std::cout << name << ":\t" << std::setw(7) << ms_between(_start, _end) << std::setw(0) << " ms" << std::endl; \
+	std::cout << name << ":\t" << std::setw(8) << ms_between(_start, _end) << std::setw(0) << " ms" << std::endl; \
 }