Added a few instances for the binpacking solver