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).
With the rate he is showing (38/second) it'd take just under 5 minutes (~254 seconds).
Isn't this a time claim?