Some examples in the TRP++format.
"Toy" examples
Examples used in the
WIL paper:
First-order examples
Propositional instances
from the
SATLIB
library of benchmark problems.