reset
set size 0.7,0.8
set terminal postscript eps enhanced color "Times-Roman" 20
set output "transitions.eps"
set log y
set xlabel "Simulation Time"
set ylabel "Explored Transitions"
set style line 1 linetype 1 linewidth 2 pointtype 1 pointsize 1
set style line 2 linetype 2 linewidth 2 pointtype 2 pointsize 1
set style line 3 linetype 2 linewidth 2 pointtype 6 pointsize 1
set style line 4 linetype 4 linewidth 2 pointtype 4 pointsize 1
set key right bottom
plot "transitions.txt" using :3 title "No-POR" with linespoints linestyle 1, \
     "transitions.txt" using :2 title "P" with linespoints linestyle 2

