--- /dev/null
+LATEX := pdflatex -halt-on-error
+FIGURES :=
+.SUFFIXES : .tex .bbl .aux .eps .ps .dot .pdf
+
+.tex.bbl:
+ bibtex $*
+
+.tex.aux:
+ latex $*
+
+%.eps: %.ps
+ ps2epsi $< $@
+
+%.ps: %.dot
+ dot -Tps $< -o $@
+
+%.pdf: %.dot
+ dot -Tpdf $< -o $@
+
+%.png: %.dot
+ dot -Tpng $< -o $@
+
+%.aux: %.tex
+ $(LATEX) $<
+
+#%.dot: %.dotpiece $(FIGHEAD) $(FIGFOOT)
+# cat $(FIGHEAD) $< $(FIGFOOT) > $@
+
+# latex the paper (default)
+new: biblinks newpaper
+
+# latex + bibtex the paper
+bib: bibpaper newpaper
+
+# save a backup of tex files in BACKUPS
+bak: backuppaper
+
+biblinks: figures
+ $(LATEX) paper.tex
+ $(LATEX) paper.tex
+
+bibsuppl: figures
+ $(LATEX) suppl.tex
+ $(LATEX) suppl.tex
+
+cl: cover-letter.tex
+ $(LATEX) cover-letter.tex
+
+newpaper: figures biblinks
+ $(LATEX) paper.tex
+
+suppl: figures bibsuppl
+ $(LATEX) suppl.tex
+
+
+bibpaper: paper.aux paper.bbl
+ latex paper.tex
+
+
+backuppaper:
+ @if [ ! -d BACKUPS ]; then mkdir BACKUPS; fi; \
+ crtdate=`date '+%m-%d-%y--%H:%M:%S'`; \
+ bakdir=BACKUPS/$$crtdate; \
+ mkdir $$bakdir; \
+ cp *.tex $$bakdir
+
+spell:
+ @for i in *.tex; \
+ do if [ $$i != "paper.tex" ]; then aspell -c $$i -p ./spell.lst; fi;\
+ done
+
+total:
+ pdflatex paper.tex
+ pdflatex paper.tex
+ pdflatex paper.tex
+ @echo ================================================================
+ pdflatex paper.tex | grep -E 'arning|erfull'
+ @echo ================================================================
+
+figures: $(FIGURES)
+
+errinjfig:
+ gnuplot err-inj-fig/nve2latex.cmds
+ epstopdf injectErrorFig.eps
+ mv injectErrorFig.* figures
+
+
+clean:
+ rm -f *.dvi *.log *.aux *.blg *.bbl *~ err-inj-fig/*~
+ rm -f paper.ps paper.pdf
+ rm -f injectErrorFig*
+ rm -rf $(PDF_DIR)
--- /dev/null
+\documentclass[a4paper, 11pt]{article} % Font size (can be 10pt, 11pt or 12pt) and paper size (remove a4paper for US letter paper)\r
+\r
+\usepackage[protrusion=true,expansion=true]{microtype} % Better typography\r
+\usepackage{graphicx} % Required for including pictures\r
+\usepackage{wrapfig} % Allows in-line images\r
+\r
+\usepackage{mathpazo} % Use the Palatino font\r
+\usepackage[T1]{fontenc} % Required for accented characters\r
+\usepackage{float}\r
+\linespread{1.05} % Change line spacing here, Palatino benefits from a slight increase by default\r
+\r
+%---------------------------------------------------------------------------------------tyle{acmnumeric}\r
+% TITLE\r
+%----------------------------------------------------------------------------------------\r
+\r
+\title{\textbf{SATTune Tuning Report}}\r
+\r
+%\author{\textsc{Ford Prefect} % Author\r
+%\\{\textit{Interstellar University}}} % Institution\r
+\r
+%\date{\today} % Date\r
+\r
+%----------------------------------------------------------------------------------------\r
+\r
+\begin{document}\r
+\r
+\maketitle % Print the title section\r
+\r
+\r
+\input{tech}\r
+\r
+%\bibliographystyle{unsrt}\r
+%\bibliography{paper}\r
+\r
+\end{document}\r
--- /dev/null
+\section{Evaluation}\label{sec:eval}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/EDGEENCODING-hist.pdf}\r
+ \caption{Encoding Edge Histogram}\r
+ \label{fig:edgeencoding}\r
+\end{figure}\r
+\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/ELEMENTOPTSETS-hist.pdf}\r
+ \caption{Element Opt Set Histogram}\r
+ \label{fig:elementoptset}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/ELEMENTOPT-hist.pdf}\r
+ \caption{Element Opt Histogram}\r
+ \label{fig:elementopt}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/ENCODINGGRAPHOPT-hist.pdf}\r
+ \caption{Encoding Graph Optimization Histogram}\r
+ \label{fig:encodinggraph}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/MUSTEDGEPRUNE-hist.pdf}\r
+ \caption{Must Prune Histogram}\r
+ \label{fig:mustedgeprune}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/MUSTVALUE-hist.pdf}\r
+ \caption{Must Value Histogram}\r
+ \label{fig:mustvalue}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/NODEENCODING-hist.pdf}\r
+ \caption{Node Encoding Histogram}\r
+ \label{fig:nodeencoding}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/NAIVEENCODER-hist.pdf}\r
+ \caption{Naive Encoder Histogram}\r
+ \label{fig:naiveencoder}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/PREPROCESS-hist.pdf}\r
+ \caption{Preprocess Histogram}\r
+ \label{fig:preprocess}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/PROXYVARIABLE-hist.pdf}\r
+ \caption{Proxy Variable Histogram}\r
+ \label{fig:proxyvariable}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/VARIABLEORDER-hist.pdf}\r
+ \caption{Variable Order Histogram}\r
+ \label{fig:variableorder}\r
+\end{figure}\r
+\r
+\clearpage\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/EDGEENCODING-scat.pdf}\r
+ \caption{Encoding Edge plot}\r
+ \label{fig:edgeencodings}\r
+\end{figure}\r
+\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/ELEMENTOPTSETS-scat.pdf}\r
+ \caption{Element Opt Set plot}\r
+ \label{fig:elementoptsets}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/ELEMENTOPT-scat.pdf}\r
+ \caption{Element Opt plot}\r
+ \label{fig:elementopts}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/ENCODINGGRAPHOPT-scat.pdf}\r
+ \caption{Encoding Graph Optimization plot}\r
+ \label{fig:encodinggraphs}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/MUSTEDGEPRUNE-scat.pdf}\r
+ \caption{Must Prune plot}\r
+ \label{fig:mustedgeprunes}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/MUSTVALUE-scat.pdf}\r
+ \caption{Must Value plot}\r
+ \label{fig:mustvalues}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/NODEENCODING-scat.pdf}\r
+ \caption{Node Encoding plot}\r
+ \label{fig:nodeencodings}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/NAIVEENCODER-scat.pdf}\r
+ \caption{Naive Encoder plot}\r
+ \label{fig:naiveencoders}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/PREPROCESS-scat.pdf}\r
+ \caption{Preprocess Plot}\r
+ \label{fig:preprocesss}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/PROXYVARIABLE-scat.pdf}\r
+ \caption{Proxy Variable plot}\r
+ \label{fig:proxyvariables}\r
+\end{figure}\r
+\r
+\begin{figure}[htb]\r
+ \centering\r
+ \includegraphics[scale=0.6]{pics/VARIABLEORDER-scat.pdf}\r
+ \caption{Variable Order Plot}\r
+ \label{fig:variableorders}\r
+\end{figure}\r
+\r