## 4 Results
\begin{tabular}{c c c c c c c c c c c c c} \hline \hline  & \multicolumn{3}{c}{**GG-ILP**} & \multicolumn{3}{c}{**REFLECT-ILP**} & \multicolumn{3}{c}{**CG**} & \multicolumn{3}{c}{**G4S**} \\ \hline
**Instance** & **Ib** & **ub** & **Time (s)** & **Ib** & **ub** & **Time (s)** & **db** & **pb** & **Time (s)** & **Best** & **avg** & **ttb (0)** \\ \hline BFP-LWP9993,10007 & 5 & **5*** & 0.0 & 5 & **5*** & 482.5 & 5 & **5*** & 0.4 & 5*** & 5.0 & 1.2 \\ BFP-LWP9978,10022 & 15 & **15*** & 0.2 & 15 & 15*** & 482.4 & 15 & 15*** & 2.3 & 15*** & 15.1 & 106.5 \\ BFP-LWP998,10037 & 25 & **25*** & 1.2 & 25 & 25*** & 103.3 & 25 & 25*** & 5.1 & 25*** & 25.0 & 9.4 \\ BFP-LWP998,10052 & 35 & **3*** & 3.0 & 35 & 35*** & 171.6 & 35 & 35*** & 7.8 & 35*** & 35.0 & 2.8 \\ BFP-LWP9993,10067 & 45 & **45*** & 6.7 & 45 & 45*** & 118.6 & 45*** & 13.0 & 45*** & 45.0 & 8.6 \\ BFP-LWP998,10082 & 55 & **5*** & 34.9 & 55 & 55 & 221.8 & 55 & 55*** & 17.5 & 55*** & 55.0 & 39.5 \\ BFP-LWP9993,10097 & 65 & **6*** & 42.6 & 65 & 65 & 474.0 & 65 & 65 & 27.1 & 65*** & 65.0 & 179.7 \\ BFP-LWP9988,1012 & 75 & 75 & 719.6 & 75 & 75*** & 600.0 & 75 & 75 & 152.7 & 75*** & 75.5 & 110.5 \\ BFP-LWP988,11027 & 85 & **8*** & 10.1 & 85 & 85*** & 433.1 & 85 & 85*** & 171.9 & 85*** & 85.6 & 178.7 \\ BFP-LWP9983,10142 & 95 & 95 & **17**3.8 & 95 & 95*** & 600.0 & 95 & 95 & 95 & 247.4 & 95*** & 96.1 & 170.3 \\ BFP-LWP9984,10157 & 105 & 107 & 600.0 & 105 & 105*** & 533.4 & 105 & 105 & **105*** & 203.7 & 106 & 106.5 & 134.5 \\ BFP-LWP9985,1027 & 115 & **15*** & 374.6 & 115 & 116 & 600.0 & 115 & **115*** & 44.7 & 116 & 117.1 & 138.6 \\ BFP-LWP9883,10187 & 125 & 128 & 600.0 & 125 & 126 & 600.0 & 125 & **125*** & 490.5 & 127 & 127.0 & 52.6 \\ BFP-LWP9986,10202 & 135 & 139 & 600.0 & 135 & 137 & 600.0 & 135 & **138*** & 593.4 & 138 & 138.8 & 103.0 \\ BFP-LWP9987,10217 & 145 & 148 & 600.0 & 145 & 146 & 600.0 & 145 & 163 & 600.0 & 150 & 150.0 & 87.7 \\ BFP-LWP9988,10232 & 155 & **159** & 600.0 & 155 & 160 & 600.0 & 155 & 177 & 600.0 & 162 & 162.0 & 136.3 \\ BFP-LWP9978,10247 & 165 & **169** & 600.0 & 165 & 170 & 600.0 & 164 & 186 & 600.0 & 173 & 173.9 & 67.5 \\ BFP-LWP9983,10262 & \multicolumn{3}{c}{out-of-memory} & 175 & **182** & 600.0 & 174 & 195 & 600.0 & 185 & 185.6 & 148.8 \\ BFP-LWP9978,10272 & \multicolumn{3}{c}{out-of-memory} & 185 & **192** & 600.0 & 183 & 208 & 600.0 & 197 & 197.0 & 191.8 \\ BFP-LWP9788,10292 & \multicolumn{3}{c}{out-of-memory} & 195 & **202** & 600.0 & 193 & 222 & 600.0 & 209 & 209.0 & 84.5 \\ BFP-LWP9989,100307 & \multicolumn{3}{c}{out-of-memory} & 205 & **211** & 600.0 & 203 & 233 & 600.0 & 220 & 220.6 & 155.1 \\ BFP-LWP9898,10078 & \multicolumn{3}{c}{out-of-memory} & 215 & **222** & 600.0 & 212 & 243 & 600.0 & 232 & 232.0 & 198.5 \\ BFP-LWP9898,10337 & \multicolumn{3}{c}{out-of-memory} & 225 & **232** & 600.0 & 222 & 257 & 600.0 & 243 & 243.8 & 128.5 \\ BFP-LWP9898,1032 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 230 & 267 & 600.0 & 255 & 255.9 & 91.6 \\ BFP-LWP9893,10367 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 240 & 278 & 600.0 & **267** & 267.2 & 225.9 \\ BFP-LWP9898,10382 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 249 & 287 & 600.0 & 279 & 279.0 & 102.3 \\ BFP-LWP9899,10397 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 254 & 300 & 600.0 & **289** & 290.7 & 86.8 \\ BFP-LWP9898,10412 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 261 & 311 & 600.0 & 302.5 & 302.5 & 212.6 \\ BFP-LWP9897,10427 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 267 & 324 & 600.0 & 314 & 314.2 & 131.2 \\ BFP-LWP9989,10424 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 274 & 330 & 600.0 & **325** & 325.9 & 183.4 \\ BFP-LWP9989,10457 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 276 & 342 & 600.0 & 337 & 337.4 & 204.1 \\ BFP-LWP9989,10472 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 269 & 355 & 600.0 & 349 & 349.1 & 158.6 \\ BFP-LWP99913,10487 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 280 & 367 & 600.0 & 361 & 361.0 & 104.2 \\ BFP-LWP9989,10502 & \multicolumn{3}{c}{out-of-memory} & \multicolumn{3}{c}{root node not solved} & 294 & 378 & 600.0 & **372** & 372.9 & 158.1 \\ \hline \hline \end{tabular}