On the Performance of Deep Generative Models of Realistic SAT Instances. - Iván Garzón; Pablo Mesejo; Jesús Giráldez-Cru (SAT, 2022)