OR-Library

J E Beasley

OR-Library is a collection of test data sets for a variety of OR problems.

A full list of the test data sets available in OR-Library can be found here.

Satisfiability

OR-Library does not have any test problems for satisfiability problems.

However test problems are available here, here, here, here, here, here and here