Index: /reasoner/measures/script.r
===================================================================
--- /reasoner/measures/script.r	(revision 254)
+++ /reasoner/measures/script.r	(revision 255)
@@ -213,5 +213,5 @@
 my.printStatistics = function(data, dir, indicator) {
   print(paste("#tests", nrow(data), sep=" "))
-  my.printStats(data$REASONING_TIME.mean, "reasoning time")  
+  my.printStats(data$REASONER_REASONING_TIME.mean, "reasoning time")  
   my.printStats(data$REASONER_TRANSLATION_TIME.mean, "translation time")  
   my.printStats(data$REASONER_EVALUATION_TIME.mean, "evaluation time")  
@@ -277,6 +277,8 @@
 # process all directores in dir using my.processDirs
 my.processAll = function(dir) {
+  sink(paste(dir, "log.txt", sep="/"))
   dirs <- list.dirs(path=dir, recursive=FALSE)
   my.processDirs(dirs)
+  sink()
 }