4 ms·(30k proofs to be precise, valid and test are each 1k)by spolu 6y ago(30k proofs to be precise, valid and test are each 1k)