He doesn't make any time or effort claims but 10,000 iterations of libfuzzer generally doesn't take that long.

With the rate he is showing (38/second) it'd take just under 5 minutes (~254 seconds).

It’s trivial enough to try that I think any challenge of his word should be conducted by actually trying it first.