\begin{cmptable}[h]{Benchmark Results for graph-colouring - CDCL - DPLL\label{tab:bench-graph-colouring---CDCL---DPLL}}
    \begin{tabular}{|l|c|c|}
        \hline
        Benchmark & Mean (ns) & Std Dev (ns) \\
        \hline
        DPLL & 57230565.73 & 96636.50 \\
        CDCL & 750922.92 & 3214.21 \\
        \hline
    \end{tabular}
\end{cmptable}


\begin{cmptable}[h]{Benchmark Results for graph-colouring - Clause Management\label{tab:bench-graph-colouring---Clause-Management}}
    \begin{tabular}{|l|c|c|}
        \hline
        Benchmark & Mean (ns) & Std Dev (ns) \\
        \hline
        LBD (check every 10) & 1621983.16 & 11464.70 \\
        LBD (check every 25) & 758774.67 & 2865.01 \\
        None & 743092.46 & 3062.88 \\
        \hline
    \end{tabular}
\end{cmptable}


\begin{cmptable}[h]{Benchmark Results for graph-colouring - Literal Storage\label{tab:bench-graph-colouring---Literal-Storage}}
    \begin{tabular}{|l|c|c|}
        \hline
        Benchmark & Mean (ns) & Std Dev (ns) \\
        \hline
        SmallVec (16) & 751665.75 & 2523.24 \\
        SmallVec (8) & 753290.64 & 4019.86 \\
        Vec & 755421.36 & 2928.89 \\
        \hline
    \end{tabular}
\end{cmptable}


\begin{cmptable}[h]{Benchmark Results for graph-colouring - Phase saving\label{tab:bench-graph-colouring---Phase-saving}}
    \begin{tabular}{|l|c|c|}
        \hline
        Benchmark & Mean (ns) & Std Dev (ns) \\
        \hline
        Saved Phases & 706451.05 & 20938.02 \\
        Random Phases & 691116.07 & 17962.50 \\
        \hline
    \end{tabular}
\end{cmptable}


\begin{cmptable}[h]{Benchmark Results for graph-colouring - Preprocessing\label{tab:bench-graph-colouring---Preprocessing}}
    \begin{tabular}{|l|c|c|}
        \hline
        Benchmark & Mean (ns) & Std Dev (ns) \\
        \hline
        Pure Literal & 2524239.05 & 71653.89 \\
        Pure Literal Elimination & 1810023.13 & 35945.26 \\
        Subsumption & 15436782.34 & 18866.81 \\
        Tautology & 2605531.25 & 46942.53 \\
        Tautology Removal & 2244168.93 & 11942.08 \\
        \hline
    \end{tabular}
\end{cmptable}


\begin{cmptable}[h]{Benchmark Results for graph-colouring - Assignment type\label{tab:bench-graph-colouring---Assignment-type}}
    \begin{tabular}{|l|c|c|}
        \hline
        Benchmark & Mean (ns) & Std Dev (ns) \\
        \hline
        Hashmap & 1106601.93 & 4856.01 \\
        Vec & 752832.58 & 3562.14 \\
        \hline
    \end{tabular}
\end{cmptable}


\begin{cmptable}[h]{Benchmark Results for graph-colouring - Variable selection\label{tab:bench-graph-colouring---Variable-selection}}
    \begin{tabular}{|l|c|c|}
        \hline
        Benchmark & Mean (ns) & Std Dev (ns) \\
        \hline
        Jeroslow-Wang two sided & 1223077.21 & 3462.54 \\
        Vsids & 770488.31 & 6934.95 \\
        Random Order & 1757294.48 & 82526.35 \\
        Vsids heap & 874965.38 & 6218.91 \\
        Jeroslow-Wang one sided & 1220023.90 & 12381.58 \\
        Fixed Order & 1531052.90 & 5232.03 \\
        \hline
    \end{tabular}
\end{cmptable}


\begin{cmptable}[h]{Benchmark Results for graph-colouring - literal layout\label{tab:bench-graph-colouring---literal-layout}}
    \begin{tabular}{|l|c|c|}
        \hline
        Benchmark & Mean (ns) & Std Dev (ns) \\
        \hline
        Packed & 752391.51 & 9078.32 \\
        Struct & 758235.45 & 2540.31 \\
        Doubled & 713882.47 & 4235.93 \\
        Negated & 764289.80 & 3732.25 \\
        \hline
    \end{tabular}
\end{cmptable}


\begin{cmptable}[h]{Benchmark Results for graph-colouring - Propagator\label{tab:bench-graph-colouring---Propagator}}
    \begin{tabular}{|l|c|c|}
        \hline
        Benchmark & Mean (ns) & Std Dev (ns) \\
        \hline
        Linear checking & 6093655.37 & 36931.14 \\
        WatchedLiterals & 750308.69 & 2936.26 \\
        \hline
    \end{tabular}
\end{cmptable}


\begin{cmptable}[h]{Benchmark Results for graph-colouring - restart strategy\label{tab:bench-graph-colouring---restart-strategy}}
    \begin{tabular}{|l|c|c|}
        \hline
        Benchmark & Mean (ns) & Std Dev (ns) \\
        \hline
        Luby (2x) & 750030.50 & 3372.28 \\
        Luby (10x) & 750080.55 & 2989.12 \\
        Geometric (x4) & 750659.61 & 3065.00 \\
        Linear (n restarts x 100) & 751394.96 & 3807.12 \\
        Luby & 649613.06 & 1937.96 \\
        Exponential & 750749.63 & 3208.22 \\
        Never & 751196.56 & 3051.35 \\
        Luby (1x) & 749825.74 & 2629.57 \\
        Luby (5x) & 750091.50 & 4231.23 \\
        Linear & 720064.45 & 30441.55 \\
        Geometric & 735916.04 & 35915.28 \\
        Fixed (every 100) & 751726.84 & 3722.90 \\
        \hline
    \end{tabular}
\end{cmptable}

