\begin{tabular}{|l||r|||r|r||r|r||r|r|||r|r||r|r|}
\hline
& best known
& \multicolumn{2}{c||}{\gecodeStd}
& \multicolumn{2}{c||}{\gecodeMzn}
& \multicolumn{2}{c|||}{\gecodeReplay}
& \multicolumn{2}{c||}{\chuffedStd}
& \multicolumn{2}{c|}{\chuffedMzn}
\\
\hline
Instance
& $\minobj$
& $\intobj$ & $\minobj$
& $\intobj$ & $\minobj$
& $\intobj$ & $\minobj$
& $\intobj$ & $\minobj$
& $\intobj$ & $\minobj$
\\
\hline
UD2-gbac & \textbf{146} & 1502k & 12515 & 93k & ${376}^{16}$ & \textbf{92k} & $\mathbf{362}^{15}$ & 1494k & 12344 & \textbf{207k} & $\mathbf{598}^{54}$ \\
UD4-gbac & \textbf{396} & 1517k & 12645 & 121k & $\mathbf{932}^{24}$ & \textbf{120k} & $\mathbf{932}^{24}$ & 1151k & 9267 & \textbf{160k} & $\mathbf{1142}^{5}$ \\
UD5-gbac & \textbf{222} & 2765k & 23028 & 283k & $\mathbf{2007}^{39}$ & \textbf{281k} & $\mathbf{2007}^{39}$ & 2569k & 21233 & \textbf{483k} & $\mathbf{2572}^{22}$ \\
UD8-gbac & \textbf{40} & 1195k & 9611 & 21k & $\mathbf{53}^{26}$ & \textbf{20k} & $\mathbf{53}^{26}$ & 1173k & 9559 & \textbf{114k} & $\mathbf{76}^{26}$ \\
{\scriptsize reduced\_UD4}& \textbf{949} & 629k & 4917 & \textbf{114k} & $\mathbf{950}^{0}$ & \textbf{114k} & $\mathbf{950}^{0}$ & 715k & 5491 & \textbf{117k} & $\mathbf{950}^{0}$ \\
\hline
\end{tabular}
