[chaoxu]

> Because frankly nobody gives a sh about throwing resources and finding just better (not globally optimal) solutions to synthetic benchmarks.

This does not align with my experience of people working in OR.