diff --git a/poster/poster.pdf b/poster/poster.pdf
index 04805646..c6cac6d7 100644
Binary files a/poster/poster.pdf and b/poster/poster.pdf differ
diff --git a/poster/poster.tex b/poster/poster.tex
index d7d4698d..c0982cca 100644
--- a/poster/poster.tex
+++ b/poster/poster.tex
@@ -150,7 +150,7 @@
 {
   \\ \\
   \begin{tabular}{c|@{\,}c@{\,}|@{\,}c@{\,}|c|c}
-    solvers & \begin{tabular}{c}Alt-ergo-zero\\{\small aez}\end{tabular} & \begin{tabular}{c}mSAT\\{\small msat}\end{tabular} & \begin{tabular}{c}minisat\\{\small (minisat/sattools)}\end{tabular} & \begin{tabular}{c}cryptominisat\\{\small (sattools)}\end{tabular} \\ \hline
+    \begin{tabular}{c}solver\\{\small (package)}\end{tabular} & \begin{tabular}{c}Alt-ergo-zero\\{\small aez}\end{tabular} & \begin{tabular}{c}mSAT\\{\small msat}\end{tabular} & \begin{tabular}{c}minisat\\{\small (minisat/sattools)}\end{tabular} & \begin{tabular}{c}cryptominisat\\{\small (sattools)}\end{tabular} \\ \hline
     uuf100 (1000 pbs) & 0.125 & 0.012 & 0.004 & 0.006 \\ \hline
     uuf125 (100 pbs) & 2.217 & 0.030 & 0.006 & 0.013 \\ \hline
     uuf150 (100 pbs) & 67.563 & 0.087 & 0.017 & 0.045 \\ \hline