# generic commands for twographbox output size
load "twographbox.in"



set data style linespoints

set xlabel "Clause/symbol ratio {/Times-Italic m}/{/Times-Italic n}"
set ylabel "{/Times-Italic P}(satisfiable)" 
set yrange [-0.03:1.03]
set xzeroaxis
set nokey



set output "random-3sat-satisfiability.eps"
plot 'random-3sat-satisfiability.data' using 1:2 lw 2