\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}