Lower bounds

We also keep track of the best lower bound for each instance, and consider an instance solved when its lower bound matches its best tour. However, lower bounds are hard to check, since they don't come with easily verified certificates. When reporting lower bounds, describe the method used to establish the bound. Lower bounds which exceed the best tour for the instance will be discarded.