In SATLIB you can find some instances (First link). 

And in ORLib you can find a list of websites with another benchmarks (Second Link).

http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html

http://people.brunel.ac.uk/~mastjjb/jeb/orlib/satinfo.html

Thanks