set terminal pdf solid font 'Helvetica,11' size 16cm,12cm
set output 'output.pdf'
set autoscale
set title "Execution time (expressed in seconds) of differents benchmarks"
set auto x
set style data histogram
set style fill solid border -1
set boxwidth 0.3
set xtic rotate by -45 scale 0
plot 'times.dat' using 2:xtic(1) title columnheader lc rgb "blue"