Where can we find real-world applications MaxSat (or SAT) benchmarks ?

The industrial instances Max-Sat evaluation are too big. I'm looking for instance that do not have more than few thousands of variables.

01 January 1970 9,065 2 View