does anyone know if the TI series benchmark packages were ever released in the open? if not, are there any out of core solver benchmarks out there? my google searches didn't turn out as I had expected, so I'm probably searching for the wrong thing.