history.gpl 1.39 KB
set xdata time
set timefmt "%Y%m%d"
set yrange [0:]
set key right bottom opaque box
set ylabel "Number of vertices in biggest SCC"
set xlabel "Date"
set term svg size 960 600
set output "history.svg"
set format x "%Y"

set arrow from 171327600,0 to 171327600,1400 nohead lt 3 # sarge June 6th 2005
set label "Sarge" at 171327600,1200 rotate by 90 offset 1 textcolor lt 3
set arrow from 229302000,0 to 229302000,1400 nohead lt 3 # etch Apr 8th 2007
set label "Etch" at 229302000,1200 rotate by 90 offset 1 textcolor lt 3
set arrow from 287884800,0 to 287884800,1400 nohead lt 3 # lenny February 14th 2009
set label "Lenny" at 287884800,1200 rotate by 90 offset 1 textcolor lt 3
set arrow from 350265600,0 to 350265600,1400 nohead lt 3 # squeeze February 6th 2011
set label "Squeeze" at 350265600,1200 rotate by 90 offset 1 textcolor lt 3
set arrow from 420937200,0 to 420937200,1400 nohead lt 3 # wheezy May 4th 2013
set label "Wheezy" at 420937200,1200 rotate by 90 offset 1 textcolor lt 3
set arrow from 483231600,0 to 483231600,1400 nohead lt 3 # jessie 25th of April 2015
set label "Jessie" at 483231600,1200 rotate by 90 offset 1 textcolor lt 3

plot "history_closure.txt" using 1:2 title "default universe", \
     "history_optis.txt" using 1:2 title "default universe + opt. IS", \
     "history_optuniv.txt" using 1:2 title "optimal universe", \
     "history_disj.txt" using 1:2 title "universe without disjunctions"