library(ggplot2)
library(reshape2)
library(RJSONIO)

json <- fromJSON("d8ternary.json")
df <- data.frame(t(sapply(json, unlist)))

df$ct <- as.numeric(as.character(df$ct))
df$wt <- as.numeric(as.character(df$wt))/1000
df$mu <- as.numeric(as.character(df$mu))/1024
df$pmu <- as.numeric(as.character(df$pmu))/1024
df$label <- factor(df$label, levels = levels(df$label)[2:1])

df.melt <- melt(df, id = c("name", "label"))
df.melt$value <- as.numeric(df.melt$value)

df.wt <- df.melt[df.melt$variable == "wt", ]
df.mu <- df.melt[df.melt$variable == "mu", ]
df.pmu <- df.melt[df.melt$variable == "pmu", ]

ggplot(df.wt, aes(variable, value, colour = label)) + geom_boxplot() + facet_wrap(~name, 
    nrow = 1) + scale_y_continuous("wall time in ms", breaks = seq(0, round(max(df.wt$value))))

ggplot(df.mu, aes(variable, value, colour = label)) + geom_boxplot() + facet_wrap(~name, 
    nrow = 1) + scale_y_continuous("memory usage in kb", breaks = seq(0, round(max(df.mu$value)), 
    by = 10))

ggplot(df.pmu, aes(variable, value, colour = label)) + geom_boxplot() + facet_wrap(~name, 
    nrow = 1) + scale_y_continuous("peak memory usage in kb", breaks = seq(0, 
    round(max(df.pmu$value)), by = 10))