# 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 "Runtime" 
set key 2.5,1800
set xrange [0:8]



set output "random-3sat-performance.eps"
plot 'random-3sat-dpllsat.data' using 1:4 title "DPLL" lw 2, 'random-3sat-walksat.data' using 1:4 title "WalkSAT" lw 2