#!/usr/bin/env gnuplot

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

set output "var_states.pdf"
set title "(a) Layered domain (variable number of states)"
set xlabel "Number of states (x 100 000)"
set ylabel "Running time (s)"
set yrange [0:40]
set key top right noinvert autotitle columnhead reverse
set style fill transparent solid 0.2 noborder
plot for [i=2:*:2] 'var_states.graph.csv' using 1:(column(i)/1000) with linespoints lw 2 lt i, \
     for [i=2:*:2] '' using 1:((column(i)+column(i+1))/1000):((column(i)-column(i+1))/1000) with filledcurves lt i notitle
