Генератор DIMACS CNF для чисел RSA Challenges

[hazzo]

Уважаемые знатоки!
Есть ли в свободном доступе надежный генератор DIMACS CNF для чисел RSA Challenges http://en.wikipedia.org/wiki/RSA_numbers.

Спасибо.

-- 13.10.2014, 22:51 --

Есть такие:
http://cgi.cs.indiana.edu/~sabry/cnf.html,
https://toughsat.appspot.com/
но они для больших чисел не работают.