diff --git a/benchmark/plots.r b/benchmark/plots.r index 443ef9d158b354f037ba1e39ea10d576a74b090f..4e6d6d105241657aa843d8d718530ba2421daf8e 100644 --- a/benchmark/plots.r +++ b/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()