Here is a list of things that can be downloaded from this website.
Cardinality constraint benchmark for SAT
Reduction of diagnosability problems to SAT
Data used for my 2010 RIA paper
(fr)