Yeah, a lot of the work on average-case SAT is directly informed by what industrial benchmarks look like.
Further from "core complexity," a lot of the work on machine learning primitives is also directly informed by instances from practice. See the "manifold hypothesis" :