Number of training samples for Uniform Random k-SAT and Pseudo-Industrial Random k-SAT (Sec 6.3,6.4)

[ycunxi]

What is the size of your training set for these two experiments in Section 6.3 and Section 6.4?
In the NeuralSAT paper, they trained with use "millions of problems".

What is the reasonable size to reproduce similar results?