I'm looking for a benchmark set of instances that are formulated as binary quadratic problems, i.e.
$$\min_{x\in \{0,1\}^n} x^TQx,\quad Ax\le b,\quad A_0x = b_0 \ .$$
The particular case of binary linear programming (with diagonal $Q$) are also of interest.
Would be nice to have the problems ranging from easy to challenging even for SOTA solvers, of diverse nature. Ideally, the problems should also be industrially relevant and their origin possible to track.