})(c("ggplot2", "ggthemes", "gtable", "reshape2"))

theme <- theme_few(base_size = 24) + 

theme(axis.title.y=element_text(vjust=0.9), 

  axis.title.x=element_text(vjust=-0.1),

  axis.ticks.x=element_blank(),

  text=element_text(family="serif"),

  legend.position = "none")

dd <- read.table("results.csv", sep="\t", header=F)

names(dd) <- c("sys", "dataset", "nrows", "loadtime", "querytime", "readtime")

ddm <- melt(dd[c(1,2,4,5,6)], id.vars=c("sys","dataset"))

print(ddm)

xlf <- function(value) ifelse(value == 0, "DNF", ifelse(value < 10, 

  paste0(round(value, 1), "s"), paste0(round(value), "s")))

plt <- function(ddp, fname, xmax, title) {

  pdf(fname, width=10, height=5)

  p <- ggplot(ddp,aes(x=dataset, y=value, fill=sys)) + 

    geom_bar(stat="identity", position = "dodge", width=.7)  +

    geom_text(aes(label = xlf(value), family="serif"), size = 5, vjust=-.4, 

      position = position_dodge(width=.7)) +