\begin{tabular}{llrrrrrrr}
\toprule
\multicolumn{2}{c}{Solver} & \multicolumn{2}{c}{Unsatisfiable} & \multicolumn{2}{c}{Optimal Solution} & Satisfied & Unk. & Err. \\
\midrule
 \gls{gecode} & (Full) & 1 & (573.39s)      & 49 & (218.12s)  & 80 & 70 & 0 \\
 \gls{gecode} & (Half) & 1 & (574.69s)      & 48 & (201.29s)  & 81 & 70 & 0 \\
\midrule
 \gls{cplex} & (Full)  & 2 & (5.35s)        & 76 & (141.45s) & 63 & 48 & 11 \\
 \gls{cplex} & (Half)  & 1 & (3.24s)        & 81 & (178.08s) & 60 & 45 & 13 \\
\midrule
 \gls{cbc} & (Full)    & 2 & (11.94s)       & 41 & (131.76s) & 131 & 16 & 10 \\
 \gls{cbc} & (Half)    & 2 & (7.01s)        & 35 & (135.93s) & 135 & 17 & 11 \\
\midrule
 OpenWBO & (Full)    & 16 & (20.44s)        & 48 & (156.01s) & 51 & 32 & 53 \\
 OpenWBO & (Half)    & 16 & (19.61s)        & 51 & (187.73s) & 47 & 33 & 53 \\
\bottomrule
\end{tabular}