#!/usr/bin/env gnuplot

set terminal pdf enhanced color size 12cm,8cm font "Helvetica,18"

set output "sap.pdf"
set title "(c): SAP domain"
set xlabel "Number of states (x 1000)"
set ylabel "Running time (s)"
set yrange [0:50]
set key top center noinvert autotitle columnhead
set style fill transparent solid 0.2 noborder
plot for [i=2:*:2] 'sap.graph.csv' using (column(1)/1000):(column(i)/1000) with linespoints lw 2 lt i, \
     for [i=2:*:2] '' using (column(1)/1000):((column(i)+column(i+1))/1000):((column(i)-column(i+1))/1000) with filledcurves lt i notitle
