add saving plot in file

benchmark/plots.r

@@ -79,6 +79,8 @@ df$file <- filenames
 
 important_processes <- c(15, 16, 17, 18, 7, 1, 1, 1, 1, 1, 1, 1, 1,1,1,1,1,9,1,2,5,6,1,1,1,1,1,15,11,1,1,1,1,12,1,1,1,1,1)
 
+pdf("process_time.pdf")
+
 ggplot(df, aes(x = name, y = duration_minutes)) +
   geom_point(aes(color = name, shape = name)) +
   scale_shape_manual(values = important_processes) +
@@ -86,7 +88,8 @@ ggplot(df, aes(x = name, y = duration_minutes)) +
   scale_y_continuous(breaks = seq(0, 490, by = 30)) +
   xlab("Processes") +
   ylab("Duration in minutes") +
-  theme(axis.text.x=element_blank(), axis.ticks.x=element_blank())
+  theme(axis.text.x=element_blank(), axis.ticks.x=element_blank()) + 
+  ggtitle("Duration time of each process")
 
 ggplot(df, aes(x = name, y = realtime_minutes)) +
   geom_point(aes(color = name, shape = name)) +
@@ -95,5 +98,8 @@ ggplot(df, aes(x = name, y = realtime_minutes)) +
   scale_y_continuous(breaks = seq(0, 490, by = 30)) +
   xlab("Processes") +
   ylab("Duration in minutes") +
-  theme(axis.text.x=element_blank(), axis.ticks.x=element_blank())
+  theme(axis.text.x=element_blank(), axis.ticks.x=element_blank())+ 
+  ggtitle("Real execution time of each process")
+
 
+dev.off()